Providing Time-Related Constraints for Conventional Database Systems

A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The technical characteristics of write-once laser discs prevent the use of double logical time-stamps. The model distinguishes version from correction-updates. It is shown that if set-valued attributes are involved the use of null values is unavoidable if backdated correction-updates are allowed. A method of handling user-defined integrity constraint rules is outlined which involves the maintenance of a time-stamped trace of such rules. Such a trace is necessary for the proper handling of backdated correction-updates. An outline of a system SIS-BASE is described which implements some of these ideas.

[1]  Richard A. Frost Formalising the Notion of Semantic Integrity in Database and Knowledge Base Systems Work , 1986, BNCOD.

[2]  Peter C. Lockemann,et al.  Modelling Information Preserving Databases: Consequences of the Concept of Time , 1983, VLDB.

[3]  Michael L. Brodie The application of data types to database semantic integrity , 1980, Inf. Syst..

[4]  David Scott Warren,et al.  Formal semantics for time in databases , 1982, TODS.

[5]  Abdullah Uz Tansel,et al.  Adding time dimension to relational model and extending relational algebra , 1986, Inf. Syst..

[6]  TanselAbdullah Uz Adding time dimension to relational model and extending relational algebra , 1986 .

[7]  Hugh Noble Occuurence Dependencies, Linkages and the Structure of a Relational Database , 1984, BNCOD.

[8]  Isamu Kobayashi,et al.  Validating database updates , 1984, Inf. Syst..

[9]  Richard T. Snodgrass,et al.  A taxonomy of time databases , 1985, SIGMOD Conference.

[10]  C. J. Date Referential Integrity , 1981, VLDB.

[11]  T. Abbod,et al.  Meta-Rules and Semantic Integrity Constraints in Databases , 1986, BNCOD.

[12]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[13]  James Clifford,et al.  On an algebra for historical relational databases: two views , 1985, SIGMOD Conference.

[14]  Hans Weigand Conceptual Models in Prolog , 1985, DS-1.

[15]  Antonio L. Furtado,et al.  A Temporal Framework for Database Specifications , 1982, VLDB.

[16]  Richard A. Frost,et al.  A Step Towards the Automatic Maintenance of the Semantic Integrity of Databases , 1983, Comput. J..

[17]  S. Jones,et al.  Handling the Time Dimension in a Data Base , 1980, ICOD.

[18]  Michael Stonebraker Adding Semantic Knowledge to a Relational Database System , 1982, On Conceptual Modelling.

[19]  James Clifford,et al.  Time and Databases. , 1983, SIGMOD 1983.

[20]  Peter Dadam,et al.  Designing DBMS support for the temporal dimension , 1984, SIGMOD '84.