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

摘要：

针对数据模型复杂语义建模的应用需求,以及目前数据模型范畴论建模方法理论研究与工程实践方面存在的不足,建立了一种素描数据模型.该模型在模型范畴的形式化框架内,用与特定数据库建模语言无关的范畴论对数据库状态的一致性转换进行了形式化描述,扩展了传统ER模型的表示与处理功能.基于素描对图形化建模规范的支持,设计了ER模型向素描数据模型转换的算法,以精确的语义联系保证模型转换的语义完整性,并通过实验与对比分析了素描数据模型与算法的优势,为数据模型的范畴论建模方法研究提供便利、高效的形式化理论框架.

关键词：数据模型、素描、范畴论、语义、数据库

所属期刊栏目：30

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61103038;韶关市科技局资助项目2011CX/K20

在线出版日期：2013-10-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2744-2747