期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于XML Schema的XML强多值依赖的推理规则集 被引量:1
1
作者 殷丽凤 郝忠孝 《计算机工程与应用》 CSCD 北大核心 2010年第28期152-156,共5页
XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础,是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概... XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础,是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念提出了XML强多值依赖的定义及性质;给出了相应的推理规则集,并对其正确性和完备性进行了证明。研究成果为不完全信息环境下存在XSMVD的XML Schema设计奠定了基础。 展开更多
关键词 不完全信息 子树信息等价 子树信息相容 XML强多值依赖 推理规则
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部