Sciweavers

Share
114 search results - page 1 / 23
» A Typed Higher-Order Calculus for Querying XML Databases
Sort
View
ADC
2008
Springer
146views Database» more  ADC 2008»
10 years 7 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
POPL
1990
ACM
10 years 5 months ago
Higher-Order Modules and the Phase Distinction
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
Robert Harper, John C. Mitchell, Eugenio Moggi
PODS
2008
ACM
204views Database» more  PODS 2008»
11 years 1 months ago
Annotated XML: queries and provenance
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
J. Nathan Foster, Todd J. Green, Val Tannen
ADC
2006
Springer
145views Database» more  ADC 2006»
10 years 7 months ago
Dynamic labeling schemes for ordered XML based on type information
With the increasing popularity of XML, there arises the need for managing and querying information in this form. Several query languages, such as XQuery, have been proposed which ...
Damien K. Fisher, Franky Lam, William M. Shui, Ray...
ICDT
2001
ACM
189views Database» more  ICDT 2001»
10 years 6 months ago
A Semi-monad for Semi-structured Data
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 ...
Mary F. Fernández, Jérôme Sim&...
books