Replication for logic bipartitioning.
Morgan EnosScott HauckMajid SarrafzadehPublished in: ICCAD (1997)
Keyphrases
- logic programming
- distributed databases
- modal logic
- fault tolerance
- databases
- classical logic
- fault tolerant
- replicated databases
- epistemic logic
- data replication
- genetic algorithm
- set theory
- data partitioning
- multi valued
- natural deduction
- asynchronous circuits
- nonmonotonic logics
- data sets
- knowledge representation
- automated reasoning
- neural network
- artificial intelligence
- case study
- model checking
- data model
- peer to peer