Planning Complex Updates to Satisfy Constraint Rules Using a Constraint Logic Search Engine

In scientific and design applications, updates typically require the creation of a set of database objects, which together form a complex structure exhibiting some desired property or semantics. To support this kind of data manipulation, we have extended the Daplex data manipulation language with constructs to express constraints over the creation of sets of objects. Complex update descriptions are combined with semantic and structural constraints from the database schema, and are compiled into CHIP programs which search for an update that will meet the given constraints. The resulting system uses an efficient search technique, and avoids the problems of “knock-on” actions found in more traditional approaches using triggers.

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

[2]  G J Kemp,et al.  An object-oriented database for protein structure analysis. , 1990, Protein engineering.

[3]  Anne Lohrli.  Chapman and Hall , 1985 .

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

[5]  Tomasz Imielinski,et al.  Incomplete object—a data model for design and planning applications , 1991, SIGMOD '91.

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

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

[8]  Tomasz Imielinski,et al.  Querying Design and Planning Databases , 1991, DOOD.

[9]  Nick Bassiliades,et al.  Constraint Maintenance using Generated Methods in the P/FDM Object-Oriented Database , 1993, Rules in Database Systems.

[10]  Peter C. Lockemann,et al.  Reactive consistency control in deductive databases , 1991, TODS.

[11]  Norman W. Paton,et al.  Object-oriented databases - a semantic data model approach , 1992, Prentice Hall International Series in Computer Science.

[12]  Suzanne M. Embury,et al.  Compiling a Declarative High-Level Language for Semantic Integrity Constraints , 1995, DS-6.

[13]  Philip Wadler,et al.  Packrat parsing:: simple, powerful, lazy, linear time, functional pearl , 2002, ICFP '02.

[14]  Michael J. Maher,et al.  Toward Practical Constraint Databases , 1993, VLDB.

[15]  Peter Sestoft,et al.  Non-Determinism in Functional Languages , 1992, Comput. J..

[16]  Suzanne M. Embury,et al.  Constraint-based updates in a functional data model database , 1994 .

[17]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[18]  Robert W. Floyd,et al.  Nondeterministic Algorithms , 1967, JACM.

[19]  S.D. Urban,et al.  The implementation and evaluation of integrity maintenance rules in an object-oriented database , 1992, [1992] Eighth International Conference on Data Engineering.

[20]  Norman W. Paton,et al.  Optimising and Executing DAPLEX Queries Using Prolog , 1990, Comput. J..

[21]  Peter J. Stuckey,et al.  Compiling query constraints , 1994, ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.