Filtering Data Flow in Deductive Databases.
Michael KiferEliezer L. LozinskiiPublished in: ICDT (1986)
Keyphrases
- deductive databases
- data flow
- integrity constraints
- database machine
- logic programming
- query evaluation
- disjunctive deductive databases
- control flow
- fixpoint
- semantic query optimization
- integrity checking
- object oriented software
- data transfer
- constraint checking
- declarative semantics
- systolic array
- declarative language
- model theoretic
- object oriented
- digital signal processing
- multiple inheritance
- datalog programs
- closed world assumption
- metadata
- relational databases
- expert systems
- data analysis