Proving Finite Satisfiability of Deductive Databases.
François BryRainer MantheyPublished in: CSL (1987)
Keyphrases
- deductive databases
- logical implication
- integrity constraints
- logic programming
- query evaluation
- declarative language
- integrity checking
- semantic query optimization
- disjunctive deductive databases
- fixpoint
- satisfiability problem
- propositional logic
- constraint checking
- declarative semantics
- model theoretic
- phase transition
- np complete
- artificial intelligence
- closed world assumption
- semantics of logic programs
- stable models
- object identity
- data management
- general purpose