A Logic Programming Framework for Modeling Temporal Objects.

@article{DBLP:journals/tkde/KesimS96,
  author    = {F. Nihan Kesim and
               Marek J. Sergot},
  title     = {A Logic Programming Framework for Modeling Temporal Objects},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {8},
  number    = {5},
  year      = {1996},
  pages     = {724-741},
  ee        = {db/journals/tkde/KesimS96.html, db/journals/tkde/KesimS96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1996 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

CDROM Edition

References

[1]

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 BibTeX

[2]

Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986) BibTeX

[3]

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240 BibTeX

[4]

François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 BibTeX

[5]

Catriel Beeri: Formal Models for Object Oriented Databases. DOOD 1989: 405-430 BibTeX

[6]

Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114 BibTeX

[7]

Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 BibTeX

[8]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990) BibTeX

[9]

Mukesh Dalal, Dipayan Gangopadhyay: OOLP: A Translation Approach to Object-Oriented Logic Programming. DOOD 1989: 593-606 BibTeX

[10]

Ramez Elmasri, Gene T. J. Wuu, Vram Kouramajian: A Temporal Model and Query Language for EER Databases. Temporal Databases 1993: 212-229 BibTeX

[11]

Ramez Elmasri, Gene T. J. Wuu, Vram Kouramajian: The Time Index and the Monotonic B+-tree. Temporal Databases 1993: 433-456 BibTeX

[12]

...

[13]

Koichi Fukunaga, Shin'ichi Hirose: An Experience with a Prolog-based Object-Oriented Language. OOPSLA 1986: 224-231 BibTeX

[14]

...

[15]

Christian S. Jensen, James Clifford, Ramez Elmasri, Shashi K. Gadia, Patrick J. Hayes, Sushil Jajodia: A Consensus Glossary of Temporal Database Concepts. SIGMOD Record 23(1): 52-64(1994) BibTeX

[16]

Christian S. Jensen, Leo Mark: Differential Query Processing in Transaction-Time Databases. Temporal Databases 1993: 457-491 BibTeX

[17]

Christian S. Jensen, Michael D. Soo, Richard T. Snodgrass: Unifying Temporal Data Models via a Conceptual Model. Inf. Syst. 19(7): 513-547(1994) BibTeX

[18]

Wolfgang Käfer, Norbert Ritter, Harald Schöning: Support for Temporal Data by Complex Objects. VLDB 1990: 24-35 BibTeX

[19]

F. Nihan Kesim, Marek J. Sergot: On the Evolution of Objects in a Logic Programming Framework. FGCS 1992: 1052-1060 BibTeX

[20]

F. Nihan Kesim, Marek J. Sergot: Versioning of Objects in Deductive Databases. DOOD 1993: 459-472 BibTeX

[21]

...

[22]

...

[23]

Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 BibTeX

[24]

Won Kim, Hong-Tai Chou: Versions of Schema for Object-Oriented Databases. VLDB 1988: 148-159 BibTeX

[25]

Nick Kline: An Update of the Temporal Database Bibliography. SIGMOD Record 22(4): 66-80(1993) BibTeX

[26]

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

[27]

Robert A. Kowalski, Fariba Sadri: The Situation Calculus and Event Calculus Compared. SLP 1994: 539-553 BibTeX

[28]

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

[29]

Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 BibTeX

[30]

...

[31]

...

[32]

John F. Roddick: Schema Evolution in Database Systems - An Annotated Bibliography. SIGMOD Record 21(4): 35-40(1992) BibTeX

[33]

Ellen Rose, Arie Segev: TOODM - A Temporal Object-Oriented Data Model with Temporal Constraints. ER 1991: 205-229 BibTeX

[34]

Arie Segev, Arie Shoshani: A Temporal Data Model Based on Time Sequences. Temporal Databases 1993: 248-270 BibTeX

[35]

Murray Shanahan: Representing Continuous Change in the Event Calculus. ECAI 1990: 598-603 BibTeX

[36]

Andrea H. Skarra, Stanley B. Zdonik: Type Evolution in an Object-Oriented Database. Research Directions in Object-Oriented Programming 1987: 393-415 BibTeX

[37]

Richard T. Snodgrass: Temporal Object-Oriented Databases: A Critical Comparison. Modern Database Systems 1995: 386-408 BibTeX

[38]

Paul Soper, Charles Ranaboldo, Geetha Abeysinghe: A Temporal Model for Clinical and Resource Management in Vascular Surgery. DEXA 1991: 549-552 BibTeX

[39]

Suryanarayana M. Sripada: Temporal Reasoning in Deductive Databases. Ph.D. thesis, Imperial College of Science, University of London 1991
BibTeX

[40]

Jianwen Su: Dynamic Constraints and Object Migration. VLDB 1991: 233-242 BibTeX

[41]

Abdullah Uz Tansel, James Clifford, Shashi K. Gadia, Sushil Jajodia, Arie Segev, Richard T. Snodgrass (Eds.): Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings 1993, ISBN 0-8053-2413-5
Contents BibTeX

[42]

David Scott Warren: Memoing for Logic Programs. Commun. ACM 35(3): 93-111(1992) BibTeX

[43]

Gio Wiederhold, Sushil Jajodia, Witold Litwin: Integrating Temporal Data in a Heterogeneous Environment. Temporal Databases 1993: 563-579 BibTeX

[44]

Gene T. J. Wuu, Umeshwar Dayal: A Uniform Model for Temporal and Versioned Object-oriented Databases. Temporal Databases 1993: 230-247 BibTeX

[45]

Carlo Zaniolo: Object-Oriented Programming in Prolog. SLP 1984: 265-270 BibTeX

[46]

Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469 BibTeX

[47]

Stanley B. Zdonik: Object-Oriented Type Evolution. DBPL 1987: 277-288 BibTeX