Representing Objects as Modules in Deductive Databases.
Burkhard FreitagPublished in: Workshop on Deductive Databases and Logic Programming (1994)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- object identity
- disjunctive deductive databases
- semantic query optimization
- query evaluation
- fixpoint
- integrity checking
- model theoretic
- declarative language
- closed world assumption
- declarative semantics
- data objects
- hypothetical reasoning
- constraint checking
- stable models
- database
- fixpoint semantics
- artificial intelligence