Characterizations for XPath_R()

DOI10.1007/978-3-030-88853-4_20OpenAlexW3204058141MaRDI QIDQ2148804FDOQ2148804

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

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

zbMATH Keywords

characterizationbisimulationXPathdata logics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

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

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)