Equivalence and Independence in Controlled Graph-Rewriting Processes.
Géza KulcsárAndrea CorradiniMalte LochauPublished in: ICGT (2018)
Keyphrases
- rewriting systems
- rewriting rules
- graph representation
- graph structure
- structured data
- graph theory
- process model
- directed graph
- graph model
- graph data
- graph theoretic
- graph databases
- graph partitioning
- database
- graph mining
- directed acyclic graph
- query rewriting
- datalog programs
- rewrite rules
- bipartite graph
- random walk