基于范畴论的共享系统数据模型研究综述  

A Survey on Sharing System Data Model Based on Category Theory

作　　者：苗德成[1] 

机构地区：[1]韶关学院信息科学与工程学院,广东韶关512005

出　　处：《韶关学院学报》2015年第10期15-20,共6页Journal of Shaoguan University

基　　金：广东省自然科学基金项目(S2013010015944);广东省高等学校优秀青年教师培养计划项目(YQ2014155);韶关市科技计划项目(2013CX/K61)

摘　　要：数据模型是共享系统设计与开发的核心与基础,范畴论对研究共享系统数据模型的建模方法具有独特的优势,为语义计算与程序逻辑的精确描述提供坚实数学基础,同时也具有广阔的应用前景.对共享系统数据模型的范畴论基础、基于范畴论的共享系统数据模型的研究现状及当前面临的主要问题等方面的主要和最新研究成果进行简要地介绍,以引起国内相关研究领域学者对基于范畴论的共享系统数据模型的关注.Data model is core and basis of design and development for sharing system , and category theory has particular advantages on modelling sharing system data model, which provides solid math foundation for describing semantic computation and program logic accurately, meanwhile, it has wide application prospect. This paper briefly introduced some primary and latest research fruits including categorical basis of sharing system data model , the status quo of sharing system data model based on category theory and present prime problems. It is hoped that it can raise the awareness of domestic researchers in related fields for sharing system data model based on category theory.

关 键 词：数据模型 范畴论 共享系统 语义计算 

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