Concurrency and Conflict in CSP.
Marta Z. KwiatkowskaIain PhillipsPublished in: Theory and Formal Methods (1993)
Keyphrases
- constraint satisfaction problems
- decomposition methods
- concurrency control
- constraint satisfaction
- conflict resolution
- database systems
- constraint propagation
- constraint programming
- arc consistency
- tree decompositions
- arc consistency algorithm
- np hard
- tree decomposition
- case study
- concurrent execution
- software systems
- data flow
- database
- constraint networks
- probabilistic reasoning
- constraint solving
- nested transactions
- constraint graph
- closest string
- databases