基于子结构逻辑的不确定性语义时态查询中间件研究
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-7页 |
| 第一章 绪论 | 第12-16页 |
| 1.1 研究背景及意义 | 第12-13页 |
| 1.2 国内外研究现状 | 第13-14页 |
| 1.3 论文的研究内容 | 第14-15页 |
| 1.4 论文的组织架构 | 第15-16页 |
| 第二章 预备知识 | 第16-26页 |
| 2.1 查询语言与时态数据模型 | 第16-17页 |
| 2.2 时态关系代数 | 第17-20页 |
| 2.2.1 关系演算与形式化描述 | 第17-19页 |
| 2.2.2 时态完备性 | 第19-20页 |
| 2.3 逻辑方法与知识表达 | 第20-23页 |
| 2.4 Allen方法及时态区间运算 | 第23-25页 |
| 2.5 本章小结 | 第25-26页 |
| 第三章 时态查询中间件原型架构与建模 | 第26-50页 |
| 3.1 中间件的时态查询语义转换 | 第26-30页 |
| 3.1.1 时态逻辑演算 | 第26-29页 |
| 3.1.2 并发Lambek演算系统及代数模型 | 第29-30页 |
| 3.2 子结构逻辑系统 | 第30-35页 |
| 3.2.1 系统的判定性 | 第30-31页 |
| 3.2.2 计算复杂性证明 | 第31-33页 |
| 3.2.3 查询操作与函数依赖 | 第33-35页 |
| 3.3 中间件的时态查询句法分析 | 第35-38页 |
| 3.4 中间件原型建模 | 第38-49页 |
| 3.4.1 系统整体架构 | 第38-41页 |
| 3.4.2 Valid函数及时态关系运算扩展 | 第41-49页 |
| 3.5 本章小结 | 第49-50页 |
| 第四章 中间件原型验证与实验分析 | 第50-62页 |
| 4.1 中间件原型查询准确率验证实验 | 第50-59页 |
| 4.2 时态中间件查询效率对比实验 | 第59-61页 |
| 4.3 实验结果分析及说明 | 第61页 |
| 4.4 本章小结 | 第61-62页 |
| 总结与展望 | 第62-63页 |
| 参考文献 | 第63-67页 |
| 攻读学位期间发表论文 | 第67-69页 |
| 致谢 | 第69页 |
