Recommendations
- Axiomatizing the logical core of XPath 2.0
- Containment and equivalence for a fragment of XPath
- scientific article; zbMATH DE number 7407777
- The complexity of query containment in expressive fragments of XPath 2.0
- Hilbert-style axiomatization for hybrid XPath with data
- Axiomatizations for downward XPath on data trees
- scientific article; zbMATH DE number 1953139
- Structural properties of XPath fragments
- scientific article; zbMATH DE number 1953125
Cites work
- scientific article; zbMATH DE number 986406 (Why is no real title available?)
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 1047502 (Why is no real title available?)
- scientific article; zbMATH DE number 757647 (Why is no real title available?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- An axiomatization for until and since over the reals without the IRR rule
- An equational axiomatization of dynamic negation and relational composition
- Axiomatizing the logical core of XPath 2.0
- Dynamic algebras: Examples, constructions, applications
- Finite models constructed from canonical formulas
- Modal frame correspondences and fixed-points
- Modal logic
- Normal forms in modal logic
- Peirce Algebras and Boolean Modules
- Solution of the Robbins problem
- Some modal aspects of XPath
- Structural properties of XPath fragments
- The complexity of query containment in expressive fragments of XPath 2.0
- Theory Is Forever
Cited in
(13)- Hilbert-style axiomatization for hybrid XPath with data
- Data graphs with incomplete information (and a way to complete them)
- Structural properties of XPath fragments
- An algebraic glimpse at bunched implications and separation logic
- Axiomatizing the logical core of XPath 2.0
- Structural characterizations of the navigational expressiveness of relation algebras on a tree
- Axiomatizations for downward XPath on data trees
- On regular paths with counting and data tests
- Containment and equivalence for a fragment of XPath
- Some modal aspects of XPath
- scientific article; zbMATH DE number 1953125 (Why is no real title available?)
- scientific article; zbMATH DE number 7407777 (Why is no real title available?)
- Limiting Until in ordered tree query languages
This page was built for publication: Complete axiomatizations for XPath fragments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q975868)
