Inference rules for XML strong multivalued dependencies based on XML Schema

doi:10.3778/j.issn.1002-8331.2010.28.043

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (28): 152-156.DOI: 10.3778/j.issn.1002-8331.2010.28.043

• 数据库、信号与信息处理 • Previous Articles Next Articles

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

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

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

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

通讯作者: 殷丽凤

Abstract

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

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

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

CLC Number:

TP311.13

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，2. 基于XML Schema的XML强多值依赖的推理规则集[J]. 计算机工程与应用, 2010, 46(28): 152-156.

[1]	LI Yalong, CHEN Qin, ZHANG Min. Research on Optimal Defense Strategy of Moving Targets Based on Game Theory [J]. Computer Engineering and Applications, 2019, 55(19): 141-146.
[2]	ZHAO Huanhuan1, JIAN Lirong1, LIU Yong2. Variable precision rough set model based on set pair homeopathic similar relationship [J]. Computer Engineering and Applications, 2017, 53(6): 51-56.
[3]	HONG Zhiyong1, LIU Yi2，3, QIN Keyun4. Discussions on some kinds of inference rules in gradational lattice-valued propositional logic [J]. Computer Engineering and Applications, 2017, 53(24): 55-58.
[4]	DONG Zhe, LUO Gongzhi. Rough analysis model of weighted multi-granularity based on limited dominance relation [J]. Computer Engineering and Applications, 2017, 53(13): 55-59.
[5]	MAO Meijing1, E Xu1，2, TAN Yan1, YANG Mingjing1. Algorithm study on missing data imputation based on attribute relevancy [J]. Computer Engineering and Applications, 2016, 52(6): 74-79.
[6]	QIU Guanghui, TANG Dingyong. Extended rough set model based on weighted characteristic relation [J]. Computer Engineering and Applications, 2016, 52(23): 98-101.
[7]	LUO Dang1, MAO Wenxin1, SUN Huifang2. Attributes reduction of information system with three-parameter interval grey number [J]. Computer Engineering and Applications, 2016, 52(16): 156-161.
[8]	YI Sanli1，2, GUO Beibei2, MA Lei2, QIAN Jie2. Improved image edge detection algorithm based on fuzzy inference rules [J]. Computer Engineering and Applications, 2016, 52(12): 180-183.
[9]	REN Jian. Methods of interval-valued fuzzy-stochastic multiple-criterion decision-making problem [J]. Computer Engineering and Applications, 2015, 51(8): 27-31.
[10]	LI Xiuqing. Randomized truth degree and inference rules of proposition formulas [J]. Computer Engineering and Applications, 2015, 51(19): 66-70.
[11]	JIANG Lin, MI Yunlong, WANG Tian. Parallel algorithm for computing incomplete information systems under big data [J]. Computer Engineering and Applications, 2014, 50(15): 101-106.
[12]	DING Chunrong1, LI Longshu2. Improved ROUSTIDA algorithm based on similarity relation vector [J]. Computer Engineering and Applications, 2014, 50(13): 133-136.
[13]	JIA Fan, XUE Peijun. Rough set based on L_A maximal compatible classes in incomplete information systems [J]. Computer Engineering and Applications, 2012, 48(28): 143-146.
[14]	TAN Zongfeng1, XU Zhangyan2, LI Xiaoyu2. Method of attribute weight for incomplete information system [J]. Computer Engineering and Applications, 2012, 48(22): 171-174.
[15]	MO Jinglan1，2, LV Yuejin2, GUO Heng2. Extended rough set model in generalized incomplete information system [J]. Computer Engineering and Applications, 2012, 48(19): 126-130.

Inference rules for XML strong multivalued dependencies based on XML Schema

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics