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

doi:10.3778/j.issn.1002-8331.2010.28.043

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (28): 152-156.DOI: 10.3778/j.issn.1002-8331.2010.28.043

• 数据库、信号与信息处理 • 上一篇下一篇

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

殷丽凤¹，郝忠孝^1，2

1.哈尔滨理工大学计算机科学与技术学院，哈尔滨 150080
2.哈尔滨工业大学计算机科学与技术学院，哈尔滨 150001

收稿日期:2009-03-02 修回日期:2009-04-17 出版日期:2010-10-01 发布日期:2010-10-01
通讯作者: 殷丽凤

Inference rules for XML strong multivalued dependencies based on XML Schema

YIN Li-feng¹，HAO Zhong-xiao^1，2

1.College of Computer Science and Technology，Harbin University of Science and Technology，Harbin 150080，China
2.College of Computer Science and Technology，Harbin Institute of Technology，Harbin 150001，China

Received:2009-03-02 Revised:2009-04-17 Online:2010-10-01 Published:2010-10-01
Contact: YIN Li-feng

摘要/Abstract

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

关键词: 不完全信息, 子树信息等价, 子树信息相容, XML强多值依赖, 推理规则

Abstract: The problem of inference rules for XML strong multivalued dependencies is the key to solve implication between dependencies in XML and the important problem of XML schema design theory under incomplete information circumstances.The concepts of XML Schema and incomplete XML document tree according with XML Schema are formalized.Based on the sub-tree information equivalence and the sub-tree information consistency，the definition of XML strong multivalued dependencies and its property are formalized.Inference rules for XML strong multivalued dependencies are given，the soundness and completeness of inference rules are proved.The production in this work lays the foundation for the design of XML Schema existing XML strong multivalued dependencies under incomplete information circumstances.

Key words: incomplete information, sub-tree information equivalence, sub-tree information consistency, XML strong multivalued dependencies, inference rule

中图分类号:

TP311.13

殷丽凤¹，郝忠孝^1，2. 基于XML Schema的XML强多值依赖的推理规则集[J]. 计算机工程与应用, 2010, 46(28): 152-156.

YIN Li-feng¹，HAO Zhong-xiao^1，2. Inference rules for XML strong multivalued dependencies based on XML Schema[J]. Computer Engineering and Applications, 2010, 46(28): 152-156.

[1]	杨颖，王珺，王刚. 基于改进的Random Subspace的客户投诉分类方法[J]. 计算机工程与应用, 2020, 56(13): 230-235.
[2]	王宁，朱峰. 概率不确定语言熵及其多属性群决策[J]. 计算机工程与应用, 2020, 56(1): 142-149.
[3]	李亚龙，陈勤，张旻. 基于博弈论的移动目标最优防御策略研究[J]. 计算机工程与应用, 2019, 55(19): 141-146.
[4]	洪智勇1，刘熠2，3，秦克云4. 分层格值命题逻辑系统中几类推理规则的讨论[J]. 计算机工程与应用, 2017, 53(24): 55-58.
[5]	易三莉1，2，郭贝贝2，马磊2，钱洁2. 改进的模糊推理规则图像边缘检测算法[J]. 计算机工程与应用, 2016, 52(12): 180-183.
[6]	任剑. 区间值模糊随机多准则决策方法[J]. 计算机工程与应用, 2015, 51(8): 27-31.
[7]	李修清. 命题公式的随机真度与推理规则[J]. 计算机工程与应用, 2015, 51(19): 66-70.
[8]	兰燕飞，胡明茂. 供应链原材料定价合同问题研究[J]. 计算机工程与应用, 2012, 48(14): 1-4.
[9]	宁春，李凡长. 动态模糊逻辑关系学习[J]. 计算机工程与应用, 2011, 47(29): 34-39.
[10]	左卫兵，张嘎. 一种五元格值逻辑上命题真度的分布[J]. 计算机工程与应用, 2011, 47(22): 35-36.
[11]	龚本刚¹，桂云苗¹，张廷龙². 信息不完全下多属性群决策的证据合成方法[J]. 计算机工程与应用, 2011, 47(2): 12-14.
[12]	刘天虎1，黄武军2，许维胜1，吴启迪1. 不完全信息下开发商Markov博弈均衡的最优策略[J]. 计算机工程与应用, 2011, 47(19): 233-237.
[13]	关晓红，张海霞. 逻辑系统L*中公式的Γ-演绎真度理论[J]. 计算机工程与应用, 2011, 47(18): 62-63.
[14]	于西昌1，谭桂梅2. 几种逻辑系统中的概率真度[J]. 计算机工程与应用, 2011, 47(12): 27-30.
[15]	于西昌¹，谭桂梅²，张兴芳³. 命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(5): 40-43.

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

Inference rules for XML strong multivalued dependencies based on XML Schema

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics