Local reasoning about storable locks.

Published in: PPDP (2007)

Keyphrases

formal theory
concurrency control
qualitative reasoning
spatial reasoning
database
data mining
information retrieval
artificial intelligence
computer vision
decision making
decision trees
case study
user interface
database management systems