时态数据库与时态知识推理的研究与实现
| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-5页 |
| 中文目录 | 第5-8页 |
| 英文目录 | 第8-11页 |
| 第一章 绪论 | 第11-17页 |
| 1．1 时态数据库产生的背景 | 第11-12页 |
| 1．2 国内外概况 | 第12-13页 |
| 1．3 发展趋势 | 第13页 |
| 1．4 SIDSS系统背景 | 第13-14页 |
| 1．5 本文的主要工作 | 第14-17页 |
| 第二章 时态数据库简介 | 第17-30页 |
| 2．1 时态数据库的一些术语 | 第17-20页 |
| 2．1．1 三种时间 | 第17页 |
| 2．1．2 四种数据库 | 第17-18页 |
| 2．1．3 三种时态数据类型 | 第18-19页 |
| 2．1．4 六种时间添加方式 | 第19-20页 |
| 2．1．5 两种时间粒度 | 第20页 |
| 2．2 时态数据库的分类 | 第20-27页 |
| 2．2．1 快照数据库 | 第20-22页 |
| 2．2．2 冋滚数据库 | 第22-23页 |
| 2．2．3 历史数据库 | 第23-25页 |
| 2．2．4 时态数据库 | 第25-26页 |
| 2．2．5 四种类别数据库的比较与总结 | 第26-27页 |
| 2．3 时态查询语言 | 第27-29页 |
| 2．4 本章小结 | 第29-30页 |
| 第三章 时态数据管理 | 第30-40页 |
| 3．1 数据模型 | 第30页 |
| 3．2 时态数据模型 | 第30-32页 |
| 3．3 设计时态数据库 | 第32-35页 |
| 3．3．1 概念设计 | 第33-35页 |
| 3．3．2 逻辑设计 | 第35页 |
| 3．4 工资时态知识数据库管理系统的实现 | 第35-39页 |
| 3．4．1 STDBMS实现的主要环节 | 第36-37页 |
| 3．4．2 查询处理 | 第37-39页 |
| 3．4．3 索引时态数据 | 第39页 |
| 3．4．4 TDBMS实现中的困难 | 第39页 |
| 3．5 本章小结 | 第39-40页 |
| 第四章 SIDSS的时态数据模型 | 第40-61页 |
| 4．1 SIDSS的系统结构模型 | 第40-46页 |
| 4．1．1 数据库结构 | 第41-42页 |
| 4．1．2 事件处理机制 | 第42-43页 |
| 4．1．3 时态数据管理机制 | 第43-46页 |
| 4．2 工资时态知识关系模型的实现 | 第46-55页 |
| 4．2．1 时间的表达 | 第46页 |
| 4．2．2 工资时态知识关系模型的组件 | 第46-51页 |
| 4．2．3 随时间变化的关系模型化 | 第51-53页 |
| 4．2．4 随时间变化的属性模型化 | 第53-55页 |
| 4．3 工资时态数据的查询转化 | 第55-57页 |
| 4．4 工资时态数据的管理 | 第57-59页 |
| 4．5 本章小节 | 第59-61页 |
| 第五章 SIDSS中知识库的时态表达模型 | 第61-77页 |
| 5．1 知识库的时态历史模型结构及表达模型结构 | 第61-65页 |
| 5．1．1 知识库的时态历史模型结构 | 第61-63页 |
| 5．1．2 知识库的时态表达模型结构 | 第63-65页 |
| 5．1．3 两种模型结构之间的关系 | 第65页 |
| 5．2 形式化时态逻辑推理 | 第65-68页 |
| 5．3 规则库／方法库的时态表达 | 第68-73页 |
| 5．3．1 表实现方案 | 第69-72页 |
| 5．3．2 脚本实现方案 | 第72-73页 |
| 5．4 知识库时态驱动的设想 | 第73-74页 |
| 5．5 知识的时态冲突和时态协同 | 第74-76页 |
| 5．5．1 时态冲突的解决 | 第75页 |
| 5．5．2 时态协同的解决 | 第75-76页 |
| 5．6 小结 | 第76-77页 |
| 结束语 | 第77-79页 |
| 参考文献 | 第79-83页 |
| 攻读学位期间发表的学术论文 | 第83-84页 |
| 致谢 | 第84页 |
