温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。
提供了用于提高计算机程序、例如数据库管理系统（DBMS）的性能的系统和方法。这种方法涉及基于程序表示（PR）来识别DBMS代码中的变量的不变间隔。基于PR和DBMS的生态系统规范，推导出DBMS中的程序交互和域断言。基于DBMS代码中的变量...该专利属于数据仓库投资有限公司;代表亚利桑那大学的亚利桑那董事会所有，仅供学习研究参考，未经过数据仓库投资有限公司;代表亚利桑那大学的亚利桑那董事会授权不得商用。