A Framework For Inferring Properties of User-Defined Functions Article Swipe
Xinyu Liu
,
Joy Arulraj
,
Alessandro Orso
·
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.1145/3597503.3639147
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.1145/3597503.3639147
User-defined functions (UDFs) are widely used to enhance the capabilities of DBMSs. However, using UDFs comes with a significant performance penalty because DBMSs treat UDFs as black boxes, which hinders their ability to optimize queries that invoke such UDFs. To mitigate this problem, in this paper we present LAMBDA, a technique and framework for improving DBMSs' performance in the presence of UDFs. The core idea of LAMBDA is to statically infer properties of UDFs that facilitate UDF processing. Taking one such property as an example, if DBMSs know that a UDF is pure, that is it returns the same result given the same arguments, they can leverage a cache to avoid repetitive UDF invocations that have the same call arguments.
Related Topics
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.1145/3597503.3639147
- https://dl.acm.org/doi/pdf/10.1145/3597503.3639147
- OA Status
- gold
- References
- 13
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4394769524
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4394769524Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.1145/3597503.3639147Digital Object Identifier
- Title
-
A Framework For Inferring Properties of User-Defined FunctionsWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2024Year of publication
- Publication date
-
2024-04-12Full publication date if available
- Authors
-
Xinyu Liu, Joy Arulraj, Alessandro OrsoList of authors in order
- Landing page
-
https://doi.org/10.1145/3597503.3639147Publisher landing page
- PDF URL
-
https://dl.acm.org/doi/pdf/10.1145/3597503.3639147Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
goldOpen access status per OpenAlex
- OA URL
-
https://dl.acm.org/doi/pdf/10.1145/3597503.3639147Direct OA link when available
- Concepts
-
Computer science, Leverage (statistics), Artificial intelligenceTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- References (count)
-
13Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4394769524 |
|---|---|
| doi | https://doi.org/10.1145/3597503.3639147 |
| ids.doi | https://doi.org/10.1145/3597503.3639147 |
| ids.openalex | https://openalex.org/W4394769524 |
| fwci | 0.0 |
| type | article |
| title | A Framework For Inferring Properties of User-Defined Functions |
| awards[0].id | https://openalex.org/G4308666867 |
| awards[0].funder_id | https://openalex.org/F4320306084 |
| awards[0].display_name | |
| awards[0].funder_award_id | DE-FOA-0002460 |
| awards[0].funder_display_name | U.S. Department of Energy |
| awards[1].id | https://openalex.org/G1594933795 |
| awards[1].funder_id | https://openalex.org/F4320306076 |
| awards[1].display_name | |
| awards[1].funder_award_id | CCF-0725202 |
| awards[1].funder_display_name | National Science Foundation |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | 11 |
| biblio.first_page | 1 |
| topics[0].id | https://openalex.org/T10317 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9997000098228455 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1705 |
| topics[0].subfield.display_name | Computer Networks and Communications |
| topics[0].display_name | Advanced Database Systems and Queries |
| topics[1].id | https://openalex.org/T10054 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9994999766349792 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1708 |
| topics[1].subfield.display_name | Hardware and Architecture |
| topics[1].display_name | Parallel Computing and Optimization Techniques |
| topics[2].id | https://openalex.org/T11181 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9994000196456909 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1705 |
| topics[2].subfield.display_name | Computer Networks and Communications |
| topics[2].display_name | Advanced Data Storage Technologies |
| funders[0].id | https://openalex.org/F4320306076 |
| funders[0].ror | https://ror.org/021nxhr62 |
| funders[0].display_name | National Science Foundation |
| funders[1].id | https://openalex.org/F4320306084 |
| funders[1].ror | https://ror.org/01bj3aw27 |
| funders[1].display_name | U.S. Department of Energy |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C41008148 |
| concepts[0].level | 0 |
| concepts[0].score | 0.8291568160057068 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[0].display_name | Computer science |
| concepts[1].id | https://openalex.org/C153083717 |
| concepts[1].level | 2 |
| concepts[1].score | 0.5843726396560669 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q6535263 |
| concepts[1].display_name | Leverage (statistics) |
| concepts[2].id | https://openalex.org/C154945302 |
| concepts[2].level | 1 |
| concepts[2].score | 0.06900906562805176 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q11660 |
| concepts[2].display_name | Artificial intelligence |
| keywords[0].id | https://openalex.org/keywords/computer-science |
| keywords[0].score | 0.8291568160057068 |
| keywords[0].display_name | Computer science |
| keywords[1].id | https://openalex.org/keywords/leverage |
| keywords[1].score | 0.5843726396560669 |
| keywords[1].display_name | Leverage (statistics) |
| keywords[2].id | https://openalex.org/keywords/artificial-intelligence |
| keywords[2].score | 0.06900906562805176 |
| keywords[2].display_name | Artificial intelligence |
| language | en |
| locations[0].id | doi:10.1145/3597503.3639147 |
| locations[0].is_oa | True |
| locations[0].source | |
| locations[0].license | cc-by |
| locations[0].pdf_url | https://dl.acm.org/doi/pdf/10.1145/3597503.3639147 |
| locations[0].version | publishedVersion |
| locations[0].raw_type | proceedings-article |
| locations[0].license_id | https://openalex.org/licenses/cc-by |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Proceedings of the IEEE/ACM 46th International Conference on Software Engineering |
| locations[0].landing_page_url | https://doi.org/10.1145/3597503.3639147 |
| indexed_in | crossref |
| authorships[0].author.id | https://openalex.org/A5100446429 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-2797-2083 |
| authorships[0].author.display_name | Xinyu Liu |
| authorships[0].countries | US |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I130701444 |
| authorships[0].affiliations[0].raw_affiliation_string | Georgia Institute of Technology, Atlanta, Georgia, USA |
| authorships[0].institutions[0].id | https://openalex.org/I130701444 |
| authorships[0].institutions[0].ror | https://ror.org/01zkghx44 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I130701444 |
| authorships[0].institutions[0].country_code | US |
| authorships[0].institutions[0].display_name | Georgia Institute of Technology |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Xinyu Liu |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | Georgia Institute of Technology, Atlanta, Georgia, USA |
| authorships[1].author.id | https://openalex.org/A5060680349 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-7706-6978 |
| authorships[1].author.display_name | Joy Arulraj |
| authorships[1].countries | US |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I130701444 |
| authorships[1].affiliations[0].raw_affiliation_string | Georgia Institute of Technology, Atlanta, Georgia, USA |
| authorships[1].institutions[0].id | https://openalex.org/I130701444 |
| authorships[1].institutions[0].ror | https://ror.org/01zkghx44 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I130701444 |
| authorships[1].institutions[0].country_code | US |
| authorships[1].institutions[0].display_name | Georgia Institute of Technology |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Joy Arulraj |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Georgia Institute of Technology, Atlanta, Georgia, USA |
| authorships[2].author.id | https://openalex.org/A5030961858 |
| authorships[2].author.orcid | https://orcid.org/0000-0003-4516-9320 |
| authorships[2].author.display_name | Alessandro Orso |
| authorships[2].countries | US |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I130701444 |
| authorships[2].affiliations[0].raw_affiliation_string | Georgia Institute of Technology, Atlanta, Georgia, USA |
| authorships[2].institutions[0].id | https://openalex.org/I130701444 |
| authorships[2].institutions[0].ror | https://ror.org/01zkghx44 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I130701444 |
| authorships[2].institutions[0].country_code | US |
| authorships[2].institutions[0].display_name | Georgia Institute of Technology |
| authorships[2].author_position | last |
| authorships[2].raw_author_name | Alessandro Orso |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Georgia Institute of Technology, Atlanta, Georgia, USA |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://dl.acm.org/doi/pdf/10.1145/3597503.3639147 |
| open_access.oa_status | gold |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | A Framework For Inferring Properties of User-Defined Functions |
| has_fulltext | True |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10317 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9997000098228455 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1705 |
| primary_topic.subfield.display_name | Computer Networks and Communications |
| primary_topic.display_name | Advanced Database Systems and Queries |
| related_works | https://openalex.org/W4391375266, https://openalex.org/W2748952813, https://openalex.org/W2390279801, https://openalex.org/W2358668433, https://openalex.org/W2376932109, https://openalex.org/W2001405890, https://openalex.org/W2382290278, https://openalex.org/W4391913857, https://openalex.org/W2350741829, https://openalex.org/W2530322880 |
| cited_by_count | 0 |
| locations_count | 1 |
| best_oa_location.id | doi:10.1145/3597503.3639147 |
| best_oa_location.is_oa | True |
| best_oa_location.source | |
| best_oa_location.license | cc-by |
| best_oa_location.pdf_url | https://dl.acm.org/doi/pdf/10.1145/3597503.3639147 |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | proceedings-article |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Proceedings of the IEEE/ACM 46th International Conference on Software Engineering |
| best_oa_location.landing_page_url | https://doi.org/10.1145/3597503.3639147 |
| primary_location.id | doi:10.1145/3597503.3639147 |
| primary_location.is_oa | True |
| primary_location.source | |
| primary_location.license | cc-by |
| primary_location.pdf_url | https://dl.acm.org/doi/pdf/10.1145/3597503.3639147 |
| primary_location.version | publishedVersion |
| primary_location.raw_type | proceedings-article |
| primary_location.license_id | https://openalex.org/licenses/cc-by |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Proceedings of the IEEE/ACM 46th International Conference on Software Engineering |
| primary_location.landing_page_url | https://doi.org/10.1145/3597503.3639147 |
| publication_date | 2024-04-12 |
| publication_year | 2024 |
| referenced_works | https://openalex.org/W2266823300, https://openalex.org/W3174083228, https://openalex.org/W4210272490, https://openalex.org/W3029703673, https://openalex.org/W3164278511, https://openalex.org/W3173732543, https://openalex.org/W2116098983, https://openalex.org/W2053152889, https://openalex.org/W2963741525, https://openalex.org/W3046301602, https://openalex.org/W2102890180, https://openalex.org/W3205887319, https://openalex.org/W2120173944 |
| referenced_works_count | 13 |
| abstract_inverted_index.a | 17, 49, 89, 107 |
| abstract_inverted_index.To | 39 |
| abstract_inverted_index.an | 83 |
| abstract_inverted_index.as | 25, 82 |
| abstract_inverted_index.if | 85 |
| abstract_inverted_index.in | 43, 57 |
| abstract_inverted_index.is | 67, 91, 94 |
| abstract_inverted_index.it | 95 |
| abstract_inverted_index.of | 10, 60, 65, 72 |
| abstract_inverted_index.to | 6, 32, 68, 109 |
| abstract_inverted_index.we | 46 |
| abstract_inverted_index.The | 62 |
| abstract_inverted_index.UDF | 76, 90, 112 |
| abstract_inverted_index.and | 51 |
| abstract_inverted_index.are | 3 |
| abstract_inverted_index.can | 105 |
| abstract_inverted_index.for | 53 |
| abstract_inverted_index.one | 79 |
| abstract_inverted_index.the | 8, 58, 97, 101, 116 |
| abstract_inverted_index.UDFs | 14, 24, 73 |
| abstract_inverted_index.call | 118 |
| abstract_inverted_index.core | 63 |
| abstract_inverted_index.have | 115 |
| abstract_inverted_index.idea | 64 |
| abstract_inverted_index.know | 87 |
| abstract_inverted_index.same | 98, 102, 117 |
| abstract_inverted_index.such | 37, 80 |
| abstract_inverted_index.that | 35, 74, 88, 93, 114 |
| abstract_inverted_index.they | 104 |
| abstract_inverted_index.this | 41, 44 |
| abstract_inverted_index.used | 5 |
| abstract_inverted_index.with | 16 |
| abstract_inverted_index.DBMSs | 22, 86 |
| abstract_inverted_index.UDFs. | 38, 61 |
| abstract_inverted_index.avoid | 110 |
| abstract_inverted_index.black | 26 |
| abstract_inverted_index.cache | 108 |
| abstract_inverted_index.comes | 15 |
| abstract_inverted_index.given | 100 |
| abstract_inverted_index.infer | 70 |
| abstract_inverted_index.paper | 45 |
| abstract_inverted_index.pure, | 92 |
| abstract_inverted_index.their | 30 |
| abstract_inverted_index.treat | 23 |
| abstract_inverted_index.using | 13 |
| abstract_inverted_index.which | 28 |
| abstract_inverted_index.(UDFs) | 2 |
| abstract_inverted_index.DBMSs' | 55 |
| abstract_inverted_index.DBMSs. | 11 |
| abstract_inverted_index.LAMBDA | 66 |
| abstract_inverted_index.Taking | 78 |
| abstract_inverted_index.boxes, | 27 |
| abstract_inverted_index.invoke | 36 |
| abstract_inverted_index.result | 99 |
| abstract_inverted_index.widely | 4 |
| abstract_inverted_index.LAMBDA, | 48 |
| abstract_inverted_index.ability | 31 |
| abstract_inverted_index.because | 21 |
| abstract_inverted_index.enhance | 7 |
| abstract_inverted_index.hinders | 29 |
| abstract_inverted_index.penalty | 20 |
| abstract_inverted_index.present | 47 |
| abstract_inverted_index.queries | 34 |
| abstract_inverted_index.returns | 96 |
| abstract_inverted_index.However, | 12 |
| abstract_inverted_index.example, | 84 |
| abstract_inverted_index.leverage | 106 |
| abstract_inverted_index.mitigate | 40 |
| abstract_inverted_index.optimize | 33 |
| abstract_inverted_index.presence | 59 |
| abstract_inverted_index.problem, | 42 |
| abstract_inverted_index.property | 81 |
| abstract_inverted_index.framework | 52 |
| abstract_inverted_index.functions | 1 |
| abstract_inverted_index.improving | 54 |
| abstract_inverted_index.technique | 50 |
| abstract_inverted_index.arguments, | 103 |
| abstract_inverted_index.arguments. | 119 |
| abstract_inverted_index.facilitate | 75 |
| abstract_inverted_index.properties | 71 |
| abstract_inverted_index.repetitive | 111 |
| abstract_inverted_index.statically | 69 |
| abstract_inverted_index.invocations | 113 |
| abstract_inverted_index.performance | 19, 56 |
| abstract_inverted_index.processing. | 77 |
| abstract_inverted_index.significant | 18 |
| abstract_inverted_index.User-defined | 0 |
| abstract_inverted_index.capabilities | 9 |
| cited_by_percentile_year | |
| countries_distinct_count | 1 |
| institutions_distinct_count | 3 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/16 |
| sustainable_development_goals[0].score | 0.6000000238418579 |
| sustainable_development_goals[0].display_name | Peace, Justice and strong institutions |
| citation_normalized_percentile.value | 0.05206608 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |