论文部分内容阅读
数据模型是共享系统设计与开发的核心与基础,范畴论对研究共享系统数据模型的建模方法具有独特的优势,为语义计算与程序逻辑的精确描述提供坚实数学基础,同时也具有广阔的应用前景.对共享系统数据模型的范畴论基础、基于范畴论的共享系统数据模型的研究现状及当前面临的主要问题等方面的主要和最新研究成果进行简要地介绍,以引起国内相关研究领域学者对基于范畴论的共享系统数据模型的关注.