一种对象约束描述至数据库查询语句转换方法和系统

本发明公开一种对象约束描述至数据库查询语句转换方法和系统，包括：定义可支持的OCL语句的语法、进行转换的标准化的OCL语句的语法和扩展的关系代数语法；将可支持的OCL语句改写为语义一致的标准化的OCL语句的方法；设计标准化的OCL语句至扩展的关系代数的转换算法；设计关系代数语句的优化改写方法；设计关系代数至SQL数据查询语句的转换算法；本发明能够支持更加丰富的OCL对象约束表达式，覆盖真实业务场景中常用约束表达；通过将支持的OCL语句改写为标准化OCL语句能够使转换算法简洁、清晰，可维护性好；通过将扩展的关系代数作为中间表示，便于将OCL语句转换为不同关系数据库查询语句，也便于在关系代数语句上进行优化改写，使转换后的查询语句更加高效。