文章目录
-
- 一、TANE算法介绍
-
- 1.1. 函数依赖定义：
- 1.2. 近似函数依赖
- 二、划分和依赖关系
-
- 2.1. 划分
-
- 等价类概念
- 划分概念
- 2.2. 划分细化
-
-
- 引理2.1
- 引理2.2
-
- 2.3. 近似依赖
- 三、搜索
-
- 3.1. 搜索策略
- 3.2. 简化搜索空间
-
- 3.2.1. Rhs候选
-
- 修剪规则
- 3.2.2. Rhs+候选修剪
-
- 引理3.1
- 引理3.2
- 引理3.3
- 3.2.3. 键修剪
-
- 引理3.4
- 3.3. 计算与分区
-
- 3.3.1. 剥离分区
-
- 引理3.5
- 3.3.2. 边界条件e
- 3.3.3. 计算分区
- 四、TANE算法
-
- 4.1. TANE主要算法
- 4.2. 生成级别
- 4.3. 计算依赖
- 4.4. 修剪格子
-
- RHS+修剪
- 键修剪
-
- 引理4.2
- 引理4.2推论
- 4.5. 计算分区
- 4.6. 近似依赖
- 五、TANE理解
-
- 5.1. 高效性
- 5.2. 正确性
-
- 计算函数依赖
- 剪枝过程
- 5.3. 合理性
- 六、总结
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/126863.html