Actor-Oriented Specification of Deontic Integrity Constraints.
Roel J. WieringaJohn-Jules Ch. MeyerPublished in: MFDBS (1991)
Keyphrases
- integrity constraints
- active rules
- deductive databases
- conceptual schema
- constraint language
- integrity checking
- conjunctive queries
- functional dependencies
- inclusion dependencies
- query answering
- constraint checking
- database schema
- xml documents
- database integrity
- database transactions
- consistent query answering
- xml schema
- schema integration
- active databases
- logic rules
- logic programs