Another variation on the common subexpression problem
Discrete Mathematics - Special issue on combinatorics and algorithms
Finding Regular Simple Paths in Graph Databases
SIAM Journal on Computing
Regular path queries with constraints
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handbook of formal languages, vol. 3
Languages, automata, and logic
Handbook of formal languages, vol. 3
Expressiveness of structured document query languages based on attribute grammars
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Path constraints on semistructured and structured data
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressive and efficient pattern languages for tree-structured data (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Regular expression pattern matching for XML
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Integrating contents and structure in text retrieval
ACM SIGMOD Record
Optimizing Regular Path Expressions Using Graph Schemas
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Transformation of Documents and Schemas by Patterns and Contextual Conditions
PODP '96 Proceedings of the Third International Workshop on Principles of Document Processing
Locating Matches of Tree Patterns in Forests
Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
Towards static type checking for XSLT
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Automata theory for XML researchers
ACM SIGMOD Record
Structural Properties of XPath Fragments
ICDT '03 Proceedings of the 9th International Conference on Database Theory
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Techniques for the evaluation of XML queries: a survey
Data & Knowledge Engineering
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Information Processing Letters
Parametric polymorphism for XML
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
XPath satisfiability in the presence of DTDs
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Semantic characterizations of navigational XPath
ACM SIGMOD Record
Structural properties of XPath fragments
Theoretical Computer Science - Database theory
Type inference for unique pattern matching
ACM Transactions on Programming Languages and Systems (TOPLAS)
XML access control using static analysis
ACM Transactions on Information and System Security (TISSEC)
Regular expression filters for XML
Journal of Functional Programming
Theoretical Computer Science - Foundations of software science and computation structures
Journal of Computer and System Sciences
Introducing structure management in automatic reference resolution: An XML-based approach
Information Processing and Management: an International Journal
Online evaluation of regular tree queries
Nordic Journal of Computing
XPath satisfiability in the presence of DTDs
Journal of the ACM (JACM)
Fast and compact regular expression matching
Theoretical Computer Science
Faster Regular Expression Matching
ICALP '09 Proceedings of the 36th International Colloquium on Automata, Languages and Programming: Part I
Parametric polymorphism for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Collaborative schema construction using regular sequence types
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Counting and equality constraints for multitree automata
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
XML schema, tree logic and sheaves automata
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Cardinality constraints in disjunctive deductive databases
Proceedings of the 2nd international conference on Semantics in databases
Regular expression matching with multi-strings and intervals
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Regular hedge language factorization revisited
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Web browsers as service-oriented clients integrated with web services
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Satisfiability of XPath queries with sibling axes
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
A pushdown machine for recursive XML processing
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Linear systems for regular hedge languages
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Hi-index | 0.00 |
Query languages for XML often use path expressions to locate elements in XML documents. Path expressions are regular expressions such that underlying alphabets represent conditions on nodes. Path expressions represent conditions on paths from the root, but do not represent conditions on siblings, siblings of ancestors, and descendants of such siblings. In order to capture such conditions, we propose to extend underlying alphabets. Each symbol in an extended alphabet is a triplet (e1, a, e2), where a is a condition on nodes, and e1 (e2) is a condition on elder (resp. younger) siblings and their descendants; e1 and e2 are represented by hedge regular expressions, which are as expressive as hedge automata (hedges are ordered sequences of trees). Nodes matching such an extended path expression can be located by traversing the XML document twice. Furthermore, given an input schema and a query operation controlled by an extended path expression, it is possible to construct an output schema. This is done by identifying, where in the input schema the given extended path expression is satisfied.