全序偏序时态数据库的研究
| 摘要 | 第1-7页 |
| Abstract | 第7-16页 |
| 第1章 绪论 | 第16-29页 |
| ·课题的背景及意义 | 第16-19页 |
| ·时态数据库研究现状 | 第19-27页 |
| ·时态数据库研究概况 | 第19-21页 |
| ·时态数据依赖研究现状 | 第21-24页 |
| ·时态范式研究现状 | 第24-27页 |
| ·课题来源及主要研究内容 | 第27-29页 |
| ·课题来源 | 第27页 |
| ·主要研究内容 | 第27-29页 |
| 第2章 全序时态数据库的TFDs问题研究 | 第29-52页 |
| ·多粒度时态数据库设计基本理论 | 第29-35页 |
| ·多粒度时态数据库中基本概念 | 第29-31页 |
| ·TFDs推导公理 | 第31-32页 |
| ·多粒度时态数据库范式 | 第32-33页 |
| ·时态类型间操作的复杂性 | 第33-35页 |
| ·全序时态数据库中的TFDs成员籍问题 | 第35-43页 |
| ·基本概念 | 第35-38页 |
| ·全序时态模式中的全序TFDs推导规则 | 第38页 |
| ·全序时态模式中属性集的闭包 | 第38-41页 |
| ·全序时态模式中TFDs成员籍问题 | 第41-42页 |
| ·应用实例 | 第42-43页 |
| ·全序时态数据库的TFDs覆盖 | 第43-51页 |
| ·基本概念 | 第43-44页 |
| ·全序TFD集的覆盖算法 | 第44-49页 |
| ·应用实例 | 第49-51页 |
| ·本章小结 | 第51-52页 |
| 第3章 全序时态数据库范式 | 第52-73页 |
| ·全序时态BC范式 | 第52-65页 |
| ·基本概念 | 第52-54页 |
| ·时态候选关键字集算法 | 第54-56页 |
| ·全序时态BC范式分解算法 | 第56-60页 |
| ·应用实例 | 第60-65页 |
| ·全序时态简单范式 | 第65-72页 |
| ·全序时态简单候选关键字集算法 | 第65-66页 |
| ·全序时态简单范式判定算法 | 第66-69页 |
| ·全序时态简单范式分解算法 | 第69-72页 |
| ·本章小结 | 第72-73页 |
| 第4章 强全序时态模式中多值依赖问题研究 | 第73-99页 |
| ·时态多值依赖 | 第73-78页 |
| ·规则的时态多值依赖 | 第73-75页 |
| ·全序RTMVD推理规则 | 第75-78页 |
| ·RTMVD与强全序时态模块模式无损分解 | 第78-82页 |
| ·强全序时态模式中混合依赖集成员籍 | 第82-93页 |
| ·全序TFDs和RTMVDs混合推导规则 | 第83页 |
| ·强全序时态模式中属性集的依赖基和闭包 | 第83-90页 |
| ·强全序时态模式中成员籍问题 | 第90-92页 |
| ·应用实例 | 第92-93页 |
| ·全序时态混合依赖集覆盖 | 第93-97页 |
| ·基本概念 | 第93-94页 |
| ·全序时态混合依赖集的覆盖算法 | 第94-97页 |
| ·本章小结 | 第97-99页 |
| 第5章 偏序时态模块模式的规范化 | 第99-111页 |
| ·引言 | 第99-100页 |
| ·偏序时态数据库中基本概念 | 第100-101页 |
| ·非严格偏序时态模式中TFDs的闭包问题 | 第101-104页 |
| ·非严格偏序时态模式中偏序TFDs推导规则 | 第102页 |
| ·非严格偏序时态模式中属性集的闭包 | 第102-103页 |
| ·应用实例 | 第103-104页 |
| ·非严格偏序时态BC范式 | 第104-110页 |
| ·基本概念 | 第104-105页 |
| ·NSPO_TBCNF判定算法 | 第105-106页 |
| ·NSPO_TBCNF分解 | 第106-110页 |
| ·本章小结 | 第110-111页 |
| 结论 | 第111-113页 |
| 参考文献 | 第113-122页 |
| 攻读博士学位期间发表的学术论文 | 第122-123页 |
| 致谢 | 第123页 |
