A logical approach to graph databases

DOI10.1016/J.JLAMP.2024.100997MaRDI QIDQ6615562zbMATH OpenFDO

Authors Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella

Publication date 8 October 2024

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.2024.100997

zbMATH Keywords

graph databaseslogic of graphsquery languages

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A navigational logic for reasoning about graph properties
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Attributed graph transformation with node type inheritance
• Correctness of high-level transformation systems relative to nested conditions
• Fundamentals of algebraic graph transformation
• Graph structure and monadic second-order logic. A language-theoretic approach
• Graph Transformations
• Merging graph-based and rule-based computation: The language G-Log
• Querying graphs
• Querying regular graph patterns
• Regular queries on graph databases
• Symbolic graphs for attributed graph constraints
• Towards a navigational logic for graphical structures

This page was built for publication: A logical approach to graph databases

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