On the complexity of checking transactional consistency.

Ranadeep Biswas Constantin Enea

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

consistency checking
worst case
neural network
space complexity
fault tolerant
genetic algorithm
artificial intelligence
computational complexity
mobile devices
constraint satisfaction
query answering
complexity analysis
path consistency
maintaining consistency