不完全信息环境下XML Schema规范化研究.pdfVIP

第 36卷 第 lO期 计 算 机 科 学 Vo1．36No．10 2009： 10月 Computer Science 0ct2009 不完全信息环境下XMLSchema规范化研究 殷丽凤 郝忠孝 。 (哈尔滨理工大学计算机科学与技术学院 哈尔滨 150080) (哈尔滨工业大学计算机科学与技术学院 哈尔滨 150001) 摘 要 为了解决不完全信息环境下XML模式设计中XML文档的数据冗余和操作异常，研究了不完全信息环境下 XMLSchema的规范化问题，提 出了XMLSchema和符合 XMLSchema的不完全 XML文档树等概念；基于节点等 价、节点相容、节点信息等价和节点信息相容等概念提出了XML强函数依赖的定义，给出了相应的推理规则；给出了 求路径集强闭包和成员籍问题的算法，并对算法的正确性进行了证明，对