共享系统数据模型研究与应用
| 摘要 | 第1-8页 |
| Abstract | 第8-11页 |
| 目录 | 第11-13页 |
| 第一章 绪论 | 第13-31页 |
| ·研究背景 | 第13-14页 |
| ·研究现状 | 第14-28页 |
| ·数据模型的相关技术 | 第14-17页 |
| ·主要的数据模型 | 第17-24页 |
| ·一些典型的共享系统 | 第24-28页 |
| ·主要工作 | 第28-29页 |
| ·论文组织 | 第29-31页 |
| 第二章 共享规则的形式化定义 | 第31-80页 |
| ·基本概念 | 第31-35页 |
| ·共享规则概述 | 第35-39页 |
| ·共享发布接收规则 | 第39-41页 |
| ·共享组合发布规则 | 第41-44页 |
| ·创建子对象规则 | 第44-47页 |
| ·复制父对象规则 | 第47-51页 |
| ·共享中止及停享恢复规则 | 第51-76页 |
| ·对象共享发布的停止规则 | 第52-54页 |
| ·恢复共享发布规则 | 第54-56页 |
| ·对象共享发布的撤销规则 | 第56-61页 |
| ·共享对象删除规则 | 第61-76页 |
| ·对象合并与移动规则 | 第76-78页 |
| ·本章小结 | 第78-80页 |
| 第三章 基本共享数据模型 BSDM | 第80-98页 |
| ·数据结构 | 第80-83页 |
| ·数据操作 | 第83页 |
| ·约束规则 | 第83-97页 |
| ·辅助函数 | 第84-90页 |
| ·语义方程 | 第90-97页 |
| ·本章小结 | 第97-98页 |
| 第四章 BSDM 形式语言代数模型 BKL | 第98-110页 |
| ·形式语言基本定义与研究现状 | 第98-103页 |
| ·形式语言代数模型 BKL | 第103-106页 |
| ·BKL 可重用的语言族模型 | 第106-109页 |
| ·本章小结 | 第109-110页 |
| 第五章 BKL 的范畴论方法 | 第110-128页 |
| ·范畴论的基本概念 | 第110-112页 |
| ·BKL 语言族的范畴模型 | 第112-116页 |
| ·BKL 语法识别的不确定计算 | 第116-119页 |
| ·BKL 的语义完整性 | 第119-126页 |
| ·素描数据模型的研究现状 | 第120-121页 |
| ·素描与模型范畴 | 第121-123页 |
| ·BSDM 到 SDM 的转换 | 第123-124页 |
| ·ER 模型转换 SDM 的算法 | 第124-126页 |
| ·本章小结 | 第126-128页 |
| 第六章 共享系统 Wetoband 的设计与实现 | 第128-158页 |
| ·Wetoband 体系结构 | 第128-130页 |
| ·Wetoband 形式语言模型 WFL | 第130-147页 |
| ·WFL 基本定义 | 第130-133页 |
| ·资料的语义方程 | 第133-136页 |
| ·工具的语义方程 | 第136-139页 |
| ·互动室的语义方程 | 第139-142页 |
| ·槽的语义方程 | 第142-144页 |
| ·帮区模板的语义方程 | 第144-145页 |
| ·帮区的语义方程 | 第145-146页 |
| ·用户的语义方程 | 第146-147页 |
| ·Wetoband 系统分布式数据库完整性技术 | 第147-157页 |
| ·分布式数据库完整性技术研究现状 | 第148-149页 |
| ·分布式数据库模式与示例数据库 | 第149-151页 |
| ·检查策略与完整性测试生成算法 | 第151-153页 |
| ·完整性检查代价评估模型 | 第153-157页 |
| ·本章小结 | 第157-158页 |
| 结论 | 第158-161页 |
| 参考文献 | 第161-166页 |
| 攻读博士学位期间取得的研究成果 | 第166-167页 |
| 致谢 | 第167-168页 |
| 答辩委员会对论文的评定意见 | 第168页 |
