共享系統(tǒng)數(shù)據(jù)模型

　　傳統(tǒng)共享系統(tǒng)數(shù)據(jù)模型的建模方法在語義性質(zhì)分析和語義行為描述方面存在不足，針對(duì)以上問題提出了一種基于Fibrations理論的共享系統(tǒng)數(shù)據(jù)模型。主要工作體現(xiàn)在兩個(gè)方面：首先，應(yīng)用真值函子、保持真值的提升與內(nèi)涵函子并結(jié)合代數(shù)方法精確分析了語義性質(zhì)，應(yīng)用等式函子、保持等式的提升及商函子并結(jié)合共代數(shù)方法形式化描述了語義行為；其次，在Fibrations理論框架內(nèi)構(gòu)造復(fù)雜歸納與共歸納數(shù)據(jù)結(jié)構(gòu)上參數(shù)化的遞歸與共遞歸操作，抽象描述具有普適意義的歸納與共歸納規(guī)則，結(jié)合實(shí)例簡(jiǎn)要介紹了Fibrations理論的應(yīng)用。相對(duì)于范疇論等傳統(tǒng)方法，簡(jiǎn)潔描述與靈活擴(kuò)展的Fibrations理論對(duì)共享系統(tǒng)數(shù)據(jù)模型的語義性質(zhì)和語義行為進(jìn)行了精確分析與形式化描述，抽象描述了復(fù)雜數(shù)據(jù)結(jié)構(gòu)具有普適性的歸納與共歸納規(guī)則。