Applying Restriction Constraints to Deductive Databases.
Domenico AquilinoPatrizia AsirelliChiara RensoFranco TuriniPublished in: Ann. Math. Artif. Intell. (1997)
Keyphrases
- deductive databases
- constraint checking
- integrity constraints
- semantic query optimization
- logic programming
- disjunctive deductive databases
- fixpoint
- query evaluation
- declarative language
- event calculus
- integrity checking
- model theoretic
- closed world assumption
- declarative semantics
- logical implication
- constraint satisfaction
- query processing
- global constraints
- logic programs