摘要
针对数据模型复杂语义建模的应用需求,以及目前数据模型范畴论建模方法理论研究与工程实践方面存在的不足,建立了一种素描数据模型。该模型在模型范畴的形式化框架内,用与特定数据库建模语言无关的范畴论对数据库状态的一致性转换进行了形式化描述,扩展了传统ER模型的表示与处理功能。基于素描对图形化建模规范的支持,设计了ER模型向素描数据模型转换的算法,以精确的语义联系保证模型转换的语义完整性,并通过实验与对比分析了素描数据模型与算法的优势,为数据模型的范畴论建模方法研究提供便利、高效的形式化理论框架。
To satisfy the application demands of modeling for complex semantics of data model, and to overcome the draw- backs 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 specifica- tion, it also provided an algorithm of translating ER model to sketch data model. Besides, it compared and analyzed the advan- tages 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.
出处
《计算机应用研究》
CSCD
北大核心
2013年第9期2744-2747,共4页
Application Research of Computers
基金
国家自然科学基金资助项目(61103038)
韶关市科技局资助项目(2011CX/K20)
关键词
数据模型
素描
范畴论
语义
数据库
data model
sketch
category theory
semantics
database
