Skip to main content

HOMES: A Higher−Order Mapping Evaluation System

Huy Vu and Michael Benedikt

Abstract

We describe a system that integrates querying and query transformation in a single higher-order query language. The system allows users to write queries that integrate and combine query transformations. The power of higher-order functions also allows one to succinctly write complex relational queries. Our demonstration shows the utility of the system, explains the implementation architecture on top of a relational DBMS, and explains optimizations that combine subquery caching techniques from relational databases with sharing detection schemes from functional programming.

Affiliation
Oxford University
Journal
VLDB: The 37th International Conference on Very Large Data Bases
Year
2011