基于Fibrations理论的共享系统数据模型

摘要：

传统共享系统数据模型的建模方法在语义性质分析和语义行为描述方面存在不足,针对以上问题提出了一种基于Fibrations理论的共享系统数据模型.主要工作体现在两个方面:首先,应用真值函子、保持真值的提升与内涵函子并结合代数方法精确分析了语义性质,应用等式函子、保持等式的提升及商函子并结合共代数方法形式化描述了语义行为;其次,在Fibrations理论框架内构造复杂归纳与共归纳数据结构上参数化的递归与共递归操作,抽象描述具有普适意义的归纳与共归纳规则,结合实例简要介绍了Fibrations理论的应用.相对于范畴论等传统方法,简洁描述与灵活扩展的Fibrations理论对共享系统数据模型的语义性质和语义行为进行了精确分析与形式化描述,抽象描述了复杂数据结构具有普适性的归纳与共归纳规则.

关键词：数据模型、Fibrations理论、语义性质、语义行为、共享系统

所属期刊栏目：39

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

资助基金：国家自然科学基金61103039;广东省自然科学基金S2013010015944;广东省战略性新兴产业核心技术攻关2012A010701011,2012A010701003;广东省高等学校优秀青年教师培养计划YQ2014155;韶关市科技计划2013CX/K61

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

页数：共10页

页码：1665-1674