Static Analysis of Transactions for Conservative Multigranularity Locking.
Giuseppe AmatoFosca GiannottiGianni MainettoPublished in: DBPL (1997)
Keyphrases
- static analysis
- concurrency control
- transaction processing systems
- transaction processing
- dynamic analysis
- optimistic concurrency control
- source code
- database systems
- distributed databases
- malicious code
- distributed database systems
- update transactions
- locking protocol
- test generation
- transaction management
- deadlock free
- regular expressions
- abstract interpretation
- concurrent execution
- java card
- symbolic execution
- test suite
- database management systems
- database
- data objects
- transaction model
- databases
- b tree
- data access
- acid properties
- data warehouse