Pages that link to "Item:Q3546365"
From MaRDI portal
The following pages link to XPath satisfiability in the presence of DTDs (Q3546365):
Displayed 26 items.
- On the data complexity of consistent query answering (Q269317) (← links)
- Deciding twig-definability of node selecting tree automata (Q269327) (← links)
- Static analysis of navigational XPath over graph databases (Q269725) (← links)
- Solutions in XML data exchange (Q389225) (← links)
- Repairing XML functional dependency violations (Q424778) (← links)
- Frontiers of tractability for typechecking simple XML transformations (Q878753) (← links)
- Structural characterizations of the navigational expressiveness of relation algebras on a tree (Q896017) (← links)
- Schemas for unordered XML on a DIME (Q905687) (← links)
- Reasoning about XML with temporal logics and automata (Q975873) (← links)
- Reasoning about integrity constraints for tree-structured data (Q1650919) (← links)
- Conjunctive query containment over trees using schema information (Q1702301) (← links)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- On the complexity of tree pattern containment with arithmetic comparisons (Q1944129) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- Early nested word automata for XPath query answering on XML streams (Q2344752) (← links)
- Hilbert-Style Axiomatization for Hybrid XPath with Data (Q2835860) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Satisfiability of Constraint Specifications on XML Documents (Q2945725) (← links)
- Future-Looking Logics on Data Words and Trees (Q3182936) (← links)
- XML Schema Mappings (Q3189647) (← links)
- Complexity of Data Tree Patterns over XML Documents (Q3599134) (← links)
- (Q5155666) (← links)
- Streamable Fragments of Forward XPath (Q5200047) (← links)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
- Efficient and Expressive Tree Filters (Q5458857) (← links)