Providing Semantics for Indefinite Deductive Databases.
Sei ChunJonghoon ChunPublished in: CIKM (1998)
Keyphrases
- deductive databases
- model theoretic
- logic programming
- declarative semantics
- closed world assumption
- fixpoint semantics
- integrity constraints
- active rules
- fixpoint
- query evaluation
- semantics of logic programs
- declarative language
- semantic query optimization
- stable models
- integrity checking
- logic programs
- disjunctive deductive databases
- multiple inheritance
- constraint checking
- datalog programs
- formal semantics
- knowledge representation
- knowledge base
- semantic representation
- nonmonotonic reasoning
- object identity
- answer set programming
- default logic
- answer sets