Revised 01 Jan 11
Ok, so there is a gap between where I sit (deliver fully auditable databases; yours being a particular requirement of that) and where you sit: based on your questions and comments. Which we will probably work out in the commentary. Here's a position to start from.
To provide this requirement, there is no need at all for: triggers; mass duplication; broken integrity; etc.
This is not a classic Temporal requirement, either, so no need for the "period" capability, but you can.
ValidFrom and ValidTo is a Normalisation error: the ValidTo is data that is easily derived; ValidTo in any row is duplicated, in the ValidFrom of the next row; you have an Update Anomaly (when you update one column in one row, you additionally have to update the other column in the next row); you have to use a dummy value for "current".
All unnecessary, use ValidFrom only, and keep the db clean and pure 5NF.
The Caveat is, if PostgreSQL can't perform Subqueries without falling in a heap (ala Oracle), then fine, kep ValidTo.
All of these things are editable in the system by users, and deletable.
Well, no. It is a database holding important information; with Referential Integrity, not a scratchpad, so the user cannot just walk up to it and "delete" something. It will contradict the same users requirement for maintaining historical data (in the Reading; Alert; Ack; Action; Download).
Cascading deletes are not allowed. Those functions are check boxes for non-databases, MS Access types. For real databases, the RI constraints stop parents with children from being deleted.
Primary Keys cannot (should not) be changed. Eg. UserId; LocationId; NetworkSlaveCode never change; remember, they are carefully considered Identifiers. One characteristic of PKs is that they are stable.
You can add new Users; you can change a current User's name; but you cannot delete an User who has entries in Download, Acknowledgement, Action.
Basically if it's editable then it has to be historical (so that excludes readings and alerts).
Also excludes: Downloads; Acknowledgements; Actions.
And the Reference tables: SensorType; AlertType; ActionType.
And the new History tables: they are inserted into, but they cannot be updated or deleted.
The problem I find with the isObselete flag is.. Say if you change the Location, the Sensor foreign key will now point to an obselete record, meaning you will have to duplicate every sensor record. This problem gets exponentially worse as the hierachy gets bigger.
Ok, so now do you understand the LocationId
(FK) in Sensor
will not change; there is no mass duplication, etc ? There is no problem in the first place (and there is in that stupid book!) that gets exponentially worse in the second place.
IsObsolete
is inadequate for your requirement. (Refer below)
The UpdatedDtm
in any real row (Reading
, etc) identifies the Parent (FK to Sensor
) History row (its AuditedDtm
) that was in effect at the time.
Full Relational capability; Declarative Refential Integrity, etc.
Maintain the IDEF1X, Relational concept of strong Identifiers ... There is only one Current parent row (eg. Location)
The rows in the History are Images of the current row, before it was changed, at the stated AuditedDtm
. The Current row (non-history) shows the one last UpdatedDtm, when the row was changed.
The AuditedDtm
shows the entire series of UpdatedDtms
for any given key; and thus I have used it to "partition" the real key in a temporal sense.
All that is required is a History table for each changeable table. I have provided the Hiistory tables for four Identifying tables: Location; Sensor; NetworkSlave; and User.
Please read this for understanding Auditable in the accounting sense.
Data Model
Link to Sensor Data Model with History (Page 2 contains the History tables and context).
Readers who are not familiar with the Relational Modelling Standard may find IDEF1X Notation useful.
Response to Comments
(1) My first issue is that of referential integrity with the historic data, in that I'm not sure there is any, and if there is I'm not sure how it works. For instance, in SensoryHistory it would be possible to add a record that had an UpdatedDtm indicating a date time before the location itself existed, if you see what I mean. Whether this is actually an issue I'm not sure - enforcing that might be over the top.
(You raised a similar issue in the other question.) It may be that the dbs you have experienced did not actually have the Referential Integrity in place; that the Relation lines were there just for documentation; that the RI was "implemented in app code" (which means there is no RI).
This is an ISO/IEC/ANSI Standard SQL database. That allows Declarative Referential Integrity. Every Relation line is implemented as a PK::FK Reference, an actual Constraint that is Declared. Eg:
CREATE TABLE Location
...
CONSTRAINT UC_PK
PRIMARY KEY (LocationId)
...
CREATE TABLE Sensor
...
CONSTRAINT UC_PK
PRIMARY KEY (LocationId, SensorNo)
CONSTRAINT Location_Sensor_fk
FOREIGN KEY (LocationId)
REEFERENCES Location(LocationId)
...
CREATE TABLE SensorHistory
...
CONSTRAINT UC_PK
PRIMARY KEY (LocationId, SensorNo, UpdatedDtm))
CONSTRAINT Sensor_SensorHistory_fk
FOREIGN KEY (LocationId, SensorNo)
REEFERENCES Sensor (LocationId, SensorNo)
...
Those Declared Constraints are enforced by the server; not via triggers; not in app code. That means:
- A
Sensor
with a LocationId
that does not exist in Location
cannot be inserted
- A
LocationId
in Location
that has rows in Sensor
cannot be deleted
- A
SensorHistory
with a LocationId+SensorNo
that does not exist in Sensor
cannot be inserted
- A
LocationId+SensorNo
in Sensor
that has rows in SensorHistory
cannot be deleted.
(1.1) All columns should have RULEs and CHECK Constraints to Constrain their range of values. That in addition to the fact that all INSERT/UPDATE/DELETEs are programmatic, within stored procs, therefore accidents do not happen, and people do not walk up to the database and run commands against it (excepts SELECTS).
Generally I stay away from triggers. If you are using stored procs, and the normal permissions, then this:
in SensoryHistory it would be possible to add a record that had an UpdatedDtm indicating a date time before the Location itself existed, if you see what I mean
is prevented. So is inserting a SensorHistory with an UpdatedDtm earlier than the Sensor itself. But procs are not Declarative Rules. However if you want to be doubly sure (and I mean doubly, because the INSERTS are all via a proc, direct command by users), then sure, you have to use a trigger. For me, that is over the top.
(2) how do I indicate deletion? I could just add a flag to the non-historical version of the table I guess.
Not sure yet. Eg. Do you accept that when a Sensor
is deleted, it is final ... (yes, history is maintained) ... and then when a new Sensor
is added to the Location
, it will have a new SensorNo
... there is no Sensor
being logically replaced with the new one, with or without a gap in time ?
From a end-user's point of view, via the software they should be able to add, edit and delete sensors at will with no limitation. But yes, once deleted it is deleted and cannot be undeleted. There's nothing to stop them re-adding a sensor later though with the exact same parameters.
And "delete" Locations, NetworkSlaves
, and Users
as well.
Ok. Then the new Sensor
with the same parameters, is truly new, it has a new SensorNo
, and is independent of any previous logical Sensor
. We can add an IsObsolete
BOOLEAN to the four identifying tables; it is now identified as adequate. The Delete is now a Soft Delete.
(2.1) For NetworkSensor
and LoggerSensor
, which are actually dependent on two parents: they are obsolete if either of their parents are obsolete. So there is no point giving them an IsObsolete
column, which has a dual meaning, which can be derived from the applicable parent.
(2.2) Just to be clear, users cannot delete any rows from any Transaction and History tables, right?
(3) When updating a table, what method would be best to insert the new row in the historical table and update the main table? Just normal SQL statements inside a transaction maybe?
Yes. That is the classic use of a Transaction, as per ACID Properties, it is Atomic; it either succeeds in toto or fails in toto (to be retried later when the problem is fixed).
(4) Referenced Book
The definitive and seminal text is Temporal Data and the Relational Model C J Date, H Darwen, N A Lorentzos. As in, those of us who embrace the RM are familiar with the extensions, and what is required in the successor to the RM; rather than some other method.
The referenced book is horrible, and free. The PDF isn't a PDF (no search; no indexing). Opening my MS and Oracle is telling; a few good bits couched in lots of fluff. Many misrepresentations. Not worth responding to in detail (if you want a proper review, open a new question).
(4.1) ValidTo
in addition to ValidFrom
. Serious mistake (as identified at the top of my answer) which the book makes; then laboriously solves. Don't make the mistake in the first place, and you have nothing to solve in the second place. As I understand it, that will eliminate your triggers.
(4.2) Simple rules, taking both Normalisation and Temporal requirements into account. First and foremost, you need to deeply understand (a) the temporal requirement and (b) the DataTypes, correct usage and limitations. Always store:
Instant as DATETIME, eg. UpdatedDtm
Interval as INTEGER, clearly identifying the Unit in the column name, eg. IntervalSec
Period. Depends on conjunct or disjunct.
- For conjunct, which this requirement is, (4.1) applies: use one DATETIME; the end of the period can be derived from the beginning of the period of the next row.
- For disjunct periods, yes, you need 2 x DATETIMEs, eg,
RentedFrom
and