Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions

DOI10.1016/j.jlamp.2022.100841OpenAlexW4309951211MaRDI QIDQ2683030

Matthias Barkowsky, Holger Giese

Publication date: 3 February 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100841

zbMATH Keywords

graph pattern matchinghost-graph-sensitivenested graph conditionsRETE

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items

Specification and modelling of computing systems through graphs and graph transformation

Uses Software

• GrGen
• Henshin
• Algorithm 97

Cites Work

• Graph minors. III. Planar tree-width
• On the complexity of H-coloring
• Fundamentals of algebraic graph transformation
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• Correctness of high-level transformation systems relative to nested conditions
• A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth