265 search results - page 36 / 53 » On the Intersection of XPath Expressions |
ENTCS
2008
13 years 8 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Nested-word automata (NWAs) are a language formalism that helps bridge the gap between finite-state automata and pushdown automata. NWAs can express some context-free properties, ...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
The nature of semistructured data in web collections is evolving. Increasingly, XML web documents (or documents exchanged via web services) are valid with regard to a schema, yet ...
SIGMOD
2002
ACM
14 years 8 months ago
2002
ACM
XML is quickly becoming the de facto standard for data exchange over the Internet. This is creating a new set of data management requirements involving XML, such as the need to st...
DEXAW
2009
IEEE
14 years 3 months ago
2009
IEEE
—Millions of people are using the World Wide Web and are publishing content online. This user generated content contains many information relevant not only to marketing but to co...