[发明专利]一种数据描述语言中记录类型的合并方法

摘要

本发明提供一种数据描述语言中记录类型的合并方法，所述方法包括：按照递归类型定义，将参与合并的原左记录类型拆分为单属性记录和另一个记录类型的联合，即({k:T}|R0)；接着递归合并{k:T}和原右记录类型，转换得到中间类型继续与R0调用递归合并处理，得到最终的结果类型。通过该合并方法获得的结果记录类型满足良构的条件，即所有的属性名都是唯一的，同时属性名对应的值类型都是形式良好的。通过采用本发明的合并算法，能够达到简化用户操作、降低运维成本的目的，便于解决多人协同开发中可能存在的记录类型冲突的问题。