<b>Revolutionizing Database Design through a Scalable, Formal, Learning-Powered</b><b>Systematic Tradeoff Analysis</b>

Optimizing database design is crucial for the performance of any software systems reliant on databases. However, current database design tools offer limited support for evaluating the performance implications of database designs. Instead, they often rely on single-point solutions guided by static heuristics, offering limited insights. While state-of-the-art design tradeoff analysis tools extend greater assistance, their usage becomes impractical when dealing with large-scale, real-world systems hosting thousands of potential designs. Specifically, the exorbitant cost associated with dynamically analyzing the performance of each conceivable design impedes the scalability of these cutting-edge techniques. In this paper, we introduce an innovative solution grounded in machine learning to efficiently and scalably identify and present optimal tradeoffs within the realm of database designs for object-oriented software systems. Our approach centers on training a transformer model using a dataset of formally analyzed database designs. This trained model is then employed to identify Pareto-optimal design tradeoffs, drastically reducing the number of design candidates requiring dynamic evaluation. These select designs can subsequently undergo evaluation and comparison, with the designs offering the best tradeoffs presented to the user, significantly reducing the time required compared to state-of-the-art techniques.The extensive experiments across various software database systems corroborate our approach's high effectiveness in identifying optimal design alternatives overlooked by leading analysis tools. Additionally, our results demonstrate an impressive 98.21 % improvement in analysis efficiency compared to the current state of the art, reducing tradeoff analysis time from 58 days to just 43 minutes—a remarkable advancement in efficiency.

对于依赖数据库的各类软件系统而言，优化数据库设计对其性能表现至关重要。然而，现有的数据库设计工具对评估数据库设计的性能影响仅提供有限支持。此类工具往往依赖基于静态启发式规则的单点解决方案，所能提供的分析视角极为有限。尽管前沿的数据库设计权衡分析工具能提供更多辅助，但在处理承载数千种潜在设计方案的大规模真实系统时，其应用便不再具备实用性。具体而言，对每一种可设想的设计方案进行动态性能分析所需的高昂成本，制约了这些前沿技术的可扩展性。
本文提出了一种基于机器学习的创新解决方案，可高效且具备可扩展性地识别并呈现面向对象软件系统数据库设计领域内的最优权衡方案。我们的方法核心在于，使用经过形式化分析的数据库设计数据集训练一个Transformer（Transformer）模型。随后利用该训练完成的模型识别帕累托最优（Pareto-optimal）设计权衡方案，大幅减少了需要进行动态评估的设计候选集规模。筛选出的设计方案后续可进行评估与对比，最终将最优权衡设计方案呈现给用户，与前沿技术相比可显著缩短所需耗时。
针对各类软件数据库系统开展的大量实验证实，我们的方法能高效识别出主流分析工具所遗漏的最优设计方案，具备出色的有效性。此外，实验结果显示，相较于当前前沿技术，我们的方法在分析效率上实现了高达98.21%的提升，将权衡分析耗时从58天缩短至仅43分钟，在效率层面实现了突破性进展。