Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases

We extend our previous mathematical foundation for a deductive object-oriented language called Gulog to include arithmetic and aggregate operators. We describe the semantics of the extended language and present a corresponding query evaluation procedure.

[1]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[2]  Divesh Srivastava,et al.  Efficient Bottom-Up Evaluation of Logic Programs , 1992 .

[3]  K. A. Ross.  Modular stratification and magic sets for DATALOG programs with negation , 1990, PODS 1990.

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

[5]  Peter J. Stuckey,et al.  Semantics of Logic Programs with Aggregates , 1991, ISLP.

[6]  David Harel,et al.  Computable Queries for Relational Data Bases , 1980, J. Comput. Syst. Sci..

[7]  Serge Abiteboul,et al.  Data functions, datalog and negation , 1988, SIGMOD '88.

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

[9]  Divesh Srivastava,et al.  Controlling the Search in Bottom-Up Evaluation , 1992, JICSLP.

[10]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

[11]  Allen Van Gelder,et al.  Foundations of Aggregation in Deductive Databases , 1993, DOOD.

[12]  Teodor C. Przymusinski.  Every logic program has a natural stratification and an iterated least fixed point model , 1989, PODS.

[13]  Divesh Srivastava,et al.  Coral++: Adding Object-Orientation to a Logic Database Language , 1993, VLDB.

[14]  David Harel,et al.  Completeness results for recursive data bases , 1993, J. Comput. Syst. Sci..