A rule-based procedure for graph query solving

DOI10.1007/978-3-031-36709-0_9zbMATH Open1545.68056MaRDI QIDQ6535512

Frédéric Prost, Dominique Duval, Rachid Echahed

Publication date: 12 January 2024

zbMATH Keywords

rewriting systemsgraph databasesgraph query solving

Mathematics Subject Classification ID

Database theory (68P15) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verifying graph transformation systems with description logics
• A navigational logic for reasoning about graph properties
• Parallel rewriting of attributed graphs
• AGREE – Algebraic Graph Rewriting with Controlled Embedding
• On the Operationalization of Graph Queries with Generalized Discrimination Networks
• A needed narrowing strategy
• Correctness of high-level transformation systems relative to nested conditions
• On optimizing an SQL-like nested query
• Handbook of Graph Grammars and Computing by Graph Transformation
• Term Rewriting and All That
• A Dynamic Logic for Termgraph Rewriting
• Graph Transformations
• Reasoning formally about database queries and updates

This page was built for publication: A rule-based procedure for graph query solving