An Operator for Composing Deductive Databases with Theories of Constraints.
Domenico AquilinoPatrizia AsirelliChiara RensoFranco TuriniPublished in: LPNMR (1995)
Keyphrases
- deductive databases
- constraint checking
- integrity constraints
- query evaluation
- logic programming
- integrity checking
- semantics of logic programs
- closed world assumption
- semantic query optimization
- fixpoint
- disjunctive deductive databases
- model theoretic
- declarative semantics
- declarative language
- stable models
- distributed databases
- databases
- database
- general purpose
- logical implication
- object oriented
- expert systems
- artificial intelligence