A Specification Language for Static, Dynamic and Deontic Integrity Constraints.
John-Jules Ch. MeyerHans WeigandRoel J. WieringaPublished in: MFDBS (1989)
Keyphrases
- integrity constraints
- specification language
- deductive databases
- integrity checking
- formal specification
- functional dependencies
- database integrity
- programming language
- description language
- query answering
- inclusion dependencies
- database transactions
- null values
- conjunctive queries
- constraint checking
- dynamic environments
- knowledge representation
- active rules
- foreign key
- knowledge base
- databases