Modeling Preference Choices in Incomplete Deductive Databases.
Véronique RoyerPublished in: IFIP Congress (1989)
Keyphrases
- deductive databases
- integrity constraints
- disjunctive deductive databases
- fixpoint
- logic programming
- semantic query optimization
- closed world assumption
- query evaluation
- integrity checking
- declarative language
- declarative semantics
- model theoretic
- constraint checking
- logic programming language
- fixpoint semantics
- logical implication
- multiple inheritance
- database
- modeling language
- data exchange
- artificial intelligence