SPLASH 2015 (series) / DBPL 2015 (series) / DBPL /
Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries
Semantic optimization – the use of data integrity constraints to optimize relational queries – has been well studied but, owing to limitations in how SQL handles constraints, has not often been applied by mainstream RDBMSs. In a language-integrated query setting, however, the query provider is free to rewrite queries before they are executed on an RDBMS. We show, using Coq as our ambient language, how to use dependent types to represent a well known class of constraints – embedded, implicational dependencies – and how Coq tactics can be used to implement a particular kind of semantic optimization: tableaux minimization, which minimizes the number of joins required by a query.
Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change
15:30 - 17:00 | |||
15:30 30mTalk | Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries DBPL | ||
16:00 30mTalk | Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains DBPL Jelle Hellings Hasselt University and Transnational University of Limburg, Marc Gyssens Hasselt University and Transnational University of Limburg, Yuqing Wu Indiana University, Dirk Van Gucht Indiana University, Jan Van den Bussche Hasselt University and Transnational University of Limburg, Stijn Vansummeren Université Libre de Bruxelles, George Fletcher Eindhoven University of Technology | ||
16:30 30mTalk | Typing Regular Path Query Languages for Data Graphs DBPL |