Compiling Constraint-Checking Programs from First-Order Formulas.
Lawrence J. HenschenWilliam McCuneShamim A. NaqviPublished in: Advances in Data Base Theory (1982)
Keyphrases
- constraint checking
- integrity constraints
- database transactions
- distributed databases
- deductive databases
- horn clauses
- first order logic
- predicate calculus
- federated databases
- artificial intelligence
- action theories
- databases
- logical formulas
- decomposable negation normal form
- quantifier elimination
- software engineering
- data mining