中南大学学报（自然科学版）
中南大學學報（自然科學版）
중남대학학보（자연과학판）
JOURNAL OF CENTRAL SOUTH UNIVERSITY
2011年
7期
2034-2041
,共8页
关系数据库%非一致性关系数据%一阶逻辑%查询重写
關繫數據庫%非一緻性關繫數據%一階邏輯%查詢重寫
관계수거고%비일치성관계수거%일계라집%사순중사
对于给定的约束,数据库可能是非一致的.为了获得一致性结果,基于一阶逻辑,提出非一致性关系数据管理框架,研究多种合取查询类型对应的连接图及其连接的充分性,分析一致性查询应答的计算复杂度.在查询连接类型是键-键、非键-键或不充分的键-键,且查询对应的连接图是非环的情况下,一致性查询应答的计算在多项式时间内是可解的.针对大量实际的易处理合取查询,给出查询重写算法获得可重写的查询.算法首先判断初始查询是否为可重写,再基于连接图进行递归计算构造一致性识别语句,然后,与初始查询合取产生一个新的一阶重写查询,用于计算一致性结果.对于非环的自连接查询,由于递归重写算法不能剔除非一致性元组,因此,采用初始查询获取了用于剔除违反键约束的非一致性元组的语句.
對于給定的約束,數據庫可能是非一緻的.為瞭穫得一緻性結果,基于一階邏輯,提齣非一緻性關繫數據管理框架,研究多種閤取查詢類型對應的連接圖及其連接的充分性,分析一緻性查詢應答的計算複雜度.在查詢連接類型是鍵-鍵、非鍵-鍵或不充分的鍵-鍵,且查詢對應的連接圖是非環的情況下,一緻性查詢應答的計算在多項式時間內是可解的.針對大量實際的易處理閤取查詢,給齣查詢重寫算法穫得可重寫的查詢.算法首先判斷初始查詢是否為可重寫,再基于連接圖進行遞歸計算構造一緻性識彆語句,然後,與初始查詢閤取產生一箇新的一階重寫查詢,用于計算一緻性結果.對于非環的自連接查詢,由于遞歸重寫算法不能剔除非一緻性元組,因此,採用初始查詢穫取瞭用于剔除違反鍵約束的非一緻性元組的語句.
대우급정적약속,수거고가능시비일치적.위료획득일치성결과,기우일계라집,제출비일치성관계수거관리광가,연구다충합취사순류형대응적련접도급기련접적충분성,분석일치성사순응답적계산복잡도.재사순련접류형시건-건、비건-건혹불충분적건-건,차사순대응적련접도시비배적정황하,일치성사순응답적계산재다항식시간내시가해적.침대대량실제적역처리합취사순,급출사순중사산법획득가중사적사순.산법수선판단초시사순시부위가중사,재기우련접도진행체귀계산구조일치성식별어구,연후,여초시사순합취산생일개신적일계중사사순,용우계산일치성결과.대우비배적자련접사순,유우체귀중사산법불능척제비일치성원조,인차,채용초시사순획취료용우척제위반건약속적비일치성원조적어구.
