范疇論方法在計(jì)算機(jī)科學(xué)中的應(yīng)用（精）

第1章 范疇論基礎(chǔ)
1.1 范疇與對(duì)偶原理
1.2 函子與自然變換復(fù)合定理
1.3 極限
1.3.1 錐與共錐
1.3.2 等值子與共等值子
1.3.3 拉回與推出
1.4 伴隨
1.4.1 伴隨函子
1.4.2 模
1.4.3 Eilenberg-Moore范疇
1.4.4 Kleisli范疇
1.5 Fibrations方法
1.6 有限離散素描
第2章 在形式語(yǔ)言中的應(yīng)用
2.1 形式語(yǔ)言代數(shù)模型
2.1.1 形式語(yǔ)言代數(shù)模型
2.1.2 內(nèi)核小語(yǔ)言KSL
2.1.3 語(yǔ)言重用
2.1.4 可重用的語(yǔ)言族模型
2.2 基于模的語(yǔ)義計(jì)算模型
2.2.1 范疇語(yǔ)義計(jì)算模型研究現(xiàn)狀
2.2.2 一種基于模的范疇語(yǔ)義計(jì)算模型
2.2.3 KSL的語(yǔ)義解釋
2.2.4 KSL的語(yǔ)義規(guī)則
2.2.5 相關(guān)工作比較
2.3 形式語(yǔ)言模型轉(zhuǎn)換
2.3.1 形式語(yǔ)言模型研究現(xiàn)狀
2.3.2 形式文法模型與形式語(yǔ)言模型
2.3.3 形式文法模型范疇與形式語(yǔ)言模型范疇
2.3.4 形式語(yǔ)言模型轉(zhuǎn)換的語(yǔ)義一致性
2.3.5 完備性分析
2.3.6 相關(guān)工作比較
第3章 在數(shù)據(jù)類(lèi)型中的應(yīng)用
3.1 簡(jiǎn)單歸納數(shù)據(jù)類(lèi)型
3.1.1 謂詞fibration
3.1.2 謂詞fibration的語(yǔ)義模型
3.1.3 簡(jiǎn)單歸納數(shù)據(jù)類(lèi)型的語(yǔ)義性質(zhì)
3.1.4 簡(jiǎn)單歸納數(shù)據(jù)類(lèi)型的歸納規(guī)則
3.2 纖維化歸納數(shù)據(jù)類(lèi)型
3.2.1 重索引函子與對(duì)偶重索引函子
3.2.2 非索引fibration的語(yǔ)義模型
3.2.3 纖維化歸納數(shù)據(jù)類(lèi)型的語(yǔ)義性質(zhì)
3.2.4 纖維化歸納數(shù)據(jù)類(lèi)型的歸納規(guī)則
3.3 索引歸納數(shù)據(jù)類(lèi)型
3.3.1 纖維化索引歸納數(shù)據(jù)類(lèi)型
3.3.1.1 纖維化索引fibration的語(yǔ)義模型
3.3.1.2 纖維化索引歸納數(shù)據(jù)類(lèi)型的語(yǔ)義性質(zhì)與歸納規(guī)則
3.3.1.3 Beck-Chevalley條件與代數(shù)fibration
3.3.1.4 纖維化索引歸納數(shù)據(jù)類(lèi)型的語(yǔ)法構(gòu)造
3.3.1.5 纖維化索引歸納數(shù)據(jù)類(lèi)型的不確定語(yǔ)義計(jì)算
3.3.2 單類(lèi)索引歸納數(shù)據(jù)類(lèi)型
3.3.2.1 單類(lèi)索引fibration的語(yǔ)義模型
3.3.2.2 單類(lèi)索引歸納數(shù)據(jù)類(lèi)型的語(yǔ)義性質(zhì)
3.3.2.3 單類(lèi)索引歸納數(shù)據(jù)類(lèi)型的歸納規(guī)則
3.3.3 多類(lèi)索引歸納數(shù)據(jù)類(lèi)型
3.3.3.1 多類(lèi)索引fibration的語(yǔ)義模型
3.3.3.2 多類(lèi)索引歸納數(shù)據(jù)類(lèi)型的語(yǔ)義性質(zhì)
3.3.3.3 多類(lèi)索引歸納數(shù)據(jù)類(lèi)型的歸納規(guī)則
3.4 小結(jié)
3.5 簡(jiǎn)單共歸納數(shù)據(jù)類(lèi)型
3.5.1 關(guān)系fibration與等式函子
3.5.2 簡(jiǎn)單共歸納數(shù)據(jù)類(lèi)型的語(yǔ)義行為
3.5.3 簡(jiǎn)單共歸納數(shù)據(jù)類(lèi)型的共歸納規(guī)則
3.5.4 相關(guān)研究
3.6 索引共歸納數(shù)據(jù)類(lèi)型
3.6.1 單類(lèi)索引fibration與其等式函子
3.6.2 商函子與保持等式的提升
3.6.3 索引共歸納數(shù)據(jù)類(lèi)型的語(yǔ)義行為
3.6.4 索引共歸納數(shù)據(jù)類(lèi)型的共歸納規(guī)則
第4章 在數(shù)據(jù)庫(kù)系統(tǒng)中的應(yīng)用
4.1 時(shí)態(tài)數(shù)據(jù)模型
4.1.1 時(shí)態(tài)數(shù)據(jù)模型研究現(xiàn)狀
4.1.2 時(shí)間模型
4.1.3 形式化時(shí)態(tài)數(shù)據(jù)模型
4.1.4 時(shí)態(tài)形式語(yǔ)言模型
4.1.5 時(shí)態(tài)形式語(yǔ)言模型族
4.2 范疇數(shù)據(jù)模型
4.2.1 范疇數(shù)據(jù)模型相關(guān)研究工作
4.2.2 詞范疇與擴(kuò)張函子
4.2.3 范疇數(shù)據(jù)模型.SDM
4.2.4 ER模型向SDM轉(zhuǎn)換的算法
4.2.5 相關(guān)工作比較
4.2.6 范疇數(shù)據(jù)模型的總結(jié)與展望
4.3 視圖更新
4.3.1 視圖定義映射的提升
4.3.2 視圖更新函子的分裂性
4.3.3 視圖更新函子的Grothendieck構(gòu)造
第5章 在共享系統(tǒng)數(shù)據(jù)模型中的應(yīng)用
5.1 范疇共享系統(tǒng)數(shù)據(jù)模型的研究現(xiàn)狀
5.2 范疇共享系統(tǒng)數(shù)據(jù)模型的建立
5.3 語(yǔ)義性質(zhì)分析
5.4 語(yǔ)義行為描述
5.5 主要工作與貢獻(xiàn)
5.6 范疇共享系統(tǒng)數(shù)據(jù)模型研究當(dāng)前面臨的主要問(wèn)題
參考文獻(xiàn)
索引