The ROL deductive object base language

The paper presents a novel deductive object base language, called ROL (Rule-based Object Language), which has been implemented at the University of Regina (Canada) and is available via anonymous ftp. It effectively integrates important features of object oriented databases and deductive databases into a uniform framework. It supports object oriented features such as object identity, complex objects, classes, class hierarchy, multiple inheritance, and schema. It also supports structured values such as functor objects and sets, treats them as first class citizens, and provides powerful mechanisms for representing both partial and complete information on sets. It is an extension of pure valued oriented deductive languages such as Datalog and LDL (without grouping) and subsumes them as special cases. Furthermore, it has a logical semantics that cleanly accounts for all of its object oriented and value oriented features.

[1]  Elisa Bertino,et al.  Towards a Logical-Object Oriented Programming Language for Databases , 1992, EDBT.

[2]  Gabriel M. Kuper,et al.  Logic programming with sets , 1987, PODS '87.

[3]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[4]  Andreas Podelski,et al.  Towards a Meaning of LIFE , 1991, J. Log. Program..

[5]  Catriel Beeri,et al.  Set Constructors in a Logic Database Language , 1991, J. Log. Program..

[6]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[7]  Diego Calvanese,et al.  Making object-oriented schemas more expressive , 1994, PODS '94.

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

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

[10]  Catriel Beeri,et al.  Formal Models for Object Oriented Databases , 1989, DOOD.

[11]  Norman W. Paton,et al.  Design and implementation of ROCK & ROLL: a deductive object-oriented database system , 1995, Inf. Syst..

[12]  Serge Abiteboul,et al.  COL: A Logic-Based Language for Complex Objects , 1988, EDBT.

[13]  Serge Abiteboul,et al.  Methods and rules , 1993, SIGMOD Conference.

[14]  Divesh Srivastava,et al.  CORAL - Control, Relations and Logic , 1992, VLDB.

[15]  John W. Lloyd Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract) , 1995 .

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

[17]  Serge Abiteboul,et al.  IFO: A Formal Semantic Database Model , 1987, ACM Trans. Database Syst..

[18]  Alfred V. Aho,et al.  The theory of joins in relational data bases , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[19]  Gillian Dobbie,et al.  A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems , 1993, DOOD.

[20]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[21]  Christophe Lécluse,et al.  The O2 Database Programming Language , 1989, Building an Object-Oriented Database System, The Story of O2.

[22]  S. Bing Yao,et al.  The Functional Dependency Model For Logical Database Design , 1979, Fifth International Conference on Very Large Data Bases, 1979..

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

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

[25]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

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

[27]  Z. Meral Özsoyoglu,et al.  LLO: an object-oriented deductive language with methods and method inheritance , 1991, SIGMOD '91.

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

[29]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[30]  Jeffrey D. Ullman,et al.  A Comparison between Deductive and Object-Oriented Database Systems , 1991, DOOD.

[31]  Herman Balsters,et al.  A Deductive and Typed Object-Oriented Language , 1993, DOOD.