基于XML Schema的XML弱函数依赖及其推理规则.pdfVIP

第30卷第 9期 计算机应用 Vo1．30No．9 2010年 9月 JournalofComputerApplications Sep．2010 文章编号：1001—9081(2010)09—2314—03 基于 XMLSchema的 XML弱函数依赖及其推理规则 殷丽凤 ．田 宏 (大连交通大学 软件学院，辽宁大连 116028) (yinlife0598@sina．corn) 摘 要：为了解决不完全信息环境下可扩展标记语言(XML)弱函数依赖的逻辑蕴涵问题，基于XMLSchema研究 了XML弱函数依赖及其推理规则。给出了XMLSchema、符合XMLSchema的不完全XML文档树等概念；基于子树信 息等价、子树信息相容的概念提出了XML弱函数依赖的定义和性质；提 出了相应的推理规则集