计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2010年
12期
2281-2290
,共10页
张剑妹%陶世群%梁吉业%曹峰
張劍妹%陶世群%樑吉業%曹峰
장검매%도세군%량길업%조봉
XML结构完整性约束%逻辑蕴涵%一致性%推理规则%路径蕴涵闭包
XML結構完整性約束%邏輯蘊涵%一緻性%推理規則%路徑蘊涵閉包
XML결구완정성약속%라집온함%일치성%추리규칙%로경온함폐포
为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵和一致性问题.文章首先采用约束重写技术将各种约束改写为路径蕴涵约束;然后给出了一组路径蕴涵的推理规则;最后以路径蕴涵闭包为工具证明了推理规则的完备性并给出了XML结构完整性约束的一致性判断方法.
為瞭有效地優化XML路徑錶達式查詢,給齣瞭一箇XML結構完整性約束體繫,這箇體繫全麵描述瞭XML文檔中節點或路徑之間的結構關繫,包括必需性包含、排他性包含、路徑蘊涵、路徑互斥和路徑同現.在此基礎上研究瞭XML結構完整性約束的邏輯蘊涵和一緻性問題.文章首先採用約束重寫技術將各種約束改寫為路徑蘊涵約束;然後給齣瞭一組路徑蘊涵的推理規則;最後以路徑蘊涵閉包為工具證明瞭推理規則的完備性併給齣瞭XML結構完整性約束的一緻性判斷方法.
위료유효지우화XML로경표체식사순,급출료일개XML결구완정성약속체계,저개체계전면묘술료XML문당중절점혹로경지간적결구관계,포괄필수성포함、배타성포함、로경온함、로경호척화로경동현.재차기출상연구료XML결구완정성약속적라집온함화일치성문제.문장수선채용약속중사기술장각충약속개사위로경온함약속;연후급출료일조로경온함적추리규칙;최후이로경온함폐포위공구증명료추리규칙적완비성병급출료XML결구완정성약속적일치성판단방법.
