The relational model with relation-valued attributes
Information Systems
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
A recursive algebra for nested relations
Information Systems
Notions of computation and monads
Information and Computation
Querying object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
Algebraic optimization of object-oriented query languages
ICDT Selected papers of the 4th international conference on Database theory
ACM SIGMOD Record
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
A query language for multidimensional arrays: design, implementation, and optimization techniques
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A guide to the SQL standard (4th ed.): a user's guide to the standard database language SQL
A guide to the SQL standard (4th ed.): a user's guide to the standard database language SQL
ACM Computing Surveys (CSUR)
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
Query languages for bags and aggregate functions
Journal of Computer and System Sciences - Special issue on principles of database systems
WWW '99 Proceedings of the eighth international conference on World Wide Web
On wrapping query languages and efficient XML integration
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Regular expression types for XML
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
A formal semantics of patterns in XSLT and XPath
Markup Languages
Introduction to Functional Programming
Introduction to Functional Programming
XDuce: A Typed XML Processing Language (Preliminary Report)
Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
Quilt: An XML Query Language for Heterogeneous Data Sources
Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Monads for Functional Programming
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Nested Queries in Object Bases
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
UnQL: a query language and algebra for semistructured data based on structural recursion
The VLDB Journal — The International Journal on Very Large Data Bases
Towards an Exhaustive Set of Rewriting Rules for XQuery Optimization: BizQuery Experience
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
Querying and Splicing of XML Workflows
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Structural recursion on ordered trees and list-based complex objects
ICDT'07 Proceedings of the 11th international conference on Database Theory
Mapping maintenance in XML p2p databases
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Mechanizing the metatheory of mini-XQuery
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
A survey on XML streaming evaluation techniques
The VLDB Journal — The International Journal on Very Large Data Bases
| Hi-index | 0.00 |
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 types, similar in power to DTDs or XML Schemas, and closely related to Hasoya and Pierce's work on Xduce. The iteration construct is based on the notion of a monad, and involves novel typing rules not encountered elsewhere.