Fri 20 Nov 2020 05:20 - 05:40 at SPLASH-I - R-6 Chair(s): Eelco Visser, Dominik Winterer
Optimizing the physical data storage and retrieval of data are two key
database management problems. In this paper, we propose a language that can
express both a relational query and the layout of its data. Our language can
express a wide range of physical database layouts, going well beyond the row-
and column-based methods that are widely used in database management systems.
We use deductive program synthesis to turn a high-level relational
representation of a database query into a highly optimized low-level
implementation which operates on a specialized layout of the dataset. We build
an optimizing compiler for this language and conduct experiments using a
popular database benchmark, which shows that the performance of our
specialized queries is better than a state-of-the-art in memory compiled
database system while achieving an order-of-magnitude reduction in memory use.
Thu 19 Nov Times are displayed in time zone: Central Time (US & Canada) change
17:00 - 17:20 Talk | Adding Interactive Visual Syntax to Textual Code OOPSLA Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University Link to publication DOI Media Attached | ||
17:20 - 17:40 Talk | Deductive Optimization of Relational Data Storage OOPSLA John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology Link to publication DOI Media Attached | ||
17:40 - 18:00 Talk | Inter-theory Dependency Analysis for SMT String Solvers OOPSLA Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore Link to publication DOI Media Attached | ||
18:00 - 18:20 Talk | Macros for Domain-Specific Languages OOPSLA Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University Link to publication DOI Media Attached |