The serializability problem for a temporal logic of transaction queries.
Walter HussakPublished in: J. Appl. Non Class. Logics (2008)
Keyphrases
- temporal logic
- concurrency control
- model checking
- nested transactions
- transaction management
- modal logic
- database
- satisfiability problem
- query language
- dynamic constraints
- concurrent systems
- query processing
- correctness criterion
- concurrency control protocols
- verification method
- correctness criteria
- linear temporal logic
- belief revision
- computation tree logic
- mazurkiewicz traces
- database systems
- query evaluation
- transaction model
- distributed databases
- range queries
- transaction processing
- temporal knowledge
- distributed database systems
- b tree
- snapshot isolation
- transition systems
- temporally extended
- integrity constraints
- answering queries
- formal methods
- probabilistic databases
- bounded model checking
- data sources
- automata theoretic