Checking the integrity of transactional mechanisms.

Daniel Fryer Dai Qin Jack Sun Kah Wai Lee Angela Demke Brown Ashvin Goel

Published in: FAST (2014)

Keyphrases

constraint checking
integrity checking
integrity constraints
consistency checking
data sets
knowledge base
website
case study
multiscale
data management
fault tolerant
transaction model
reasoning mechanisms
long lived