Logic and Deductive Databases.
Claus KaldeichPublished in: Relational Databases and their Extensions (1988)
Keyphrases
- deductive databases
- logic programming
- declarative semantics
- active rules
- model theoretic
- integrity constraints
- fixpoint
- logic programs
- disjunctive deductive databases
- semantic query optimization
- semantics of logic programs
- query evaluation
- integrity checking
- general logic programs
- classical logic
- logical implication
- answer sets
- logic programming language
- stable models
- nonmonotonic reasoning
- hypothetical reasoning
- closed world assumption
- constraint checking
- programming language
- knowledge base
- declarative language
- knowledge representation
- multi valued
- multiple inheritance
- autoepistemic logic
- fixpoint semantics
- defeasible logic
- automated reasoning
- modal logic