Weak-consistency specification via visibility relaxation.

Michael Emmi Constantin Enea

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

Keyphrases

lower bound
high level
iterative algorithms
global consistency
formal specification
probabilistic relaxation
consistency checking
maintaining consistency
database
databases
genetic algorithm
information systems
database systems
relational databases
user defined
specification language