软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2003年
9期
1564-1570
,共7页
函数依赖%可扩展标记语言%逻辑蕴涵%推理规则
函數依賴%可擴展標記語言%邏輯蘊涵%推理規則
함수의뢰%가확전표기어언%라집온함%추리규칙
函数依赖是数据语义的重要组成部分,这一概念被引入到XML的领域中.基于DTD,XML的树模型和路径表达式,对节点的值相等和路径节点集作了定义.在此基础上,研究了XML中函数依赖、逻辑蕴涵和路径闭包的概念,证明了函数依赖在给定DTD上的可满足性.提出了一个XML上函数依赖的正确和完备的推理规则集,并给出了一个用于计算路径闭包的算法.
函數依賴是數據語義的重要組成部分,這一概唸被引入到XML的領域中.基于DTD,XML的樹模型和路徑錶達式,對節點的值相等和路徑節點集作瞭定義.在此基礎上,研究瞭XML中函數依賴、邏輯蘊涵和路徑閉包的概唸,證明瞭函數依賴在給定DTD上的可滿足性.提齣瞭一箇XML上函數依賴的正確和完備的推理規則集,併給齣瞭一箇用于計算路徑閉包的算法.
함수의뢰시수거어의적중요조성부분,저일개념피인입도XML적영역중.기우DTD,XML적수모형화로경표체식,대절점적치상등화로경절점집작료정의.재차기출상,연구료XML중함수의뢰、라집온함화로경폐포적개념,증명료함수의뢰재급정DTD상적가만족성.제출료일개XML상함수의뢰적정학화완비적추리규칙집,병급출료일개용우계산로경폐포적산법.
