A Stream-Oriented Approach to Parallel Processing for Deductive Databases.
Yasushi KiyokiKazuhiko KatoNobori YamaguchiTakashi MasudaPublished in: IWDM (1987)
Keyphrases
- parallel processing
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- semantic query optimization
- query evaluation
- distributed processing
- data streams
- disjunctive deductive databases
- processing speed
- integrity checking
- model theoretic
- computational power
- sliding window
- real time
- declarative semantics
- pc cluster
- constraint checking
- parallel computation
- ibm sp
- parallel architectures
- artificial intelligence
- closed world assumption
- databases
- logic programs
- datalog programs
- data analysis
- knowledge base