The Complexity of Testing Predicate Locks.

Harry B. Hunt III Daniel J. Rosenkrantz

Published in: SIGMOD Conference (1979)

Keyphrases

worst case
neural network
test cases
data sets
real world
decision making
search algorithm
first order logic
complexity analysis