Enhancing Verification Efficiency via Dynamically Focused, Selective and Intrusive Transactions.

Published in: MTV (2008)

Keyphrases

database
high efficiency
real time
databases
case study
database systems
model checking
artificial intelligence
computational complexity
query processing
transaction processing
dynamically changing
formal verification
database transactions