A Logic-Based Integration of Active and Deductive Databases.
Alvaro A. A. FernandesM. Howard WilliamsNorman W. PatonPublished in: New Gener. Comput. (1997)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- query evaluation
- disjunctive deductive databases
- integrity checking
- semantic query optimization
- fixpoint
- closed world assumption
- declarative semantics
- knowledge representation
- active databases
- model theoretic
- declarative language
- stable models
- semantics of logic programs
- logical implication
- general purpose
- metadata
- data analysis