Formal Semantics for Time in Databases.

@article{DBLP:journals/tods/CliffordW83,
  author    = {James Clifford and
               David Scott Warren},
  title     = {Formal Semantics for Time in Databases},
  journal   = {ACM Trans. Database Syst.},
  volume    = {8},
  number    = {2},
  year      = {1983},
  pages     = {214-254},
  ee        = {http://doi.acm.org/10.1145/319983.319986, db/journals/tods/CliffordW83.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1983 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

...

[3]

Horst Biller, Erich J. Neuhold: Semantics of data bases: The semantics of data models. Inf. Syst. 3(1): 11-30(1978) BibTeX

[4]

...

[5]

...

[6]

...

[7]

Marco A. Casanova, Philip A. Bernstein: The Logic of a Relational Data Manipulation Language. POPL 1979: 101-109 BibTeX

[8]

Chin-Liang Chang: DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. Logic and Data Bases 1977: 201-236 BibTeX

[9]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX

[10]

...

[11]

...

[12]

...

[13]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[14]

...

[15]

...

[16]

...

[17]

Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory Plemum Press 1978, ISBN 0-306-40060-X
Contents BibTeX

[18]

...

[19]

Billie S. Goldstein: Constraints on Null Values in Relational Databases. VLDB 1981: 101-110 BibTeX

[20]

Russell Greiner, Douglas B. Lenat: A Representation Language Language. AAAI 1980: 165-169 BibTeX

[21]

Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36 BibTeX

[22]

...

[23]

Jerry R. Hobbs, Stanley J. Rosenschein: Making Computational Sense of Montague's Intensional Logic. Artif. Intell. 9(3): 287-306(1977) BibTeX

[24]

...

[25]

...

[26]

Manfred R. Klopprogge: TERM: An Approach to Include Time Dimension in the Entity-Relationship Model. ER 1981: 473-508 BibTeX

[27]

...

[28]

Harri Laine, Olavi Maanavilja, Eero Peltola: Grammatical data base model. Inf. Syst. 4(4): 257-267(1979) BibTeX

[29]

David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX

[30]

...

[31]

David Maier, David Scott Warren: Specifying Connections for a Universal Relation Scheme Database. SIGMOD Conference 1982: 1-7 BibTeX

[32]

...

[33]

Jack Minker: An Experimental Relational Data Base System Based on Logic. Logic and Data Bases 1977: 107-147 BibTeX

[34]

...

[35]

...

[36]

Jean-Marie Nicolas: First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. SIGMOD Conference 1978: 40-46 BibTeX

[37]

Jean-Marie Nicolas, Hervé Gallaire: Data Base: Theory vs. Interpretation. Logic and Data Bases 1977: 33-54 BibTeX

[38]

Jean-Marie Nicolas, Kioumars Yazdanian: Integrity Checking in Deductive Data Bases. Logic and Data Bases 1977: 325-344 BibTeX

[39]

...

[40]

...

[41]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX

[42]

...

[43]

Hans Albrecht Schmid, J. Richard Swenson: On the Semantics of the Relational Data Model. SIGMOD Conference 1975: 211-223 BibTeX

[44]

Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) BibTeX

[45]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX

[46]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[47]

Michael Stonebraker, Kenneth Keller: Embedding Expert Knowledge and Hypothetical Data Bases Into a Data Base System. SIGMOD Conference 1980: 58-66 BibTeX

[48]

Jeffrey D. Ullman: Principles of Database Systems, 1st Edition. Computer Science Press 1980
BibTeX

Referenced by

1. Debabrata Dey, Terence M. Barron, Aditya N. Saharia: A Decision Model for Choosing the Optimal Level of Storage in Temporal Databases. IEEE Trans. Knowl. Data Eng. 10(2): 297-309(1998)
2. Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia: Temporal Semantic Assumptions and Their Use in Databases. IEEE Trans. Knowl. Data Eng. 10(2): 277-296(1998)
3. Ling Lin, Tore Risch: Querying Continuous Time Sequences. VLDB 1998: 170-181
4. James Clifford, Curtis E. Dyreson, Tomás Isakowitz, Christian S. Jensen, Richard T. Snodgrass: On the Semantics of ``Now'' in Databases. ACM Trans. Database Syst. 22(2): 171-214(1997)
5. Manuk G. Manukyan: Temporal Data Model. ADBIS 1997: 371-387
6. Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo: Extending Existing Dependency Theory to Temporal Databases. IEEE Trans. Knowl. Data Eng. 8(4): 563-582(1996)
7. Gultekin Özsoyoglu, Richard T. Snodgrass: Temporal and Real-Time Databases: A Survey. IEEE Trans. Knowl. Data Eng. 7(4): 513-532(1995)
8. Claudio Bettini, Xiaoyang Sean Wang, Elisa Bertino, Sushil Jajodia: Semantic Assumptions and Query Evaluation in Temporal Databases. SIGMOD Conference 1995: 257-268
9. James Clifford, Albert Croker, Alexander Tuzhilin: On Completeness of Historical Relational Query Languages. ACM Trans. Database Syst. 19(1): 64-116(1994)
10. James Clifford, Tomás Isakowitz: On the Semantics of (Bi)Temporal Variable Databases. EDBT 1994: 215-230
11. Junichi Takahashi: Temporal Query Processing for Scene Retrieval in Motion Image Databases. DASFAA 1993: 421-426
12. Roberto Maiocchi, Barbara Pernici, Federico Barbic: Automatic Deduction of Temporal Information. ACM Trans. Database Syst. 17(4): 647-688(1992)
13. Christian S. Jensen, Leo Mark: Queries on Change in an Extended Relational Model. IEEE Trans. Knowl. Data Eng. 4(2): 192-200(1992)
14. Edward Sciore: Using Annotations to Support Multiple Kinds of Versioning in an Object-Oriented Database System. ACM Trans. Database Syst. 16(3): 417-438(1991)
15. L. Edwin McKenzie, Richard T. Snodgrass: Evaluation of Relational Algebras Incorporating the Time Dimension in Databases. ACM Comput. Surv. 23(4): 501-543(1991)
16. Stanley Y. W. Su, Hsin-Hsing M. Chen: A Temporal Knowledge Representation Model OSAM*/T and Its Query Language OQL/T. VLDB 1991: 431-442
17. Ramez Elmasri, Yeong-Joon Kim, Gene T. J. Wuu: Efficient Implementation Techniques For the Time Index. ICDE 1991: 102-111
18. Ellen Rose, Arie Segev: TOODM - A Temporal Object-Oriented Data Model with Temporal Constraints. ER 1991: 205-229
19. Nandlal L. Sarda: Extensions to SQL for Historical Databases. IEEE Trans. Knowl. Data Eng. 2(2): 220-230(1990)
20. Gruia-Catalin Roman: Formal Specification of Geographic Data Processing Requirements. IEEE Trans. Knowl. Data Eng. 2(4): 370-380(1990)
21. Alexander Tuzhilin, James Clifford: A Temporal Relational Algebra as Basis for Temporal Relational Completeness. VLDB 1990: 13-23
22. Wolfgang Käfer, Norbert Ritter, Harald Schöning: Support for Temporal Data by Complex Objects. VLDB 1990: 24-35
23. Ramez Elmasri, Gene T. J. Wuu, Yeong-Joon Kim: The Time Index: An Access Structure for Temporal Data. VLDB 1990: 1-12
24. Tae H. Ahn, Hyuk J. Jo, Jin H. Kim, Yoon J. Lee, Byung C. Kim: Temporal Summary Table Management and Graphic Interface. SSDBM 1990: 112-130
25. Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper: Handling Infinite Temporal Data. PODS 1990: 392-403
26. T. Y. Cliff Leung, Richard R. Muntz: Query Processing for Temporal Databases. ICDE 1990: 200-208
27. Ramez Elmasri, Gene T. J. Wuu: A Temporal Model and Query Language for ER Databases. ICDE 1990: 76-83
28. Ramez Elmasri, Ihab El-Assal, Vram Kouramajian: Semantics of Temporal Data in an Extended ER Model. ER 1990: 249-264
29. Abdullah Uz Tansel, Lucy Garnett: Nested Historical Relations. SIGMOD Conference 1989: 284-294
30. Soumitra Dutta: Generalized Events In Temporal Databases. ICDE 1989: 118-125
31. Shashi K. Gadia: A Homogeneous Relational Model and Query Languages for Temporal Databases. ACM Trans. Database Syst. 13(4): 418-448(1988)
32. Suryanarayana M. Sripada: A logical framework for temporal deductive databases. VLDB 1988: 171-182
33. Xiaolei Qian, Richard J. Waldinger: A Transaction Logic for Database Specification. SIGMOD Conference 1988: 243-250
34. Jan Chomicki, Tomasz Imielinski: Temporal Deductive Databases and Infinite Objects. PODS 1988: 61-73
35. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
36. Richard T. Snodgrass: The Temporal Query Language TQuel. ACM Trans. Database Syst. 12(2): 247-298(1987)
37. T. Abbod, K. Brown, H. Noble: Providing Time-Related Constraints for Conventional Database Systems. VLDB 1987: 167-175
38. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987: 254-259
39. James Clifford, Albert Croker: The Historical Relational Data Model (HRDM) and Algebra Based on Lifespans. ICDE 1987: 528-537
40. Seymour Ginsburg, Katsumi Tanaka: Computation-Tuple Sequences and Object Histories. ACM Trans. Database Syst. 11(2): 186-212(1986)
41. Gad Ariav: A Temporally Oriented Data Model. ACM Trans. Database Syst. 11(4): 499-527(1986)
42. Toby J. Teorey, Dongqing Yang, James P. Fry: A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model. ACM Comput. Surv. 18(2): 197-222(1986)
43. Sunil K. Sarin, Charles W. Kaufman, Janet E. Somers: Using History Information to Process Delayed Database Updates. VLDB 1986: 71-78
44. Michel E. Adiba, N. Bui Quang: Historical Multi-Media Databases. VLDB 1986: 63-70
45. Shashi K. Gadia: Weak Temporal Relations. PODS 1986: 70-77
46. Gruia-Catalin Roman: Formal Specification of Geographic Data Processing Requirements. ICDE 1986: 434-446
47. Shashi K. Gadia: Toward a Multihomogeneous Model for a Temporal Database. ICDE 1986: 390-397
48. Michel E. Adiba: Modeling Complex Objects for Multimedia Databases. ER 1986: 89-117
49. Richard T. Snodgrass, Ilsoo Ahn: A Taxonomy of Time in Databases. SIGMOD Conference 1985: 236-246
50. James Clifford, Abdullah Uz Tansel: On An Algebra For Historical Relational Databases: Two Views. SIGMOD Conference 1985: 247-265
51. Shashi K. Gadia, Jay H. Vaishnav: A Query Language for a Homogeneous Temporal Database. PODS 1985: 51-56
52. Roger E. Cooley: A Specification Model for Information Systems. ER 1985: 140-147
53. Seymour Ginsburg, Katsumi Tanaka: Interval Queries on Object Histories: Extended Abstract. VLDB 1984: 208-217
54. Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308
55. Peter Dadam, Vincent Y. Lum, H.-D. Werner: Integration of Time Versions into a Relational Database System. VLDB 1984: 509-522
56. Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56
57. Vincent Y. Lum, Peter Dadam, R. Erbe, Jürgen Günauer, Peter Pistor, Georg Walch, H. Werner, John Woodfill: Designing DBMS Support for the Temporal Dimension. SIGMOD Conference 1984: 115-130
58. Richard T. Snodgrass: The Temporal Query Language TQuel. PODS 1984: 204-213
59. Gad Ariav, James Clifford, Matthias Jarke: Time and Databases. SIGMOD Conference 1983: 243-245
60. Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983: 389-399
61. Peter P. Chen: ER - A Historical Perspective and Future Directions. ER 1983: 71-77
62. David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
    Contents