Well-Founded Semantics for Deductive Object-Oriented Database Languages

We present a well-founded semantics for deductive object-oriented database (dood) languages by applying the alternating-fixpoint characterization of the well-founded model to them. In order to compute the state sequence, states are explicitly integrated by making them first-class citizens of the underlying language. The concept is applied to Florid, an implementation of F-Logic, previously supporting only inflationary negation. Using our approach, well-founded models of F-Logic programs can be computed.

[1]  Jürgen Dix,et al.  Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview , 1996, Logic, Action, and Information.

[2]  Kenneth A. Ross,et al.  Noodle: A Language for Declarative Querying in an Object-Oriented Database , 1993, DOOD.

[3]  Carlo Zaniolo,et al.  Negation and Aggregates in Recursive Rules: the LDL++ Approach , 1993, DOOD.

[4]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[5]  Norman W. Paton,et al.  An Effective Deductive Object-Oriented Database Through Language Integration , 1994, VLDB.

[6]  Mengchi Liu.  ROL: A Deductive Object Base Language , 1996, Inf. Syst..

[7]  Wolfgang May,et al.  Integrating Dynamic Aspects into Deductive Object-Oriented Databases , 1997, Rules in Database Systems.

[8]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

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

[10]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[11]  Georg Lausen,et al.  Access to Objects by Path Expressions and Rules , 1994, VLDB.

[12]  David Scott Warren,et al.  C-logic of complex objects , 1989, PODS '89.

[13]  Letizia Tanca,et al.  Integrating object-oriented data modelling with a rule-based programming paradigm , 1990, SIGMOD '90.

[14]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[15]  Masatoshi Yoshikawa,et al.  ILOG: Declarative Creation and Manipulation of Object Identifiers , 1990, VLDB.

[16]  Serge Abiteboul,et al.  A rule-based language with functions and sets , 1991, TODS.

[17]  Stefano Ceri,et al.  Deductive and Object-Oriented Databases , 1993, Lecture Notes in Computer Science.

[18]  Burkhard Freitag,et al.  Improving the Alternating Fixpoint: The Transformation Approach , 1997, LPNMR.

[19]  Serge Abiteboul,et al.  Deep Equality Revisited , 1995, DOOD.

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

[21]  Bertram Ludäscher,et al.  A Logical Framework for Active Rules , 1996, COMAD.

[22]  Kotagiri Ramamohanarao,et al.  ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS , 1995, DOOD.

[23]  Michael Kifer,et al.  A Logic Programming with Complex Objects , 1993, J. Comput. Syst. Sci..