Possible and Guaranteed Concurrency in CSP.
Marta KwiatkowskaIain C. C. PhillipsPublished in: STRICT (1995)
Keyphrases
- constraint satisfaction problems
- concurrency control
- constraint satisfaction
- tree decomposition
- arc consistency
- constraint programming
- constraint propagation
- database systems
- decomposition methods
- concurrent execution
- real time
- data flow
- arc consistency algorithm
- dynamic allocation
- non binary
- constraint networks
- distributed databases
- special case
- information systems
- neural network
- data sets