Control of Logic Prosrams Using Integrity Constraints.
Madhur KohliJack MinkerPublished in: Logic Programming Workshop (1983)
Keyphrases
- integrity constraints
- active rules
- integrity checking
- deductive databases
- functional dependencies
- query answering
- conjunctive queries
- constraint checking
- database schema
- xml documents
- database integrity
- constraint language
- inclusion dependencies
- schema integration
- logic programming
- logical rules
- active databases
- database transactions
- automated reasoning
- multi dimensional
- database