Verification of evolving graph-structured data under expressive path constraints

DOI10.4230/LIPICS.ICDT.2016.15MaRDI QIDQ5276195zbMATH OpenFDO

Authors Diego Calvanese, Magdalena Ortiz, Mantas Šimkus

Publication date 14 July 2017

Full work available at URL https://doi.org/10.4230/LIPICS.ICDT.2016.15

zbMATH Keywords

graph databasesdescription logicsstatic verificationpath constraints

Mathematics Subject Classification ID

Data structures (68P05) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Managing Change in Graph-Structured Data Using Description Logics
• Path constraints in semistructured databases
• Mathematical Foundations of Computer Science 2004
• Path constraints in semistructured data
• scientific article; zbMATH DE number 1735904

Cited in

(8)

• Actions over core-closed knowledge bases
• Exploring non-regular extensions of propositional dynamic logic with description-logics features
• On the Complexity of Finding Set Repairs for Data-Graphs
• An epistemic approach to model uncertainty in data-graphs
• Certified Graph View Maintenance with Regular Datalog
• Containment of regular path queries under path constraints
• On the data complexity of consistent query answering over graph databases
• Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features

This page was built for publication: Verification of evolving graph-structured data under expressive path constraints

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