The Nonmonotonic Semantics of Active Rules in Deductive Databases.
Carlo ZanioloPublished in: DOOD (1997)
Keyphrases
- deductive databases
- active rules
- logic programming
- model theoretic
- multiple inheritance
- integrity constraints
- termination analysis
- semantics of logic programs
- fixpoint
- logic programs
- query evaluation
- fixpoint semantics
- closed world assumption
- nonmonotonic reasoning
- knowledge representation
- programming language
- autoepistemic logic
- default logic
- stable models
- database
- schema mappings
- data management
- database systems
- knowledge base