数据一致性的计算复杂性理论和算法研究
| 摘要 | 第4-7页 |
| ABSTRACT | 第7-9页 |
| 第1章 绪论 | 第16-35页 |
| 1.1 课题背景及研究意义 | 第16-18页 |
| 1.2 研究现状及分析 | 第18-31页 |
| 1.2.1 基于语义规则的一致性描述方法与挖掘 | 第18-24页 |
| 1.2.2 数据不一致性的检测与修复 | 第24-26页 |
| 1.2.3 不一致关系数据上的查询回答 | 第26-30页 |
| 1.2.4 相关理论基础及其它方面 | 第30-31页 |
| 1.3 本文的主要研究内容 | 第31-35页 |
| 第2章 数据一致性表达机理 | 第35-57页 |
| 2.1 引言 | 第35页 |
| 2.2 数据一致性陈述式表达法 | 第35-38页 |
| 2.2.1 函数依赖 | 第36-37页 |
| 2.2.2 条件函数依赖 | 第37-38页 |
| 2.3 数据一致性规则发现 | 第38-50页 |
| 2.3.1 人工定义与自动发现 | 第38-39页 |
| 2.3.2 条件函数依赖自动发现算法 | 第39-50页 |
| 2.4 实验 | 第50-56页 |
| 2.4.1 实验配置 | 第51页 |
| 2.4.2 实验结果分析 | 第51-56页 |
| 2.5 本章小结 | 第56-57页 |
| 第3章 数据不一致性评估问题的复杂性和算法 | 第57-77页 |
| 3.1 引言 | 第57-58页 |
| 3.2 问题定义 | 第58-59页 |
| 3.3 问题的复杂性 | 第59-65页 |
| 3.4 问题的近似算法 | 第65-71页 |
| 3.4.1 冲突图 | 第65-66页 |
| 3.4.2 基于冲突图的基本近似算法 | 第66-67页 |
| 3.4.3 基于冲突图的高级近似算法 | 第67-69页 |
| 3.4.4 高级近似算法的近优化性 | 第69-71页 |
| 3.5 实验 | 第71-75页 |
| 3.5.1 实验配置 | 第71页 |
| 3.5.2 实验结果分析 | 第71-75页 |
| 3.6 本章小结 | 第75-77页 |
| 第4章 基于反馈的数据修复问题的复杂性和算法 | 第77-112页 |
| 4.1 引言 | 第77-80页 |
| 4.2 问题定义 | 第80-82页 |
| 4.2.1 反馈传播与副作用 | 第80页 |
| 4.2.2 条件函数依赖约束的删除传播问题定义 | 第80-81页 |
| 4.2.3 条件函数依赖约束的插入传播问题定义 | 第81-82页 |
| 4.3 条件函数依赖限制无副作用删除传播 | 第82-96页 |
| 4.3.1 问题的复杂性 | 第82-94页 |
| 4.3.2 基于删除反馈的修复算法 | 第94-96页 |
| 4.4 条件函数依赖限制无副作用插入传播 | 第96-107页 |
| 4.4.1 问题的复杂性 | 第96-105页 |
| 4.4.2 基于插入反馈的修复算法 | 第105-107页 |
| 4.5 实验 | 第107-111页 |
| 4.5.1 实验配置 | 第107-108页 |
| 4.5.2 实验结果分析 | 第108-111页 |
| 4.6 本章小结 | 第111-112页 |
| 第5章 不一致数据的查询处理方法 | 第112-127页 |
| 5.1 引言 | 第112-114页 |
| 5.2 问题定义 | 第114-115页 |
| 5.3 频繁概率最近邻查询处理 | 第115-120页 |
| 5.3.1 最近邻查概率的计算 | 第116页 |
| 5.3.2 频繁概率最近邻查基本查询算法 | 第116-117页 |
| 5.3.3 剪枝条件 | 第117-119页 |
| 5.3.4 频繁概率最近邻高级查询算法 | 第119-120页 |
| 5.4 概率上界计算 | 第120-122页 |
| 5.5 实验 | 第122-126页 |
| 5.5.1 实验配置 | 第122-123页 |
| 5.5.2 实验结果分析 | 第123-126页 |
| 5.6 本章小结 | 第126-127页 |
| 结论 | 第127-129页 |
| 参考文献 | 第129-143页 |
| 攻读博士学位期间发表的论文及其他成果 | 第143-145页 |
| 致谢 | 第145-146页 |
| 个人简历 | 第146页 |
