Download:
|
by Suzanne M. Embury, Peter M. D. Gray
ftp://ftp.csd.abdn.ac.uk/pub/reports/tr9506.ps
Add To MetaCart
Abstract:
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. In this paper, we describe the implementation of a constraint checking architecture and compiler, which have been designed to combine an expressive constraint language with efficient run-time maintenance. While the current implementation does not yet achieve high efficiency for all constraints, it has been designed with extensibility in mind and forms a solid platform from which to investigate further techniques for improving the handling of a wider range of constraints. The system is currently being used to describe and enforce the semantics of a complex scientific application domain, namely three-dimensional protein structure.
Citations
|
249
|
The functional data model and the data language daplex
– Shipman
- 1981
|
|
211
|
Deriving production rules for constraint maintenance
– Ceri, Widom
- 1990
|
|
121
|
Logic for Improving Integrity Checking in Relational Data Bases
– Nicolas
- 1982
|
|
97
|
as an active database: Constraints and triggers
– Ode
- 1991
|
|
83
|
A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
– Bry, Decker, et al.
- 1988
|
|
61
|
Object-Oriented Databases: A Semantic Data Model Approach
– Gray, Kulkarni, et al.
- 1992
|
|
45
|
CoLan: a Functional Constraint Language and Its Implementation
– Bassiliades, Gray
- 1994
|
|
28
|
Integrity verification in knowledge bases
– Bry, Manthey, et al.
- 1992
|
|
25
|
The Deductive Synthesis of Database Transactions
– Qian
- 1993
|
|
19
|
Qualified Answers That Reflect User Needs and Preferences
– GAASTERLAND, LOBO
- 1994
|
|
18
|
A Functional DBPL Revealing High Level Optimizations
– Erwig, Lipeck
- 1991
|
|
18
|
A Review of Repair Techniques for Integrity Maintenance
– Fraternali, Paraboschi
- 1993
|
|
14
|
Integrity maintenance in an object-oriented database
– Jagadish, Qian
- 1992
|
|
14
|
Optimising and Executing Daplex Queries Using Prolog
– Paton, Gray
- 1990
|
|
13
|
Constraint Maintenance Using Generated Methods
– Embury, Gray, et al.
- 1994
|
|
11
|
Query Optimisation by Semantic Reasoning
– King
- 1984
|
|
10
|
A Lambda Calculus Approach
– Landin
- 1966
|
|
10
|
CONTEXT: a CONstraint EXplanation Tool
– Urban, Desiderio
- 1992
|
|
9
|
A Functional Programming Approach to Deductive Databases
– Poulovassilis, Small
- 1991
|
|
9
|
an Assertion Language for Integrity Constraint Expression
– ALICE
- 1989
|
|
7
|
Deriving rules for constraint maintenance in an object-oriented database
– Diaz
- 1992
|
|
7
|
The Declarative Expression of Semantic Integrity in a Database of Protein Structure
– Embury, Gray
- 1995
|
|
7
|
Integrity Constraint Enforcement in the Functional Database Language PFL
– Reddi
- 1993
|
|
6
|
Constraint-Based Updates in a Functional Data Model Database
– Embury
- 1994
|
|
5
|
Generating Active Rules from High-Level Specifications
– Diaz, Embury
- 1992
|
|
5
|
Optimisation Studies in a Prolog Object-Oriented Database
– Jiao
- 1992
|
|
2
|
Constraint Description in ADAM
– Bassiliades
- 1993
|
