Using eternity variables to specify and prove a serializable database interface.

Wim H. Hesselink

Published in: Sci. Comput. Program. (2004)

Keyphrases

database interface
application development
database systems
entity relationship
concurrency control
database
knowledge base
case study
data analysis
relational databases
integrity constraints
complex objects
correctness criterion