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

Categorical approach for making model of data model

作　　者：苗德成[1] 奚建清[2] 苏锦钿[2] 

机构地区：[1]韶关学院数学与信息科学学院,广东韶关512005 [2]华南理工大学计算机科学与工程学院,广州510640

出　　处：《计算机应用研究》2013年第9期2744-2747,共4页Application Research of Computers

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

摘　　要：针对数据模型复杂语义建模的应用需求,以及目前数据模型范畴论建模方法理论研究与工程实践方面存在的不足,建立了一种素描数据模型。该模型在模型范畴的形式化框架内,用与特定数据库建模语言无关的范畴论对数据库状态的一致性转换进行了形式化描述,扩展了传统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.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]