Characterizations for XPath_R()

DOI10.1007/978-3-030-88853-4_20MaRDI QIDQ2148804zbMATH OpenOpenAlexFDO

Authors Sergio Abriola, Nicolas Gonzalez

Publication date 24 June 2022

Full work available at URL https://doi.org/10.1007/978-3-030-88853-4_20

zbMATH Keywords

characterizationbisimulationXPathdata logics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Model theory of XPath on data trees. I: Bisimulation and characterization
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Definability for downward and vertical XPath on data trees
• Axiomatizations for downward XPath on data trees
• Structural characterizations of the navigational expressiveness of relation algebras on a tree

Cites work

• Modal logic
• Model theory of XPath on data trees. I: Bisimulation and characterization
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Two-variable logic on data trees and XML reasoning

Describes a project that uses

Uses Software

• XPath

This page was built for publication: Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\)

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