A Possible World Semantics for Updates by Versioning

Recently a rule-language for updating objects based on versioning has been proposed [1]. The units for update are base properties of the objects Updates are defined by rules; several rules may be used to a specific update. Rules are evaluated in a bottom-up way according to a certain stratification. Up to now semantics is defined by the fixpoint resulting from the bottom-up evaluation procedure. In this paper a possible-world semantics is introduced to give a declarative semantics to the rule-language.

[1]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[2]  Michael Kifer,et al.  A logic for object-oriented logic programming , 1989, PODS.

[3]  Meichun Hsu,et al.  A Theory for Rule Triggering Systems , 1990, EDBT.

[4]  Anthony Tomasic,et al.  View Update Translation via Deduction and Annotation , 1988, ICDT.

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

[6]  Richard Hull,et al.  Language Constructs for Programming Active Databases , 1991, VLDB.

[7]  Eric Simon,et al.  A production rule based approach to deductive databases , 1988, Proceedings. Fourth International Conference on Data Engineering.

[8]  Jeffrey D. Ullman,et al.  Principles of database and knowledge-base systems, Vol. I , 1988 .

[9]  Serge Abiteboul,et al.  Datalog Extensions for Database Queries and Updates , 1991, J. Comput. Syst. Sci..

[10]  Jennifer Widom,et al.  Set-oriented production rules in relational database systems , 1990, SIGMOD '90.

[11]  Elaine Kant,et al.  Programming expert systems in OPS5 , 1985 .

[12]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[13]  Michael Stonebraker,et al.  On rules, procedures, caching and views in database systems , 1994, SIGMOD 1994.

[14]  Paolo Atzeni,et al.  Updating Deductive Databases with Functional Dependencies , 1991, DOOD.

[15]  Kenneth A. Ross,et al.  Glue-Nail: a deductive database system , 1991, SIGMOD '91.

[16]  Hendrik Decker,et al.  Drawing Updates From Derivations , 1990, ICDT.

[17]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .