Fernandez M., Simeon J., Wadler P.. An Algebra for XML Query, In Foundations of Software Technology and Theoretical Computer Science, New Delhi, 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....on ours and some of our future plans include adapting to C Duce some of Hosoya s insightful ideas on sequence transformations. C Duce is not the only project that started from or was deeply influenced by XDuce. Among the projects inspired by XDuce those closest to C Duce are Xtatic [9] and XQuery [3, 7]. The goals for Xtatic and C Duce are similar in that they both try to integrate XDuce features in a larger design and less XML specific language. C Duce builds on the functional flavour of XDuce and extends it to a full fledged functional language, whereas Xtatic goes toward OO principles and ....

....C Duce s type system to check it) Since the advantages of higher order programming are well known to the functional programming language community (and space is limited) we will not elaborate further. The lack of first class functions in XML languages has been identified in several papers [12, 7] and our semantic approach to subtyping [8] has succeeded in mixing classical arrow types and XML types. 3.6 Pattern matching Pattern matching is one of C Duce s key features. Although it resembles ML s, it is much more powerful, as it allows one to express in a single pattern a complex ....

[Article contains additional citation context not shown here]

Mary Fernndez, Jrme Simon, and Philip Wadler. An algebra for XML query. In FST&TCS, LNCS n. 1974.

.... processed on the y as XML streams, then a new algebra is needed that captures the heterogeneity and the irregularities intrinsic to XML data [4] In fact, there are already algebras for semi structured data, including an algebra based on structural recursion [4] YATL [8, 7] SAL [3] x algebra [12], and x scan [15] None of these algebras have been used for the emerging XML query languages yet, and there is little work on algebraic query optimization based on these algebras. This paper is focused on the ecient processing of continuous XML streams. Most current web servers adopt the ....

M. Fernandez, J. Simeon, and P. Wadler. An Algebra for XML Query. In FST TCS, Delhi, December 2000.

.... important optimizations (for instance, searching for an element with a given name in a whole document is of course much easier when one knows where such an element may potentially be) 2 A sample session Let us write and comment a sample C Duce program, on the lines of the typical example of [7]. First, we declare some type Bib = bib [Book ] type Book = book [Title Year Author ] type Year = year [IntStr] type Title = title [String] type Author = author [String] type IntStr = 0 9 ] The type Bib represents XML documents that store bibliographic information ....

