基于XML Schema的XML强多值依赖的推理规则集

作     者：殷丽凤 郝忠孝 YIN Li-feng;HAO Zhong-xiao

作者机构：哈尔滨理工大学计算机科学与技术学院哈尔滨150080 哈尔滨工业大学计算机科学与技术学院哈尔滨150001 

基　　金：黑龙江省自然科学基金No.F200702~~ 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2010年第46卷第28期

页      码：152-156页

摘      要：XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础,是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念提出了XML强多值依赖的定义及性质;给出了相应的推理规则集,并对其正确性和完备性进行了证明。研究成果为不完全信息环境下存在XSMVD的XML Schema设计奠定了基础。

主 题 词：不完全信息 子树信息等价 子树信息相容 XML强多值依赖 推理规则 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 

核心收录：

D　O　I：10.3778/j.issn.1002-8331.2010.28.043

馆 藏 号：203949025...