XPath
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A survey on tree matching and XML retrieval
- Alternating automata on data trees and XPath satisfiability
- Thresholded semantic framework for a fully integrated fuzzy logic language
- A type theory for memory allocation and data layout
- scientific article; zbMATH DE number 1953125 (Why is no real title available?)
- scientific article; zbMATH DE number 7407777 (Why is no real title available?)
- Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices
- Monadic datalog and regular tree pattern queries
- On the minimization of XPath queries
- The query language to XML documents connected by XLink links
- Foundations of RDF Databases
- Unary negation
- 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
- scientific article; zbMATH DE number 1964836 (Why is no real title available?)
- Model checking hybrid logics (with an application to semistructured data)
- Path constraints in semistructured data
- Early Nested Word Automata for XPath Query Answering on XML Streams
- Approximation and Scoring for XML Data Management
- The fuzzy logic programming language FASILL: design and implementation
- Deciding twig-definability of node selecting tree automata
- Static analysis of navigational XPath over graph databases
- Frontiers of tractability for typechecking simple XML transformations
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Containment for conditional tree patterns
- Evaluating linear XPath expressions by pattern-matching automata
- Compact Representation for Answer Sets of n-ary Regular Queries
- MathLang Translation to Isabelle Syntax
- View-based query answering in description logics: semantics and complexity
- Regular languages with variables on graphs
- On the complexity of tree pattern containment with arithmetic comparisons
- On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
- Efficient processing of partially specified twig pattern queries
- Automata for Positive Core XPath Queries on Compressed Documents
- Conjunctive query containment over trees
- XPath evaluation in linear time
- Computational complexity of the problem of tree generation under fine-grained access control policies
- Queries on XML streams with bounded delay and concurrency
- Structural properties of XPath fragments
- Regular Programming for Quantitative Properties of Data Streams
- Containment and equivalence for a fragment of XPath
- Evaluation of XPath queries against XML streams.
- The Web services resource framework in a peer-to-peer context
- Advanced structural joins using element distribution
- On regular paths with counting and data tests
- Alternating register automata on finite words and trees
- An extension of data automata that captures XPath
- Least common container of tree pattern queries and its applications
- On the hardness of learning queries from tree structured data
- Applying model-checking to solve queries on semistructured data
- Model theory of XPath on data trees. I: Bisimulation and characterization
- Decidability of downward XPath
- scientific article; zbMATH DE number 2030047 (Why is no real title available?)
- Tight lower bounds for query processing on streaming and external memory data
- Multi-adjoint concept lattices with heterogeneous conjunctors and hedges.
- On the tree-transformation power of XSLT
- The complexity of tree automata and XPath on grammar-compressed trees
- Automata for XML -- a survey
- On the minimization of XML schemas and tree automata for unranked trees
- View-based query processing: on the relationship between rewriting, answering and losslessness
- Reasoning about XML update constraints
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
- Expressive path queries on graph with data
- Distributed XML processing: theory and applications
- The implication problem for `closest node' functional dependencies in complete XML documents
- Streaming tree automata
- Navigational and rule-based languages for graph databases
- Worst-case optimal algorithm for XPath evaluation over XML streams
- scientific article; zbMATH DE number 1953139 (Why is no real title available?)
- scientific article; zbMATH DE number 1953140 (Why is no real title available?)
- Query optimization in information integration
- scientific article; zbMATH DE number 2166695 (Why is no real title available?)
- Lower bounds for multi-pass processing of multiple data streams
- Rewriting XPath queries using materialized XPath views
- Related axis: the extension to XPath towards effective XML search
- Numerical constraints on XML data
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- Algebraic specialization of generic functions for recursive types
- Constraint-aware schema transformation
- Controllable Combinatorial Coverage in Grammar-Based Testing
- Merging image databases as an example for information integration
- Free Kleene algebras with domain
- Satisfiability of Constraint Specifications on XML Documents
- Hilbert-style axiomatization for hybrid XPath with data
- Typechecking for XML transformers
- Querying the unary negation fragment with regular path expressions
- Behavioural equivalences for dynamic web data
- Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams
- XML data manipulation in conventional and temporal XML databases: a survey
- scientific article; zbMATH DE number 5016874 (Why is no real title available?)
- Faster bit-parallel algorithms for unordered pseudo-tree matching and tree homeomorphism
- State complexity of operations on input-driven pushdown automata
- From searching text to querying XML streams
- Early nested word automata for XPath query answering on XML streams
- Logics with rigidly guarded data tests
- On the memory requirements of XPath evaluation over XML streams
- Propagating XML constraints to relations
- Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\)
- Colored nested words
This page was built for software: XPath
