swMATH15780MaRDI QIDQ27652FDOQ27652
Author name not available (Why is that?)
Official website: https://www.w3.org/TR/xpath20/
Cited In (only showing first 100 items - show all)
- Model checking hybrid logics (with an application to semistructured data)
- Transformation of structure-shy programs with application to XPath queries and strategic functions
- XML graphs in program analysis
- A WSDL-based type system for asynchronous WS-BPEL processes
- ++Spicy
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Frontiers of tractability for typechecking simple XML transformations
- Efficient processing of partially specified twig pattern queries
- Computational complexity of the problem of tree generation under fine-grained access control policies
- Queries on XML streams with bounded delay and concurrency
- The Web services resource framework in a peer-to-peer context
- Least common container of tree pattern queries and its applications
- Tight lower bounds for query processing on streaming and external memory data
- Expressive path queries on graph with data
- Reasoning about XML update constraints
- Worst-case optimal algorithm for XPath evaluation over XML streams
- Algebraic specialization of generic functions for recursive types
- Constraint-aware schema transformation
- Hilbert-style axiomatization for hybrid XPath with data
- Querying the unary negation fragment with regular path expressions
- Title not available (Why is that?)
- From searching text to querying XML streams
- Streamable fragments of forward XPath
- Efficient filtering of XML documents with XPath expressions
- Axiomatizing the logical core of XPath 2.0
- Transaction management in RDBMSs with XML support
- Transformation of XML data using updates without side effects
- XPath and modal logics of finite DAG's
- XML compression techniques: A survey and comparison
- Axiomatizations for downward XPath on data trees
- Modelling dynamic web data
- Conjunctive query containment over trees using schema information
- Dynamic class hierarchy management for multi-version ontology-based personalization
- Querying a graph database -- language selection and performance considerations
- Efficient processing of ordered XML twig pattern matching based on extended Dewey
- Structural characterizations of the navigational expressiveness of relation algebras on a tree
- Complete axiomatizations for XPath fragments
- Semantic acyclicity on graph databases
- Determinacy and query rewriting for conjunctive queries and views
- Dynamically querying possibilistic XML data
- Schemas for unordered XML on a DIME
- Scrap your boilerplate with XPath-like combinators
- Rewriting of visibly pushdown languages for XML data integration
- Implementation and Application of Automata
- Minimal type inference for linked data consumers
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
- Bounded Delay and Concurrency for Earliest Query Answering
- The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates
- Memory lower bounds for XPath evaluation over XML streams
- A run-time system for efficient execution of scientific workflows on distributed environments
- Some modal aspects of XPath
- Implementing metcast in Scheme
- On the Notion of an XML Key
- Alternating automata on data trees and XPath satisfiability
- Relative expressive power of navigational querying on graphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- XPath-logic and XPathLog: A logic-programming style XML data manipulation language
- TRELLIS
- TulaFale
- TIMBER
- LoLA
- TeXmacs
- ROADRUNNER
- BPEL2oWFN
- XQuery
- SPARQL
- pyGridWare
- Facile
- Rath
- JXTA
- Likelog
- Rfuzzy
- Polyp
- MetaOCaml
- KLAIM
- LIME
- MYSTIQ
- ProbView
- TAX
- XPi
- Pcoq
- XCentric
- Jena
- causaleffect
- XMLTK
- Ltur
- nSPARQL
- Neo4J
- Data-Fu
- CDuce
- HTab
- XIRQL
- XSEarch
- XMill
- XDuce
- XCheck
- ToXgene
- Xproj
- JViews
This page was built for software: XPath
