On Harmonically Combining Active, Object-Oriented, and Deductive Databases.
David W. EmbleyStephen W. LiddleYiu-Kai NgPublished in: ADBIS (1996)
Keyphrases
- deductive databases
- object oriented
- integrity constraints
- logic programming
- fixpoint
- query evaluation
- disjunctive deductive databases
- semantic query optimization
- integrity checking
- programming language
- constraint checking
- relational databases
- declarative language
- object oriented database systems
- database applications
- closed world assumption
- model theoretic
- data model
- database design
- multiple inheritance
- query language
- logical implication
- fixpoint semantics
- object oriented databases
- object identity
- declarative semantics
- datalog programs
- logic programs
- high level
- knowledge base
- data mining
- databases
- query processing