Keyphrases
- rewriting systems
- rewriting rules
- graph structure
- termination analysis
- graph based algorithm
- graph theory
- graph representation
- connected components
- directed graph
- presburger arithmetic
- term rewriting
- directed acyclic graph
- database
- structured data
- random graphs
- stable set
- random walk
- rewrite rules
- graph databases
- graph construction
- query rewriting
- bipartite graph
- graph matching
- conjunctive queries
- database systems