一种数据模型的范畴论建模方法

摘要

To satisfy the application demands of modeling for complex semantics of data model,and to overcome the drawbacks of the existing modeling methods of data model based on category theory both in theoretical research and engineering practice,this paper made a sketch data model.The model described formally the consistency transformation of database states by category theory independent of particular database modeling languages in the framework of model category,which extended the expressive and process functions of traditional ER model.Based on the support of sketch for graphical modeling specification,it also provided an algorithm of translating ER model to sketch data model.Besides,it compared and analyzed the advantages of sketch data model and the algorithm through experiments so as to provide a convenient and efficient formal theory framework for categorical method of data model.%针对数据模型复杂语义建模的应用需求,以及目前数据模型范畴论建模方法理论研究与工程实践方面存在的不足,建立了一种素描数据模型.该模型在模型范畴的形式化框架内,用与特定数据库建模语言无关的范畴论对数据库状态的一致性转换进行了形式化描述,扩展了传统ER模型的表示与处理功能.基于素描对图形化建模规范的支持,设计了ER模型向素描数据模型转换的算法,以精确的语义联系保证模型转换的语义完整性,并通过实验与对比分析了素描数据模型与算法的优势,为数据模型的范畴论建模方法研究提供便利、高效的形式化理论框架.