paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Managing data constraints in database-backed web applications

数据库支持的 Web 应用中的数据约束管理
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 3/10 · 论文研究数据库Web应用中的数据约束检测,属于程序分析与抽象解释领域,但未涉及LLM/Agent、浮点程序分析或贝叶斯程序分析,与用户核心关注的PL与AI交叉方向不匹配。引用 9 inbox
Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu
crossref: 2026-09-12

AI 速览

一句话:通过实证研究数据库 Web 应用中数据约束的表达、演化与违规处理,并据此开发自动检测工具与 API 增强。

数据库支持的 Web 应用会持久化大量数据,并常包含限制数据长度、取值等属性的约束,这些约束对可靠性和可用性至关重要。本文系统性地研究数据约束在何处表达、涉及哪些内容、演化频率以及违规如何处理。研究发现,开发者难以在 Web 应用的不同组件和版本间保持约束一致并统一检查,从而导致多种问题。基于这些发现,作者开发了检查工具与 API 增强,可自动检测此类不一致和违规问题,进而提升这类应用的质量。

问题
数据库支持的 Web 应用中,数据约束分散在多个组件和版本中,难以保持一致和统一检查,影响应用的可靠性与可用性。
方法
通过实证研究分析数据约束的表达位置、内容、演化方式与违规处理;并基于研究发现设计自动检查工具和 API 增强。
评估
基于对数据库 Web 应用的实证研究,并实现检查工具与 API 增强来展示自动检测此类问题和提升应用质量的效果。
原文摘要(Abstract)

Database-backed web applications manipulate large amounts of persistent data, and such applications often contain constraints that restrict data length, data value, and other data properties. Such constraints are critical in ensuring the reliability and usability of these applications. In this paper, we present a comprehensive study on where data constraints are expressed, what they are about, how often they evolve, and how their violations are handled. The results show that developers struggle with maintaining consistent data constraints and checking them across different components and versions of their web applications, leading to various problems. Guided by our study, we developed checking tools and API enhancements that can automatically detect such problems and improve the quality of such applications.

链接与引用

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

BibTeX
@inproceedings{paperbot5646,
  title = {Managing data constraints in database-backed web applications},
  author = {Junwen Yang and Utsav Sethi and Cong Yan and Alvin Cheung and Shan Lu},
  booktitle = {ICSE},
  year = {2020},
  doi = {10.1145/3377811.3380375}
}