COL: A Logic-Based Language for Complex Objects

A logic-based language for manipulating complex objects constructed using set and tuple constructors is introduced. A key feature of the language is the use of base and derived data functions. Under some stratification restrictions, the semantics of programs is given by a canonical minimal and causal model that can be computed using a finite sequence of fixpoints. Applications of the language to procedural data, semantic database models, heterogeneous databases integration, and datalog query evaluation are presented.

[1]  Shamim A. Naqvi.  A Logic for Negation in Database Systems , 1986, XP7.52 Workshop on Database Theory.

[2]  Peter Buneman,et al.  FQL: a functional query language , 1979, SIGMOD '79.

[3]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[4]  Catriel Beeri,et al.  Sets and negation in a logic data base language (LDL1) , 1987, PODS.

[5]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[6]  Serge Abiteboul,et al.  Restructuring Hierarchical Database Objects , 1988, Theor. Comput. Sci..

[7]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[8]  Barry E. Jacobs,et al.  On Database Logic , 1982, JACM.

[9]  Gabriel M. Kuper,et al.  A new approach to database logic , 1984, PODS.

[10]  Richard Hull,et al.  Positivism vs minimalism in deductive databases , 1985, PODS '86.

[11]  Serge Abiteboul,et al.  Non First Normal Form Relations: An Algebra Allowing Data Restructuring , 1986, J. Comput. Syst. Sci..

[12]  Hans-Jörg Schek,et al.  The relational model with relation-valued attributes , 1986, Inf. Syst..

[13]  Georges Gardarin,et al.  Evaluation of database recursive logic programs as recurrent function series , 1986, SIGMOD '86.

[14]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

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

[16]  Michael Stonebraker,et al.  Object Management in Postgres using Procedures , 1986, On Object-Oriented Database System.

[17]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[18]  Henry F. Korth,et al.  SQL/NF: a query language for ¬1 NF relational databases , 1987, Inf. Syst..

[19]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[20]  Allen Van Gelder,et al.  Negation as Failure using Tight Derivations for General Logic Programs , 1988, J. Log. Program..

[21]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[22]  Setrag Khoshafian,et al.  A calculus for complex objects , 1985, PODS '86.

[23]  Gabriel M. Kuper,et al.  Logic programming with sets , 1987, J. Comput. Syst. Sci..

[24]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[25]  Peter Pistor,et al.  Designing A Generalized NF2 Model with an SQL-Type Language Interface , 1986, VLDB.

[26]  Richard Hull,et al.  The Format Model: A Theory of database Organization , 1984, J. ACM.