| 基于一阶逻辑的非一致性关系数据管理 |
| |
| 引用本文： | 谢东,伍锦群,刘罗仁.基于一阶逻辑的非一致性关系数据管理[J].中南大学学报(自然科学版),2011,42(7). |
| |
| 作者姓名： | 谢东 伍锦群 刘罗仁 |
| |
| 作者单位： | 1. 湖南人文科技学院计算机科学技术系,湖南娄底,417000;中南大学信息科学与工程学院,湖南长沙,410083
2. 娄底职业技术学院,湖南娄底,417000 |
| |
| 基金项目： | 湖南省教育厅优秀青年科研基金资助项目，中南大学博士后科研基金资助项目 |
| |
| 摘 要： | 对于给定的约束,数据库可能是非一致的.为了获得一致性结果,基于一阶逻辑,提出非一致性关系数据管理框架,研究多种合取查询类型对应的连接图及其连接的充分性,分析一致性查询应答的计算复杂度.在查询连接类型是键-键、非键-键或不充分的键-键,且查询对应的连接图是非环的情况下,一致性查询应答的计算在多项式时间内是可解的.针对大量实际的易处理合取查询,给出查询重写算法获得可重写的查询.算法首先判断初始查询是否为可重写,再基于连接图进行递归计算构造一致性识别语句,然后,与初始查询合取产生一个新的一阶重写查询,用于计算一致性结果.对于非环的自连接查询,由于递归重写算法不能剔除非一致性元组,因此,采用初始查询获取了用于剔除违反键约束的非一致性元组的语句.
|
| 关 键 词： | 关系数据库 非一致性关系数据 一阶逻辑 查询重写 |
Inconsistent relational data management based on first-order logic |
| |
| XIE Dong,WU Jin-qun,LIU Luo-ren.Inconsistent relational data management based on first-order logic[J].Journal of Central South University:Science and Technology,2011,42(7). |
| |
| Authors: | XIE Dong WU Jin-qun LIU Luo-ren |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
