Consistency and Non-determinism in a Database Programming Language

Logres is a new database programming language which is based on the integration of the object-oriented data modelling paradigm and of the rule-based approach for the specification of database queries and updates [C+90]. In Logres, we propose a solution to deductive databases update problems which allows to keep declarativity within each module, while moving control outside modules. We present theorems indicating sufficient conditions for ensuring the consistency of a Logres database state and introduce a new, non-deterministic semantics for Logres programs.

[1]  Yeh-Heng Shen.  IDLOG: extending the expressive power of deductive database languages , 1990, SIGMOD 1990.

[2]  Carlo Zaniolo,et al.  Stable models and non-determinism in logic programs with negation , 1990, PODS.

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

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

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

[6]  Serge Abiteboul,et al.  Non-deterministic languages to express deterministic transformations , 1990, PODS '90.

[7]  Serge Abiteboul,et al.  COL: A Logic-Based Language for Complex Objects , 1987, DBPL.

[8]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[9]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[10]  Catriel Beeri,et al.  Data Models and Languages for Databases , 1988, ICDT.

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

[12]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[13]  Eric Simon,et al.  Modelling Non Deterministic Queries and Updates in Deductive Databases , 1988, VLDB.

[14]  Jeffrey D. Ullman,et al.  Design Overview of the NAIL! System , 1986, ICLP.

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

[16]  Tomasz Imielinski,et al.  Explicit control of logic programs through rule algebra , 1988, PODS '88.

[17]  Fernando Vélez,et al.  O2, an Object-Oriented Data Model , 1992, Building an Object-Oriented Database System, The Story of O2.

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

[19]  David Scott Warren,et al.  A Logic-based Language for Database Updates , 1988, Foundations of Deductive Databases and Logic Programming..

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

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

[22]  Serge Abiteboul,et al.  Updates, A New Frontier , 1988, ICDT.