电子设计工程
電子設計工程
전자설계공정
ELECTRONIC DESIGN ENGINEERING
2012年
1期
6-9
,共4页
不完全信息%子树信息相容%子树信息等价%XML亚强函数依赖%推理规则
不完全信息%子樹信息相容%子樹信息等價%XML亞彊函數依賴%推理規則
불완전신식%자수신식상용%자수신식등개%XML아강함수의뢰%추리규칙
incomplete information%sub-tree information consistent%sub-tree information equivalence%XML inferior strong functional dependency%inference rules
为了解决不完全信息环境下XML亚强函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML亚强函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML亚强函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性进行了证明。为不完全信息环境下存在XML亚强函数依赖的XML Schema规范化的研究奠定了基础。
為瞭解決不完全信息環境下XML亞彊函數依賴的邏輯蘊涵問題,基于XML Schema研究瞭XML亞彊函數依賴及其推理規則。給齣瞭XML Schema、符閤XML Schema的不完全XML文檔樹等概唸;基于子樹信息等價、子樹信息相容的概唸提齣瞭XML亞彊函數依賴的定義和性質;提齣瞭相應的推理規則集,併對其正確性進行瞭證明。為不完全信息環境下存在XML亞彊函數依賴的XML Schema規範化的研究奠定瞭基礎。
위료해결불완전신식배경하XML아강함수의뢰적라집온함문제,기우XML Schema연구료XML아강함수의뢰급기추리규칙。급출료XML Schema、부합XML Schema적불완전XML문당수등개념;기우자수신식등개、자수신식상용적개념제출료XML아강함수의뢰적정의화성질;제출료상응적추리규칙집,병대기정학성진행료증명。위불완전신식배경하존재XML아강함수의뢰적XML Schema규범화적연구전정료기출。
For solving logical implication problem for XML inferior strong functional dependency under incomplete information circumstances,inferior strong functional dependency and inference rules for XML based on XML Schema were discussed.The concepts of XML Schema and incomplete XML document tree according with XML Schema were formalized.Based on the concepts of sub-tree information equivalence,sub-tree information consistent,the definition of XML inferior strong functional dependency was given and its property was studied.Inference rules for XML inferior strong functional dependency were presented,its soundness were given.The production in this work lays the foundation for normalization of XML Schema existing XML inferior strong functional dependency under incomplete information circumstances.
