Higher-order queries and applications
<p>Higher-order transformations are ubiquitous within data management. In relational databases, higher-order queries appear in numerous aspects including query rewriting and query specification. In XML databases, higher-order functions are natural due to the close connection of XML query langu...
Main Author: | |
---|---|
Other Authors: | |
Format: | Thesis |
Language: | English |
Published: |
2012
|
Subjects: |
_version_ | 1797090755946217472 |
---|---|
author | Vu, Q |
author2 | Benedikt, M |
author_facet | Benedikt, M Vu, Q |
author_sort | Vu, Q |
collection | OXFORD |
description | <p>Higher-order transformations are ubiquitous within data management. In relational databases, higher-order queries appear in numerous aspects including query rewriting and query specification. In XML databases, higher-order functions are natural due to the close connection of XML query languages with functional programming.</p><p>The thesis investigates higher-order query languages that combine higher- order transformations with ordinary database query languages. We de- fine higher-order query languages based on Relational Algebra, Monad Algebra, and XQuery. The thesis also studies basic problems for these query languages including evaluation, containment, and type inference. We show that even though evaluating these higher-order query languages is non-elementary, there are subclasses that are polynomially reducible to evaluation for ordinary query languages.</p><p>Our theoretical analysis is complemented by an implementation of the languages, our Higher-Order Mapping Evaluation System (HOMES). The system integrates querying and query transformation in a single higher- order query language. It allows users to write queries that integrate and combine query transformations. The system is implemented on top of traditional database management systems. The evaluation algorithm is optimized by a combination of subquery caching techniques from relational and XML databases and sharing detection schemes from functional programming.</p> |
first_indexed | 2024-03-07T03:23:16Z |
format | Thesis |
id | oxford-uuid:b82abe3c-78ae-4f74-9db3-d0caec248410 |
institution | University of Oxford |
language | English |
last_indexed | 2024-03-07T03:23:16Z |
publishDate | 2012 |
record_format | dspace |
spelling | oxford-uuid:b82abe3c-78ae-4f74-9db3-d0caec2484102022-03-27T04:53:58ZHigher-order queries and applicationsThesishttp://purl.org/coar/resource_type/c_db06uuid:b82abe3c-78ae-4f74-9db3-d0caec248410Applications and algorithmsSoftware engineeringEnglishOxford University Research Archive - Valet2012Vu, QBenedikt, M<p>Higher-order transformations are ubiquitous within data management. In relational databases, higher-order queries appear in numerous aspects including query rewriting and query specification. In XML databases, higher-order functions are natural due to the close connection of XML query languages with functional programming.</p><p>The thesis investigates higher-order query languages that combine higher- order transformations with ordinary database query languages. We de- fine higher-order query languages based on Relational Algebra, Monad Algebra, and XQuery. The thesis also studies basic problems for these query languages including evaluation, containment, and type inference. We show that even though evaluating these higher-order query languages is non-elementary, there are subclasses that are polynomially reducible to evaluation for ordinary query languages.</p><p>Our theoretical analysis is complemented by an implementation of the languages, our Higher-Order Mapping Evaluation System (HOMES). The system integrates querying and query transformation in a single higher- order query language. It allows users to write queries that integrate and combine query transformations. The system is implemented on top of traditional database management systems. The evaluation algorithm is optimized by a combination of subquery caching techniques from relational and XML databases and sharing detection schemes from functional programming.</p> |
spellingShingle | Applications and algorithms Software engineering Vu, Q Higher-order queries and applications |
title | Higher-order queries and applications |
title_full | Higher-order queries and applications |
title_fullStr | Higher-order queries and applications |
title_full_unstemmed | Higher-order queries and applications |
title_short | Higher-order queries and applications |
title_sort | higher order queries and applications |
topic | Applications and algorithms Software engineering |
work_keys_str_mv | AT vuq higherorderqueriesandapplications |