Compiling a Declarative High-Level Language for Semantic Integrity Constraints

The provision of more intelligent support for complex database applications is becoming an important research topic, and declaratively stated integrity constraints are increasingly being seen as a potential source of semantic information for such advanced DBMS’s. However, despite much research effort, the problem of efficiently compiling and checking a wide range of complex constraints has not yet been solved. And until it is solved, few database designers will be willing to sacrifice the performance of the every day database usage, in order to provide a complete semantic modelling of their application domain.

[1]  P. J. Landin.  A λ-CALCULUS APPROACH , 1966 .

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

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

[4]  Editors , 1986, Brain Research Bulletin.

[5]  Hendrik Decker,et al.  A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases , 1988, EDBT.

[6]  Susan Darling Urban.  ALICE: an assertion language for integrity constraint expression , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[7]  Jennifer Widom,et al.  Deriving Production Rules for Constraint Maintainance , 1990, VLDB.

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

[9]  Alexandra Poulovassilis,et al.  A Functional Programming Approach to Deductive Databases , 1991, VLDB.

[10]  François Bry,et al.  Integrity Verification in Knowledge Bases , 1990, RCLP.

[11]  Narain H. Gehani,et al.  Ode as an Active Database: Constraints and Triggers , 1991, VLDB.

[12]  Martin Erwig,et al.  A Functional DBPL Revealing High Level Optimizations , 1992, DBPL.

[13]  H. V. Jagadish,et al.  Integrity Maintenance in Object-Oriented Databases , 1992, VLDB.

[14]  Zhuoan Jiao.  Optimisation studies in a Prolog object-oriented database , 1992 .

[15]  Xiaolei,et al.  Integrity Maintenance in an Object-Oriented Database , 1992 .

[16]  Oscar Díaz.  Deriving Active Rules for Constraint Maintenance in an Object-Oriented Database , 1992, DEXA.

[17]  Susan Darling Urban,et al.  CONTEXT: A CONstrainT EXplanation Tool , 1992, Data Knowl. Eng..

[18]  Oscar Díaz,et al.  Generating Active Rules from High-Level Specifications , 1992, BNCOD.

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

[20]  Xiaolei Qian,et al.  The deductive synthesis of database transactions , 1993, TODS.

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

[22]  A Review of Repairing Techniques for Integrity Maintenance , 1993, Rules in Database Systems.

[23]  Swarup Reddi,et al.  Integrity Constraint Enforcement in the Functional Database Language PFL , 1993, BNCOD.

[24]  Jorge Lobo,et al.  Qualified Answers That Reflect User Needs and Preferences , 1994, VLDB.

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

[26]  Suzanne M. Embury,et al.  The Declarative Expression of Semantic Integrity in a Database of Protein Structure , 1995 .

[27]  Nick Bassiliades,et al.  CoLan: A Functional Constraint Language and its Implementation , 1995, Data Knowl. Eng..