Login / Signup
Checking the Integrity of Transactional Mechanisms.
Daniel Fryer
Mike Dai Qin
Jack Sun
Kah Wai Lee
Angela Demke Brown
Ashvin Goel
Published in:
ACM Trans. Storage (2014)
Keyphrases
</>
integrity checking
mechanism design
constraint checking
social networks
computational model
long lived
database
data sets
databases
information retrieval
mobile devices
integrity constraints