一种基于关系代数的OCL至SQL代码生成方法

本发明公开一种基于关系代数的OCL至SQL代码生成方法，设计了一种关系代数的扩展，通过证明该扩展关系代数的语义集与OCL的给定语义集等价，使得整体的代码生成工作可以通过先将OCL转化至关系代数表达式，再将所得的关系代数表达式转化为SQL查询语句的方式完成。除此以外，在OCL至关系代数的过程中，所得的表达式会经由优化算法来进行简化，以尽可能降低结果语句的复杂度。本发明具有自动高效、优化能力强、通用性高等特点，相较于现有技术在OCL语义的覆盖度以及结果语句的执行效率上均有较大提升。