paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A Framework For Inferring Properties of User-Defined Functions

一个推断用户定义函数属性的框架
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 3/10 · 该论文属于静态分析与抽象解释框架,但与用户关注的 ML/Agentic 程序静态分析、LLM 与程序分析交叉、浮点程序分析、贝叶斯程序分析均无直接关联;其应用场景是 DBMS 中 UDF 属性推断与查询优化,方向偏离较明显。引用 0 inbox
Xinyu Liu, Joy Arulraj, Alessandro Orso
crossref: 2026-09-12

AI 速览

一句话:提出 LAMBDA,静态推断 UDF 属性(如纯性)以帮助 DBMS 优化查询并避免重复调用。

用户定义函数(UDF)广泛用于扩展 DBMS 能力,但 DBMS 通常将 UDF 视为黑盒,导致调用 UDF 的查询难以被优化并产生显著性能开销。本文提出 LAMBDA,一个静态推断 UDF 属性的技术与框架,目的是让 DBMS 利用这些属性更好地处理含 UDF 的查询。其核心思想是自动推断诸如纯性等性质:若 DBMS 知道某 UDF 对相同参数总返回相同结果,就可引入缓存以避免具有相同实参的重复调用。摘要未报告具体实验评估,但以纯性推断为例说明了该框架如何为查询优化提供支持。

问题
DBMS 将 UDF 当作黑盒,无法有效优化调用 UDF 的查询,导致显著性能惩罚。
方法
提出 LAMBDA,静态推断 UDF 属性(如纯性),使 DBMS 能据此优化 UDF 处理,例如用缓存避免重复调用。
评估
摘要未给出实验评估;仅以纯性属性为例说明推断结果如何支持缓存与查询优化。
原文摘要(Abstract)

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.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11341,
  title = {A Framework For Inferring Properties of User-Defined Functions},
  author = {Xinyu Liu and Joy Arulraj and Alessandro Orso},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639147}
}