Formal verification of a new optimistic concurrency control algorithm for temporal databases.

Achraf Makni Rafik Bouaziz Faïez Gargouri

Published in: SEDE (2007)

Keyphrases

temporal databases
formal verification
model checking
temporal data
bounded model checking
model checker
symbolic model checking
relational databases
database
database systems
automated verification
temporal aggregation
databases
database schema
temporal logic
data warehouse
domain knowledge
data sets