Deductive optimization of relational data storage
<p dir="ltr">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 layou...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Published: |
2020
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513505605976064 |
|---|---|
| author | John Feser (19672378) |
| author2 | Sam Madden (19672381) Nan Tang (642590) Armando Solar-Lezama (6159002) |
| author2_role | author author author |
| author_facet | John Feser (19672378) Sam Madden (19672381) Nan Tang (642590) Armando Solar-Lezama (6159002) |
| author_role | author |
| dc.creator.none.fl_str_mv | John Feser (19672378) Sam Madden (19672381) Nan Tang (642590) Armando Solar-Lezama (6159002) |
| dc.date.none.fl_str_mv | 2020-11-13T09:00:00Z |
| dc.identifier.none.fl_str_mv | 10.1145/3428238 |
| dc.relation.none.fl_str_mv | https://figshare.com/articles/journal_contribution/Deductive_optimization_of_relational_data_storage/27021376 |
| dc.rights.none.fl_str_mv | CC BY 4.0 info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Information and computing sciences Computer vision and multimedia computation Data management and data science Software engineering databases deductive synthesis data representation synthesis |
| dc.title.none.fl_str_mv | Deductive optimization of relational data storage |
| dc.type.none.fl_str_mv | Text Journal contribution info:eu-repo/semantics/publishedVersion text contribution to journal |
| description | <p dir="ltr">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.</p><h2>Other Information</h2><p dir="ltr">Published in: Proceedings of the ACM on Programming Languages<br>License: <a href="https://creativecommons.org/licenses/by/4.0/deed.en" target="_blank">https://creativecommons.org/licenses/by/4.0/</a><br>See article on publisher's website: <a href="https://dx.doi.org/10.1145/3428238" target="_blank">https://dx.doi.org/10.1145/3428238</a></p> |
| eu_rights_str_mv | openAccess |
| id | Manara2_93e3eba58f046a762d32f6e2aab08a9b |
| identifier_str_mv | 10.1145/3428238 |
| network_acronym_str | Manara2 |
| network_name_str | Manara2 |
| oai_identifier_str | oai:figshare.com:article/27021376 |
| publishDate | 2020 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | CC BY 4.0 |
| spelling | Deductive optimization of relational data storageJohn Feser (19672378)Sam Madden (19672381)Nan Tang (642590)Armando Solar-Lezama (6159002)Information and computing sciencesComputer vision and multimedia computationData management and data scienceSoftware engineeringdatabasesdeductive synthesisdata representation synthesis<p dir="ltr">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.</p><h2>Other Information</h2><p dir="ltr">Published in: Proceedings of the ACM on Programming Languages<br>License: <a href="https://creativecommons.org/licenses/by/4.0/deed.en" target="_blank">https://creativecommons.org/licenses/by/4.0/</a><br>See article on publisher's website: <a href="https://dx.doi.org/10.1145/3428238" target="_blank">https://dx.doi.org/10.1145/3428238</a></p>2020-11-13T09:00:00ZTextJournal contributioninfo:eu-repo/semantics/publishedVersiontextcontribution to journal10.1145/3428238https://figshare.com/articles/journal_contribution/Deductive_optimization_of_relational_data_storage/27021376CC BY 4.0info:eu-repo/semantics/openAccessoai:figshare.com:article/270213762020-11-13T09:00:00Z |
| spellingShingle | Deductive optimization of relational data storage John Feser (19672378) Information and computing sciences Computer vision and multimedia computation Data management and data science Software engineering databases deductive synthesis data representation synthesis |
| status_str | publishedVersion |
| title | Deductive optimization of relational data storage |
| title_full | Deductive optimization of relational data storage |
| title_fullStr | Deductive optimization of relational data storage |
| title_full_unstemmed | Deductive optimization of relational data storage |
| title_short | Deductive optimization of relational data storage |
| title_sort | Deductive optimization of relational data storage |
| topic | Information and computing sciences Computer vision and multimedia computation Data management and data science Software engineering databases deductive synthesis data representation synthesis |