Localized RETE for incremental graph queries with nested graph conditions

DOI10.46298/LMCS-22(1:4)2026MaRDI QIDQ6858373zbMATH OpenFDO

Authors Matthias Barkowsky, Holger Giese

Publication date 13 February 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-22(1:4)2026

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A relational model of data for large shared data banks
• Correctness of high-level transformation systems relative to nested conditions
• Fundamentals of algebraic graph transformation
• Graph Transformations
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
• scientific article; zbMATH DE number 2086957 (Why is no real title available?)
• Parallel composition of graph grammars
• VF2++ -- an improved subgraph isomorphism algorithm

This page was built for publication: Localized RETE for incremental graph queries with nested graph conditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6858373)