Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers.
Véronique BenzakenXavier SchaeferPublished in: ECOOP (1997)
Keyphrases
- integrity constraints
- object oriented
- database schema
- deductive databases
- logic rules
- active rules
- relational databases
- query answering
- constraint checking
- integrity checking
- knowledge management
- inclusion dependencies
- xml documents
- data management
- database design
- management system
- functional dependencies
- object oriented databases
- database transactions
- information systems
- database applications
- data model
- databases
- conjunctive queries
- first order logic
- programming language
- database systems