A logical framework for temporal deductive databases.

@inproceedings{DBLP:conf/vldb/Sripada88,
  author    = {Suryanarayana M. Sripada},
  editor    = {Fran\c{c}ois Bancilhon and
               David J. DeWitt},
  title     = {A logical framework for temporal deductive databases},
  booktitle = {Fourteenth International Conference on Very Large Data Bases,
               August 29 - September 1, 1988, Los Angeles, California, USA,
               Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-75-3},
  pages     = {171-182},
  ee        = {db/conf/vldb/Sripada88.html},
  crossref  = {DBLP:conf/vldb/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1988 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD 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/vldb7588 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/aDVD1 or /dvd

Printed Edition

References

[1]

James F. Allen: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11): 832-843(1983) BibTeX

[2]

Gad Ariav, James Clifford, Matthias Jarke: Time and Databases. SIGMOD Conference 1983: 243-245 BibTeX

[3]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[4]

James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983) BibTeX

[5]

Thomas Dean, Drew V. McDermott: Temporal Data Base Management. Artif. Intell. 32(1): 1-55(1987) BibTeX

[6]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[7]

...

[8]

Robert A. Kowalski, Marek J. Sergot: A Logic-based Calculus of Events. New Generation Comput. 4(1): 67-95(1986) BibTeX

[9]

Robert A. Kowalski: Database Updates in the Event Calculus. J. Log. Program. 12(1&2): 121-146(1992) BibTeX

[10]

Ronald M. Lee, Helder Coelho, Jose Carlos Cotta: Temporal inferencing on administrative databases. Inf. Syst. 10(2): 197-206(1985) BibTeX

[11]

John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
BibTeX

[12]

N. G. Martin, Shamkant B. Navathe, Rafi Ahmed: Dealing with Temporal Schema Anomalies in History Databases. VLDB 1987: 177-184 BibTeX

[13]

L. Edwin McKenzie: Bibliography: Temporal Databases. SIGMOD Record 15(4): 40-52(1986) BibTeX

[14]

...

[15]

Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory: The British Nationality Act as a Logic Program. Commun. ACM 29(5): 370-386(1986) BibTeX

[16]

Richard T. Snodgrass, Ilsoo Ahn: A Taxonomy of Time in Databases. SIGMOD Conference 1985: 236-246 BibTeX

[17]

Richard T. Snodgrass, Ilsoo Ahn: Temporal Databases. IEEE Computer 19(9): 35-42(1986) BibTeX

[18]

Richard T. Snodgrass: Research Concerning Time in Databases - Project Summaries. SIGMOD Record 15(4): 19-39(1986) BibTeX

[19]

Richard T. Snodgrass: The Temporal Query Language TQuel. ACM Trans. Database Syst. 12(2): 247-298(1987) BibTeX

[20]

Michael Stonebraker, Eugene Wong, Peter Kreps, Gerald Held: The Design and Implementation of INGRES. ACM Trans. Database Syst. 1(3): 189-222(1976) BibTeX

[21]

Michael Stonebraker: The Design of the POSTGRES Storage System. VLDB 1987: 289-300 BibTeX

Referenced by

1. Carlos A. Mareco, Leopoldo E. Bertossi: Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus. ER (Workshops) 1999: 74-85
2. Gultekin Özsoyoglu, Richard T. Snodgrass: Temporal and Real-Time Databases: A Survey. IEEE Trans. Knowl. Data Eng. 7(4): 513-532(1995)
3. Suryanarayana M. Sripada, Beat Wüthrich: Cumulative Updates. VLDB 1994: 534-545
4. Roberto Maiocchi, Barbara Pernici, Federico Barbic: Automatic Deduction of Temporal Information. ACM Trans. Database Syst. 17(4): 647-688(1992)
5. Thodoros Topaloglou, Arantza Illarramendi, Licia Sbattella: Query Optimization for KBMSs: Temporal, Syntactic and Semantic Transformantions. ICDE 1992: 310-319
6. Ramez Elmasri, Vram Kouramajian: A Temporal Query Language Based on Conceptual Entities and Roles. ER 1992: 375-388
7. Roberto Maiocchi, Barbara Pernici: Temporal Data Management Systems: A Comparative View. IEEE Trans. Knowl. Data Eng. 3(4): 504-524(1991)
8. Gary Hall, Ranabir Gupta: Modeling Transition. ICDE 1991: 540-549
9. Arantza Illarramendi, Licia Sbattella: Syntactic Query Processing: Dealing with Structure and Time. DASFAA 1991: 356-365