XPath satisfiability in the presence of DTDs

DOI10.1145/1346330.1346333MaRDI QIDQ3546365zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Michael Benedikt, Wenfei Fan, Floris Geerts

Publication date 21 December 2008

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1942/956

zbMATH Keywords

containmentDTDssatisfiabilityXMLXPath

Mathematics Subject Classification ID

Database theory (68P15) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Database Programming Languages
• Decidability of downward XPath
• scientific article; zbMATH DE number 1953139
• Decidable classes of documents for XPath
• The complexity of query containment in expressive fragments of XPath 2.0

Cited in

(36)

• Reasoning about integrity constraints for tree-structured data
• Conjunctive query containment over trees using schema information
• An automata-theoretic approach to the verification of distributed algorithms
• On the complexity of tree pattern containment with arithmetic comparisons
• Axiomatizing the logical core of XPath 2.0
• Early nested word automata for XPath query answering on XML streams
• On the data complexity of consistent query answering
• Deciding twig-definability of node selecting tree automata
• Static analysis of navigational XPath over graph databases
• On the satisfiability problem for SPARQL patterns
• Hilbert-style axiomatization for hybrid XPath with data
• On core xpath with inflationary fixed points
• Testing XML constraint satisfiability
• Some modal aspects of XPath
• Satisfiability of Constraint Specifications on XML Documents
• Decidability of downward XPath
• Decidable classes of documents for XPath
• Future-Looking Logics on Data Words and Trees
• XML schema mappings, data exchange and metadata management
• Satisfiability for SCULPT-schemas for CSV-like data
• The complexity of XPath query evaluation and XML typing
• Complexity of Data Tree Patterns over XML Documents
• Solutions in XML data exchange
• Repairing XML functional dependency violations
• scientific article; zbMATH DE number 1953139 (Why is no real title available?)
• scientific article; zbMATH DE number 7407777 (Why is no real title available?)
• Streamable fragments of forward XPath
• Complexity of two-variable logic on finite trees
• Efficient and Expressive Tree Filters
• Database Programming Languages
• First order Büchi automata and their application to verification of LTL specifications
• Data-aware hybrid tableaux
• Frontiers of tractability for typechecking simple XML transformations
• Structural characterizations of the navigational expressiveness of relation algebras on a tree
• Schemas for unordered XML on a DIME
• Reasoning about XML with temporal logics and automata

Describes a project that uses

Uses Software

• XQuery
• XPath

This page was built for publication: XPath satisfiability in the presence of DTDs

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