Associative Processing in Standard and Deductive Databases.
K. HahnePaul PilgramDieter SchüttHeinz SchweppeG. WolfPublished in: IWDM (1985)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- query evaluation
- fixpoint
- disjunctive deductive databases
- integrity checking
- closed world assumption
- semantic query optimization
- declarative language
- model theoretic
- constraint checking
- declarative semantics
- artificial intelligence
- datalog programs
- data types
- fixpoint semantics
- database systems
- machine learning