计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2006年
z3期
137-142
,共6页
赵相国%王国仁%张恩德%丁大斌%霍欢
趙相國%王國仁%張恩德%丁大斌%霍歡
조상국%왕국인%장은덕%정대빈%곽환
XML%函数依赖%路径语言%推理规则
XML%函數依賴%路徑語言%推理規則
XML%함수의뢰%로경어언%추리규칙
函数依赖是XML数据约束研究的重要组成部分.针对XML中存在的复杂的多种形式的函数依赖约束,分析了数据约束的特点,引入节点值相等的概念,提出了一种DTD的路径语言,进而提出了一种新的XML函数依赖(XFD)的定义,包括相对XFD和绝对XFD.其中,绝对键和相对键是XFD的特例.研究了XFD的逻辑蕴涵与闭包问题,给出一组相应的推理规则,并证明了推理规则的正确性及完备性.
函數依賴是XML數據約束研究的重要組成部分.針對XML中存在的複雜的多種形式的函數依賴約束,分析瞭數據約束的特點,引入節點值相等的概唸,提齣瞭一種DTD的路徑語言,進而提齣瞭一種新的XML函數依賴(XFD)的定義,包括相對XFD和絕對XFD.其中,絕對鍵和相對鍵是XFD的特例.研究瞭XFD的邏輯蘊涵與閉包問題,給齣一組相應的推理規則,併證明瞭推理規則的正確性及完備性.
함수의뢰시XML수거약속연구적중요조성부분.침대XML중존재적복잡적다충형식적함수의뢰약속,분석료수거약속적특점,인입절점치상등적개념,제출료일충DTD적로경어언,진이제출료일충신적XML함수의뢰(XFD)적정의,포괄상대XFD화절대XFD.기중,절대건화상대건시XFD적특례.연구료XFD적라집온함여폐포문제,급출일조상응적추리규칙,병증명료추리규칙적정학성급완비성.
