Integrating Dynamic Aspects into Deductive Object-Oriented Databases

We show how the dynamics of database systems can be modeled by making states first-class citizens in an object-oriented deductive database language. With states at the same time acting as objects, methods, or classes, several concepts of dynamic entities can be implemented, allowing an intuitive, declarative modeling of the application domain. Exploiting the natural stratification induced by the state sequence, the approach also provides an implementable operational semantics.

[1]  Georg Lausen,et al.  FLORID - Ein Prototyp fuer F-Logik , 1996, BTW.

[2]  Martín Abadi,et al.  Temporal Logic Programming , 1989, J. Symb. Comput..

[3]  Georg Lausen,et al.  FLORID: a prototype for F-logic , 1997, Proceedings 13th International Conference on Data Engineering.

[4]  llsoo Ahn,et al.  Temporal Databases , 1986, Computer.

[5]  Bertram Ludäscher,et al.  Nested Transactions in a Logical Language for Active Rules , 1996, Logic in Databases.

[6]  Gunter Saake,et al.  Updates in a Rule-Based Language for Objects , 1992, VLDB.

[7]  Carlo Zaniolo,et al.  A Unified Semantics for Active and Deductive Databases , 1993, Rules in Database Systems.

[8]  Wojciech Cellary,et al.  Consistency of Versions in Object-Oriented Databases , 1990, Building an Object-Oriented Database System, The Story of O2.

[9]  Marianne Baudinet,et al.  Temporal Deductive Databases , 1993, Temporal Databases.

[10]  Wojciech Cellary,et al.  Consistency of versions in objects-oriented databases , 1990, VLDB 1990.

[11]  Howard A. Blair,et al.  The Complexity of Local Stratification , 1994, Fundam. Informaticae.

[12]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[13]  Michael Kifer,et al.  An Overview of Transaction Logic , 1994, Theor. Comput. Sci..