Checking Transaction Isolation Violations Using Graph Queries.
Stefania DumbravaZhao JinBurcu Kulahcioglu OzkanJingxuan QiuPublished in: ICGT (2024)
Keyphrases
- database
- query processing
- query language
- graph model
- query evaluation
- range queries
- disk resident
- query graph
- graph representation
- efficient processing
- user queries
- graph theory
- structured data
- web search engines
- directed graph
- weighted graph
- query formulation
- tree patterns
- response time
- reachability queries
- query logs
- graph structure
- spanning tree
- random walk
- transaction management
- flow graph
- data sources