Research on XML Strong Inclusion Dependency
Hao Zhong-xiao · 2008
XML inclusion dependency is essential integrity constraints.When XML documents come forth incomplete information,XML inclusion dependency has also important meaning for updating anomaly prevention,query optimization and index design in XML document.XML strong functional dependency'definition and XML strong inclusion dependency' definition based on consistent path set under the incomplete information circumstances were formalized,judging theorem for XML strong inclusion dependency was studied.Based on formalizing inference rules of XML strong inclusion dependency,the soundness and completeness of inference rules were proved.At last the relation of XML strong functional dependency and XML strong inclusion dependency was analysed.