基于轴结点的XML函数依赖及推理规则  

Functional Dependency and Inference Rules for XML Based on Pivot Nodes

作　　者：任廷艳[1] 罗刚[1] 

机构地区：[1]黔南民族师范学院计算机科学系,都匀558000

出　　处：《计算机与数字工程》2012年第1期51-53,共3页Computer & Digital Engineering

摘　　要：通过分析DTD和XML Schema两种模式的不同之处,参考基于DTD的XML函数依赖的相关研究,提出XML Schema形式化定义和XML的轴元素定义,给出基于XML Schema标准的XML函数依赖定义以及它的推理规则集,有助于规范化XML文档。By analyzing the difference between DTD and XML Schema,and referring to the pertinent researches of functional dependency for XML based on DTD,the formulation of Schema and the definition of pivot node are given,the functional dependency for XML based on Schema and its inference rules are proposed,which is helpful to normalizing XML documents.

关 键 词：XMLSCHEMA 函数依赖 轴结点 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]