Minimalism, Justification and Non-Monotonicity in Deductive Databases.
Nicole BidoitRichard HullPublished in: J. Comput. Syst. Sci. (1989)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- query evaluation
- declarative language
- disjunctive deductive databases
- semantic query optimization
- integrity checking
- model theoretic
- logic programs
- declarative semantics
- constraint checking
- fixpoint semantics
- closed world assumption
- stable models
- hypothetical reasoning
- artificial intelligence
- conjunctive queries
- general purpose