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

计算机工程与科学

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

苗德成1,奚建清2,戴经国1

(1.韶关学院信息科学与工程学院,广东韶关 512005;2.华南理工大学软件学院,广东广州 510640)

收稿日期:2015-08-25 修回日期:2016-03-30 出版日期:2017-09-25 发布日期:2017-09-25
基金资助:
国家自然科学基金(61103039);广东省自然科学基金(S2013010015944);广东省战略性新兴产业核心技术攻关(2012A010701011,2012A010701003);广东省高等学校优秀青年教师培养计划(YQ2014155);韶关市科技计划(2013CX/K61)

A data model of sharing system based on Fibrations theory

MIAO De-cheng1,XI Jian-qing2,DAI Jing-guo1

(1.School of Information Science and Engineering,Shaoguan University,Shaoguan 512005;

2.School of Software,South China University of Technology,Guangzhou 510640,China)

Received:2015-08-25 Revised:2016-03-30 Online:2017-09-25 Published:2017-09-25

摘要/Abstract

摘要：

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

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

Abstract:

There are some drawbacks for traditional modeling methods of data model of sharing system in analyzing semantic properties and describing semantic behaviors. Aiming at the problems mentioned above we present a data model of sharing system based on Fibrations theory. We contribute in the following two aspects. Firstly, we accurately analyze semantic properties by combining algebras methods with truth functor, lifting preserving-truth and comprehension functor, and formally depict semantic behaviors by combining co-algebras methods with equation functor, lifting preserving-equation and quotient functor. Secondly, in the framework of Fibrations theory we construct parameterized recursive and co-recursive operations on complex inductive and co-inductive data structure to abstractly describe inductive and co-inductive rules with universality, and briefly introduce applications of Fibrations theory by examples. Compared with traditional methods such as category theory, the Fibrations theory of brief descriptions and flexible expansibility can accurately analyze semantics properties, formally describe semantic behaviors of data model of sharing system, and abstractly depict inductive and co-inductive rules with universality of complex data structures.

Key words:

data model, Fibrations theory, semantic property, semantic behavior, sharing system

苗德成1,奚建清2,戴经国1. 基于Fibrations理论的共享系统数据模型[J]. 计算机工程与科学.

MIAO De-cheng1,XI Jian-qing2,DAI Jing-guo1. A data model of sharing system based on Fibrations theory[J]. Computer Engineering & Science.

[1]	郭昆1，宋杰1，王洁萍2，朱志良1. NoSQL数据库间数据交换代价研究[J]. J4, 20160101, 38(01): 33-40.
[2]	杨冬菊1,2,徐晨阳1,2. 大数据环境下基于元模型控制的数据质量保障技术研究[J]. 计算机工程与科学, 2019, 41(02): 197-206.
[3]	郭昆1，宋杰1，王洁萍2，朱志良1. NoSQL数据库间数据交换代价研究[J]. J4, 2016, 38(01): 33-40.
[4]	宋石磊，宋君强，任开军. 气象数据归档与查询系统超立方体结构并行算法设计[J]. J4, 2014, 36(12): 2410-2417.
[5]	熊芳1，黄宏斌2，黄玉成1，冯嵩1，胡建中1. 一种基于语义相似度的信息资源语义聚类算法[J]. J4, 2012, 34(11): 175-179.
[6]	李欢, 汤晓安, 孙茂印, 谢耀华. 基于域对象的海战场信息数据集成与应用[J]. J4, 2010, 32(2): 95-98.
[7]	王岚[1] 王萍[2]. 数据挖掘在远程教育系统中个性化教育的应用研究[J]. J4, 2008, 30(10): 93-95.
[8]	王诚[1] 刘彦明[2]. 电信渠道建设系统中分析环境的构建[J]. J4, 2007, 29(12): 117-119.
[9]	黄宏斌邓苏马丽丽张维明刘震. 面向语义的元数据模型及OWL表示[J]. J4, 2007, 29(11): 105-109.
[10]	黄宏斌邓苏张维明刘震. 基于语义覆盖网络的信息组织与服务体系框架[J]. J4, 2007, 29(10): 20-25.
[11]	何涛[1] 刘君强[2] 张学斌[3]. 异构数据源数据集成的研究[J]. J4, 2006, 28(9): 132-135.
[12]	刘云生李博. 时态数据库中二维数据的合并[J]. J4, 2006, 28(11): 76-78.
[13]	杨柳杨贯中. 基于金字塔的图像恢复算法[J]. J4, 2005, 27(5): 36-38.
[14]	赵康边计年吴强薛宏熙. C语言系统描述的HCDFG-Ⅱ实现[J]. J4, 2005, 27(4): 80-83.
[15]	王治纲王晓刚卢正鼎. 多数据库系统中基于角色的访问控制策略研究[J]. J4, 2005, 27(2): 55-57.