A Parallel Multiprocessor Machine Dedicated to Relational and Deductive Databases.
Rubén González-RubioMichel CoupriePublished in: SIGIR (1988)
Keyphrases
- deductive databases
- integrity constraints
- distributed memory
- multiprocessor systems
- logic programming
- fixpoint
- disjunctive deductive databases
- query evaluation
- semantic query optimization
- single processor
- integrity checking
- object identity
- parallel machines
- relational data
- parallel implementation
- declarative language
- closed world assumption
- level parallelism
- shared memory
- model theoretic
- relational databases
- declarative semantics
- database schema
- message passing interface
- logic programs
- constraint checking
- complex objects
- general purpose
- high level
- relational learning