Reachability under Contextual Locking.

Rohit Chadha P. Madhusudan Mahesh Viswanathan

Published in: TACAS (2012)

Keyphrases

contextual information
concurrency control
context sensitive
state space
transitive closure
fine granularity
context dependent
database systems
object oriented database management systems
machine learning
distributed databases
data objects
management system
information retrieval
neural network
real time
database