GRAIL: Checking Transaction Isolation Violations with Graph Queries.
Stefania DumbravaZhao JinBurcu Kulahcioglu OzkanJingxuan QiuPublished in: ICSE Companion (2024)
Keyphrases
- database
- query language
- disk resident
- query processing
- graph representation
- user queries
- graph structure
- query evaluation
- efficient processing
- response time
- random walk
- graph databases
- retrieval systems
- directed graph
- graph theory
- tree patterns
- database operations
- database queries
- graph model
- flow graph
- connected components
- range queries
- structured data
- web search engines
- constraint checking
- query graph
- real world graphs
- main memory
- rdf graphs
- weighted graph
- graph matching
- query terms
- information retrieval systems
- multi dimensional
- database systems