435 search results - page 10 / 87 » Subsumption for XML types |
ICDT
2001
ACM
14 years 2 days ago
2001
ACM
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...
DEXA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Recent works in XML change detection have focused on detecting changes to ordered or unordered XML documents. However, in real life XML documents may not always be purely...
ICDCIT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Organizations are increasingly using the the eXtensible Markup Language (XML) for document representation and exchange on the Web. To protect an XML document from unautho...
JCDL
2003
ACM
14 years 27 days ago
2003
ACM
The lack of a standard formalism for expressing the semantics of an XML vocabulary is a major obstacle to the development of high-function interoperable digital libraries. XML doc...
CSL
2009
Springer
13 years 11 months ago
2009
Springer
The aim of this paper is to understand the interplay between intersection, universally quantified, and reference types. Putting together the standard typing rules for intersection,...