Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
Exceeding the limits of polymorphism in database programming languages
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
An object-oriented query algebras
Proceedings of the second international workshop on Database programming languages
Type-safe linguistic reflection
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Object identity as a query-language primitive
Building an object-oriented database system
Reloop, an algebra-based query language for O2
Building an object-oriented database system
Normal forms and conservative properties for query languages over collection types
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
New techniques for studying set languages, bag languages and aggregate functions
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
WWW '99 Proceedings of the eighth international conference on World Wide Web
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
On the unification of query algebras and their extension to rational tree structures
ADC '01 Proceedings of the 12th Australasian database conference
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Naturally Embedded Query Languages
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Identification, Genericity and Consistency in Object-Oriented Databases
ICDT '92 Proceedings of the 4th International Conference on Database Theory
On Two Forms of Structural Recursion
ICDT '95 Proceedings of the 5th International Conference on Database Theory
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
START: A Linguistic Reflection Tool Using Hyper-Program Technology
Proceedings of the Sixth International Workshop on Persistent Object Systems
Bulk Data Types, A Theoretical Approach
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
The AQUA Data Model and Algebra
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Nested Queries in Object Bases
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
The complexity of XPath query evaluation
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XQuery from the Experts: A Guide to the W3C XML Query Language
XQuery from the Experts: A Guide to the W3C XML Query Language
A comprehensive XQuery to SQL translation using dynamic interval encoding
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
BLAS: an efficient XPath processing system
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Tree logical classes for efficient evaluation of XQuery
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Conditional XPath, the first order complete XPath dialect
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of nonrecursive XQuery and functional query languages on complex values
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Using reflection for querying XML documents
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
A heuristic approach to cost-efficient derived horizontal fragmentation of complex value databases
ADC '07 Proceedings of the eighteenth conference on Australasian database - Volume 63
A typed higher-order calculus for querying XML databases
ADC '08 Proceedings of the nineteenth conference on Australasian database - Volume 75
Hi-index | 0.00 |
XML-based databases have become a major area of interest in database research. Abstractly speaking they can be considered as a resurrection of complex-value databases using constructors for records, lists, unions plus optionality and references. XQuery has become the standard query language for XML. As XQuery is a declarative query language, the problem of query optimisation arises. In this paper an algebraic approach to query optimisation is introduced. This is based on a translation of XQuery into a query algebra for rational tree types. The algebra uses simple operations on types and structural recursion for lists. The translation exploits linguistic reflection for the type-safe expansion of path expressions. The availability of an algebraic representation of queries permits query rewriting, which in combination with cost heuristics permits queries to be rewritten and thus optimised.