计算机科学 ›› 2009, Vol. 36 ›› Issue (10): 183-188.
殷丽凤,郝忠孝
YIN Li-feng, HAO Zhong-xiao
摘要: 为了解决不完全信息环境下XML模式设计中XML文档的数据冗余和操作异常,研究了不完全信息环境下XMI Schema的规范化问题,提出了XMI Schema和符合XML Schema的不完全XML文档树等概念;基于节点等价、节点相容、节点信息等价和节点信息相容等概念提出了XML强函数依赖的定义,给出了相应的推理规则;给出了求路径集强闭包和成员籍问题的算法,并对算法的正确性进行了证明,对其时间复杂度进行了分析。提出了不完全信息环境下XML范式和相应的规范化算法。研究成果较好地解决了数据冗余问题,避免了更新异常现象,更好地实现了XML Schema设计。
No related articles found! |
|