公开(公告)号：CN107851003A

公开(公告)日：2018-03-27

申请号：CN201680020066.4

申请日：2016-03-31

申请人： 数据仓库投资有限公司 ,  代表亚利桑那大学的亚利桑那董事会

发明人： 理查德·T·斯诺德格拉斯 ,  索木亚·K·德布雷 ,  张瑞 ,  斯蒂芬·托马斯 ,  肖恩·梅森

IPC分类号： G06F8/41 ,  G06F17/30

CPC分类号： G06F17/30466 ,  G06F8/443 ,  G06F17/30474

摘要： 提供了用于提高计算机程序、例如数据库管理系统（DBMS）的性能的系统和方法。这种方法涉及基于程序表示（PR）来识别DBMS代码中的变量的不变间隔。基于PR和DBMS的生态系统规范，推导出DBMS中的程序交互和域断言。基于DBMS代码中的变量的不变间隔、PR、与DBMS相关联的一个或多个执行概要、推导的程序交互和推导的域断言，标识一个或多个候选片段。然后基于一个或多个候选片段生成Spiff。这样的spiff包括谓词查询spiff、Hash-join查询spiff、聚合spiff、页面spiff和字符串匹配spiff。基于由这些spiff生成的专业化代码修改DBMS代码。