Applying model-checking to solve queries on semistructured data

DOI10.1016/J.CL.2006.11.002MaRDI QIDQ1749228zbMATH OpenOpenAlexFDO

Authors Agostino Dovier, Elisa Quintarelli

Publication date 16 May 2018

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.6594

zbMATH Keywords

CTLmodel-checkingsemistructured databases

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2241909
• Model-checking based data retrieval. An application to semistructured and temporal data.
• Querying incomplete information in semistructured data
• Model checking hybrid logics (with an application to semistructured data)
• scientific article; zbMATH DE number 2089472

Cites work

• A calculus of communicating systems
• An efficient algorithm for computing bisimulation equivalence
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• CCS expressions, finite state processes, and three problems of equivalence
• Containment and equivalence for a fragment of XPath
• Database Theory - ICDT 2005
• scientific article; zbMATH DE number 1670794 (Why is no real title available?)
• scientific article; zbMATH DE number 1692931 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 1215461 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1487860 (Why is no real title available?)
• scientific article; zbMATH DE number 1798186 (Why is no real title available?)
• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• scientific article; zbMATH DE number 2241909 (Why is no real title available?)
• Making prolog more expressive
• Operational and abstract semantics of the query language G-Log
• The complexity of XPath query evaluation and XML typing
• Three Partition Refinement Algorithms

Cited in

(8)

• Schemaless semistructured data revisited -- reinventing Peter Buneman's deterministic semistructured data model
• Model-checking based data retrieval. An application to semistructured and temporal data.
• Semantic consistency checking in building ontology from heterogeneous sources
• Model checking hybrid logics (with an application to semistructured data)
• scientific article; zbMATH DE number 2089472 (Why is no real title available?)
• Computation tree logic model checking based on possibility measures
• Simulation Unification: Beyond Querying Semistructured Data (Invited Talk)
• scientific article; zbMATH DE number 2241909 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lorel
• NuSMV
• XPath
• GraphLog

This page was built for publication: Applying model-checking to solve queries on semistructured data

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