.... type Book = book [Title Year Author ] type Year = year [IntStr] type Title = title [String] type Author = author [String] type IntStr = 0 9 ] The type Bib represents XML documents that store bibliographic information (the corresponding XSchema can be found in [7]) It states that a bibliography is a possibly empty sequence of book elements, each consisting of a sequence formed by one title element, one year element and one or more author elements. Square brackets [ are used to denote sequences, whose type is constrained by a regular expression over ....

[Article contains additional citation context not shown here]

Mary Fernandez, Jerome Simeon, and Philip Wadler. An algebra for XML query. In Foundations of Software Technology and Theoretical Computer Science, number 1974.

.... tokens, where the set of tokens T is defined as: T = fheije 2Eg[fd(x) j x 2Dg [ fh=eije 2Eg[fs v #e v j v 2 Vg[feolg : Constrast this approach with conventional query processors that build algebra based evaluation plans that consist of multiple operators producing intermediate results [LPV00, FSW00, MP02, GVD 01] Often these are constructed by one operator only to be discarded or reformatted by the next. We omit XML attributes to simplify the presentation. One can either add attributes to our approach directly, or assume they have been represented as subelements. The open, data, and ....

M. Fernandez, J. Simeon, and P.Wadler. An Algebra for XML Query. In Foundations of SoftwareTechnology and Theoretical Computer Science (FSTTCS), Delhi, India, 2000.

....[6] all propose query languages, with more or less e ort at an accompanying algebra. Even in the XML context, several algebras have been proposed. 4] is an in uential early work that has impacted XML schema speci cation. However, there is no real manipulation algebra described in that paper. [16] proposes an algebra carefully tailor made for Quilt. This algebra, like the XDuce system [22] is focused on type system issues. It forms the intellectual basis for the recently issued XQuery algebra document [15] by the W3C working group on XML Query. While the algebra would be useful in ....

M. Fernandez, J. Simeon, and P. Wadler. An algebra for XML query. In Proc. FST TCS, Delhi, December 2000.

.... processed on the y as XML streams, then a new algebra is needed that captures the heterogeneity and the irregularities intrinsic to XML data [4] In fact, there are already algebras for semi structured data, including an algebra based on structural recursion [4] YATL [10, 8] SAL [3] x algebra [16], and x scan [22] None of these algebras have been used for the emerging XML query languages yet, and there is little work on algebraic query optimization based on these algebras. This paper is focused on the ecient processing of continuous XML streams. Most current web servers adopt the ....

M. Fernandez, J. Simeon, and P. Wadler. An Algebra for XML Query. In FST TCS, Delhi, December 2000.

.... intrinsic to web and XML data, thus a radical new data model and algebra are needed that go beyond traditional models [14] In fact, there are already several algebras for semi structured data, including an algebra based on structural recursion [4] YATL [12, 10] SAL [3] and x algebra [19]. On the other hand, much research e ort has already been devoted to query algebras for complex data types [16, 11, 24] which have been used successfully as a formal basis for various optimization techniques for object oriented and object relational databases, such as path indexing [23] and ....

M. Fernandez, J. Simeon, and P. Wadler. An Algebra for XML Query. In FST TCS, Delhi, Dec. 2000.

....XML based integration systems. Finally, in June 2000 researchers from AT T and Bell Labs proposed an XML Algebra [11] for which a demo version is also available online at http: www.cs.bell labs.com wadler topics xml.html#algebra. An updated version of this paper was published in December 2000 [12] and the latest version is [13] Lore Algebra The Lore system at Stanford is a complete DBMS designed specifically for semistructured data. The main focus of Lore s query processor is on cost based query optimization, specially the efficient evaluation of path expressions. The basic optimization ....

Mary Fernanadez, Jerome Simeon, Philip Wadler. An Algebra for XML Query, In Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2000), New Delhi, December 2000.

....data model and algebra for XML [9] In May 2000 another group of researchers proposed an algebra [10] suitable for any semistructured or XML query language and especially efficient for XML based integration systems. Finally, in June 2000 researchers from AT T and Bell Labs proposed an XML Algebra [11] for which a demo version is also available online at http: www.cs.bell labs.com wadler topics xml.html#algebra. An updated version of this paper was published in December 2000 [12] and the latest version is [13] Lore Algebra The Lore system at Stanford is a complete DBMS designed ....

Mary Fernandez, Jerome Simeon, Philip Wadler. An Algebra for XML Query, Draft manuscript, June 2000.

....in XML Schema. Other important features that we do not tackle include attributes, namespaces, element identity, collation, and key constraints, among others. Again, we believe they can be added within the framework given here. Two earlier versions of this paper have been distributed. The first [18] used a more ad hoc approach to typing. The second [19] used a di#erent notation for case analysis, and has less discussion of the relation to earlier work on monads. The paper is organized as follows. A tutorial introduction is presented in Section 2. Section 3 explains key aspects of how the ....

....is called the right unit law. for v in e do v = e For example for v in book0 do v = book0 An important feature of the type system described here is that the left side of the above equation always has the same type as the right side. This was not true for an earlier version of the type system [18]. Third, there are two ways of writing an iteration over an iteration, both of which are equivalent. This is called the associative law. for v 2 in (for v 1 in e 1 do e 2 ) do e 3 = for v 1 in e 1 do (for v 2 in e 2 do e 3 ) For example, a projection over a forest includes an implicit ....

Mary Fernandez, Jerome Simeon, Philip Wadler. An Algebra for XML Query, Draft manuscript, June 2000.

No context found.

Fernandez M., Simeon J., Wadler P.. An Algebra for XML Query, In Foundations of Software Technology and Theoretical Computer Science, New Delhi, 2000.

No context found.

Fernandez M., Simeon J., Wadler P.. "An Algebra for XML Query", In Foundations of Software Technology and Theoretical Computer Science, New Delhi, December 2000.

No context found.

Mary Fernndez, Jrme Simon, and Philip Wadler. An algebra for XML query. In FST&TCS, LNCS n. 1974.

No context found.

M. Fernandez, J. Simeon, and P. Wadler. An Algebra for XML Query. In FST TCS 2000.

No context found.

M. Fernandez, J. Simeon, and P. Wadler. An Algebra for XML Query. In Int. Conf. on Foundation of Software Technology and Theoretical Computer Science, LNCS 1974.

No context found.

M.F. Fernandez, J. Simeon, P. Wadler (2000) An algebra for XML query. Proc. FSTTCS Conf., pp 11-45

No context found.

Mary F. Fernandez, Jerome Simeon, Philip Wadler. An Algebra for XML Query. Proc. FSTTCS Conf., pages 11-45, 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC