（计算机应用技术专业论文）基于xml+schema的xml函数依赖研究.pdf

摘要 在网络数据交换日益增多的今天，x m l 作为一种半结构化数据 以其简单易标记和跨平台等优点被越来越广泛的应用到数据存储和 数据传输领域。x m l 数据库是一项在最近几年发展起来的新技术。 同关系数据库一样，在x m l 数据文档中由其模式定义形成的树型结 构可能包含数据冗余，引起这些数据冗余的根本原因是因为其中包含 函数依赖。 目前对于x m l 函数依赖的研究并不多，基于札s c h e m a 模式 的研究就更少，而研究x m l 函数依赖是进行x m l 数据库技术中其 他相关研究的基础，本文对于x m l 函数依赖的研究主要是基于x m l s c h e m a 模式的，通过对由x m ls c h e m a 定义所形成的x m l 文档的 树型结构进行分析，借用树元组的概念代替关系模式中属性元组的概 念，得出关于x m l 函数依赖的形式化定义，利用数据库体系的 a r m s t r o n g 公理系统推导出函数依赖的推理规则集，并对推理规则集 进行证明。 在本文中基于给定的x m ls c h e m a 函数依赖的形式化定义给出 了在x m l 函数依赖中关于传递函数依赖以及间接函数依赖的定义， 使用元素创建规则以及元素提升规则对原有x m ls c h e m a 模式进行 修改，以消除其中的间接函数依赖和传递函数依赖，以此实现对基于 x m ls c h e m a 的x m l 文档进行规范化处理。在本文的第五章中还给 出了x m l 函数依赖蕴涵和覆盖的定义，求出了最小函数依赖，转换 成关系模式并证明所得到的关系模式符合第三范式的要求。 关键词：x m ls c h e m a ，函数依赖，推理规则集，规范化，转换 a b s t r a c t n o w a d a y s ，n e t w o r kd a t ae x c h a n g i n gi si n c r e a s i n gd a yb yd a y , x m l ， a sah a l f - s t r u c t u r e dd a t a ，i sw i d e l ya p p l i e di nd a t as t o r a g ea n dd a t a t r a n s m i s s i o nf i e l d sb e c a u s eo fi t ss i m p l i c i t y ，e a s i l ym a r k e da n dr u n n i n gi n v a r i o u sp l a t f o r m s x m ld a t a b a s ei san e w t e c h n o l o g y ，w h i c hd e v e l o p e d i nr e c e n ty e a r s j u s ta st h er e l a t i o n a ld a t a b a s e x m 臣d a t ad o c u m e n t sm a y c o n t a i nd a t ar e d u n d a n c yw h i c hc a u s e db yab a dd e s i g n e dx m ls c h e m a a n dc o n t a i n i n gf u n c t i o n a ld e p e n d e n c yi st h eb a s i cr e a s o nt h a tc a u s e d t h e s ed a t ar e d u n d a n c i e s a tp r o e m t h e r ea r en o tt o om u c hr e s e a r c h e so nx m 吐f u n c t i o n a l d e p e n d e n c y ，t h es t u d i e sb a s e do n 舭s c h e m a i se v e ns e l d o m i nf a c t ， s t u d y i n gt h ex m l f u n c t i o n a ld e p e n d e n c yp l a y st h ef u n d a m e n t a lr o l ei n o t h e rr e l a t e ds t u d i e si nt h ex m ld a t a b a s e t e c h n o l o g y t h i sp a p e r s t u d i e st h ex m lf i m c t i o n a ld e p e n d e n c yb a s e do nt h ex m ls c h e m a ， t h r o u g ha n a l y s i so nt h et r e es t r u c t u r eo fx m ld o c u m e ma n dt a k i n g a d v a n t a g eo ft h ec o n c e p to ft h et r e et u p l e st os u b s t i t u t et h ea t t r i b u t e c o m p o n e n to f r e l a t i o n a lp a t t e r n ，p r o p o s eaf o r m a l i z e dd e f i n i t i o no fx m l f u n c t i o n a ld e p e n d e n c y i na d d i t i o n a l ，t h i sp a p e ri n f e r sai n f e r e n c er u l e s s e to ff u n c t i o n a l d e p e n d e n c yb yu s i n ga r m s t r o n ga x i o m - s y s t e mo f d a t a b a s es y s t e ma n dt e s t i f yt h ei n f e r e n c er u l e ss e t t h i sp a p e rd e f i n e st h et r a n s i t i v ef u n c t i o n a ld e p e n d e n c ya sw e l la st h e i n d i r e c tf u n c t i o n a ld e p e n d e n c yf o rx m l d o c u m e n t ，w h i c hb a s e do nt h e f u n c t i o n a l d e p e n d e n c yf o r m a l i z e d d e f i n i t i o no ft h i sx m ls c h e m a f u n c t i o n t h i sp a p e ra l s om o d i f i e st h eo r i g i n a lx m ls c h e m aa c c o r d i n gt o i e l e m e n t se s t a b l i s h i n gr u l ea n du p g r a d i n gr u l e ，i no r d e rt oe l i m i n a t et h e i n d i r e c tf u n c t i o n a ld e p e n d e n c ya n dt h et r a n s i t i v ef u n c t i o n a ld e p e n d e n c y ， r e a l i z e st h en o r m a l i z eo fx m ld o c u m e n t so fx m 吐s c h e m a i nt h e f i v ec h a p t e ro f t h i sp a p e r , i tp r e s e n t st h ef u n c t i o nc o n t a i n i n ga n dc o v e r i n g o fx m l f u n c t i o n , i ta l s oe d u c e dt h es m a l l e s tf u n c t i o n a ld e p e n d e n c y ，a n d t r a n s f o r m e di ti n t ot h er e l a t i o n a lp a t t e r n , a n dc e r t i f i e dt h eo b t a i n e d r e l a t i o n a l p a t t e r nc o n f o r m i n g t ot h e r e q u i r e m e n to ft h i r dm o d e l r e q u i r e m e n t k e yw o r d s ：x m ls c h e m a ，f u n c t i o n a ld e p e n d e n c y ， i n f e r e n c er u l e ss e t s ，s t a n d a r d i z a t i o n ，t r a n s f o r m a t i o n i v 基于舡，s c h e m a 的) a 蛆，函数依赣研究 第一章绪论 i t 本文研究的背景和意义 上个世纪粥年代以来，髓着l u t e r u 髓豹迅速发展又类社会的 信息量成指数级膨胀，信息共享和数据交换的范疆也在不斯扩大 传统的关系数据库面雅着巨大韵挑战。众所周知，传统的关系数据 痒技术的应用是建立在数据库管理系统基础之上的各数据库管理 系统之潞的异构性及其所依赖操作系统的异构性严重限裁了信息 共享和数据交换的范围：伺耐由于数据库技术的语义描述太多通过 技术文档表示，缀难实现数据语义的持久性和传递性，丽数据交换 和信息共享都是基于语义进行的，所以在进行异构应用数据交换时， 不利于计算视根据语义自动进行数据检索；另外在网络上转输数据 时，如何来表示数据也是信息交换的关键。 1 9 9 8 年2 月，第一伞) 强纯推荐标准1 0 舨本发布之后由于 x l v i l 文件自身所具备的半结构化特点。人们开始越来越多的使用 掏蛆。文件来传输和交换数据。壹m 也技术应用于数据处理方面所表 现出来的优点越来越突出：首先，在解决异构系统和平台的问题上 x l v f l , 文件是纯文本格式的文件，采用豹通信协议是h a p 协议。那么 保存在j m 也文件中的数据可以不受操作系统和软件平台的限制；其 次。在数据语义的保持和传递问题上，q 已文件将数据和模式分开 硕士学位论文 保存，模式通常使用d t d ( d o c u m e n tt y p ed e f i n i t i o n ，文档类型定 义) 或x m ls c h e m a 来描述，模式中描述了数据语义并且能很容易 被计算机理解和处理；另外。x m l 不仅可以描述半结构化数据，还 可有效描述结构化数据 尽管x m l 技术有着许多优点，但是同关系数据库一样，在x m l 文档中会包含一些函数依赖，这些函数依赖可能会引起操作异常或 者数据冗余，例如：如果存在数据冗余，那么在进行更新操作和删 除操作的时候，可能会引起数据的不一致。 在x m l 文档越来越广泛的被应用的情况下，研究在x m l 文档 中普遍存在的函数依赖问题是非常必要的，也是进行x m l 数据库技 术其他相关研究的基础，这些研究包括：模式规范、查询优化、约 束、路径优化及保持函数依赖的模式分解等等“1 。 在传统的关系数据库理论中函数依赖理论相对已经形成了比较 完善的体系，而对于x m l 数据库技术中的函数依赖研究由于总体起 步比较晚，目前，还没有比较广泛的认识。就目前对x m l 数据库技 术的研究而言，大体上主要从两个方面来进行嘲： 一、建立纯x m l 数据库n a t i v e x m l d a t a b a s e ( n x d ) ，在这个方 面已经有几个比较成功的例子，如e x i s t 纯x m l 数据库和s o f t w a r e a g 公司的t a m i n o 纯旺服务器； 二、探索如何将x i v l l 文档存储在关系数据库中，实现x i v l l 文 档能在保持语义消除冗余的前提下存储在关系数据库中。 由于关系数据库的普及应用，所以，实际上很多研究都集中在 ，。董王墼! 生竺竺塑j 璺些璺茎簦茎要塞一 。_ 。 如何将飙模式转换成关系数据库模式。从现有的) 圆几存储方案 中可以看出，大部分转换集中在如何完整的保存- x m l 文档的结构信 息，而对予实际转换后所形成的关系数据库模式是否是规范化的 并不关心，这样的数据库在以后的数据操作中可能会出现插入、嬲 馀异常对查询优化丽言也是不利的。 童2 国内外研究动态 孙缸作为轴睡强峨上数据转输的标准，在短短钧几年时间内 其与数据相关领域的研究己成为热点。罚关系数据库具有关系模式 样，x m l 文档也有自己豹模式：翻盼和旺 在关系数据库中对关系模式包含的函数依赖的研究是关系数据 库设计的核心部分，通过施式韵无损连接分解来消除数据模式中的 函数依赖，以达到消徐冗余和避免操作异常的哥豹。对于- x m l 函数 依赖的研究可以借鉴在关系数据痒中已经十分成熟的理论体系，魍 是由于x m l 文档本身锆构的复杂性函数依赖在x m l 和关系数据 库中又存在着很多不目。 首先，关系数据摸式表示韵是属性的平面关系，是种全局关 系。其函数依赖没有成立的范围碾制，丽x m l 模式文档在计算机中 被解析成树具有层次结构，所以在x m l 中韵函数依赖的成立往往 还涉及其成立的范围。 其次在关系数据库中属性是箍单类型，在研究函数依赖时 只要考虑属性的值是否相等。然而在咀，中不仅有简单类型，还有 硕士学位论文 节点类型，在x m l 文档对应的文档树中有三种基本的节点，分别是： 元素节点、文本节点和属性节点，所以在研究函数依赖的时候不仅 要考虑简单类型是否相等还需要考虑节点类型“1 啪。 对x m l 数据技术的研究也是从x m l 文档的模式入手。目前的大 多数研究都是基于d t d 模式的函数依赖，在这一方面国内外主要的研 究定位在d i d 模式的规范化，键的定义以及语义约束和保持约束的 d t d 模式转换成关系模式，其中m a r c e l oa r e n a sa n dl e o n i d l i b n 在论文an o r m a lf o r mf o rx m ld o c u m e n t s 中详细的论述 了在d t d 中基于树元组的函数依赖定义，国内对于将x m l 文档存储 在关系数据库中的技术研究的较多。在x m ls c h e m a t i 面的研究，国 内有吴文辉等人撰写的论文关系模式到x m l 模式的转换研究旧， 从转换技术上有阳王东等人撰写的论文从s c h e m a 到关系模式的映 射嘲，总的来说，这方面的研究并不是很多。 1 3 本文主要工作和创新点 把函数依赖的概念引入x m l 数据库技术当中是非常必要的，对 研究x m l 数据领域的数据集成、查询优化等有很重要的意义。本文 从x m l 文档的树型结构出发，采用路径表达式来定义树元组，展开 对x m l 函数依赖的研究，主要的研究内容为： ( 1 ) 结合x m ls c h e m a 模式和树元组，给出x m l 函数依赖的 定义，通过数据库体系的a r m s t r o n g 公理系统推导出函数依赖的推 理规则集，以及对推理规则集的证明。 4 基于舭s c h e m a 的x m l 函数依赖研究 2 ) 基于给定的x l v i ls c h e m a 函数依赖的形式化定义给出在 咀，函数依赖中关于传递函数依赖以及间接函数依赖韵定义，使用 元素创建规则以及元素提升规则对原有x m ls c h e m a 模式进行修 改，以消除其中的问接函数依赖耜传递函数依赖达到减少这些函 数依赖所弓i 起的数据冗余的目豹。以此实现对基于咀，s c h e m a 的 粥咀。文档进行规范化处理。 笏给出x m l 函数依赖蕴涵和覆盖的定义，求出最，j 、函数依 赖，转换成关系模式并证明所得捌的关系模式符合第三范式的要求。 零文的主要创新点在予研究了基于飙s c h e m a 模式下的 舭函数依赖闯题，给出7 形式饱鲍定义。并推导出函数依赖的推 理规则集。通过函数依赖的定义避一莎探讨了旺s d m n a 的规范 纯问题。如何消除) 函也s c h e m a 中稳含的传递涵数依赖以及间接函 数依赖，最后探讨在保持函数依赖的前提下将瞧模式转换成为关 系模式。 t 4 本文的结构 本文共分六章： 第一章：绪论。该章主要介绍课题的研究背景以及研究意义， 国内外的研究动态和本文的主要工作。 第二章；x m l 模式简介。在第二章中介绍x m l 模式。主要是 探讨x m ls c h e m a 模式，给出了x m ls c h e m a 的树型结构形式化定 义，并对x m l 的两种主流模式( 、，d t d 和x m ls c h e m a ) 进行 硕士学位论文 了对比，通过对比对v 匝s c h e m a 进行初步的简单介绍，使用x m l s c h e m a 进行数据建模。 第三章：x l v i l 函数依赖。通过对x i v i ls c h e m a 模式形式化定义， 结合x m l 文档利用路径表达式和树元组探讨x m l 函数依赖的定 义。运用数据库体系的a r m s t r o n g 公理系统推导出函数依赖的推理 规则集，并且给出对推理规则集的证明。 第四章：x m ls c h e m a 的规范化。本章主要探讨x m ls c h e m a 的规范化，这其中包括间接函数依赖和传递函数依赖的消除，给出 了元素创建规则以及元素提升规则，通过这两条规则消除传递函数 依赖以及间接函数依赖，进而达到消除或者是减少由传递函数依赖 或者是间接函数依赖所带来的数据冗余，结合例证证明有效。 第五章：保持函数依赖的x m l 模式与关系模式的转换。在这一 章中通过求出x m l 函数依赖的最小函数依赖覆盖集，使用转换算法 将生成的最小函数依赖覆盖集转换为关系模式并证明得出的关系模 式符合第三范式的要求。 第六章为结束语。总结了本文所做的主要工作，并对后续研究 进行了展望。 最后是参考文献和致谢。 第二章x m l 模式简介 x m ls c h e m a 是为了对x m l 文档进行数据建模丽开发的标准， 它能够克服d i d 所存在的一些缺点在1 - 9 9 s 年w 3 c 公布了两个 注释，提出了关于描述文档结构方面的国扎词汇。第一个珥傲通l d a t a ，第二个删辙翻阳惰魄删蹦ic 哇粒盛l 糖s a 嘟豳岣。 在这两个注释的基础上m i e r o s d 设计了一个组台，删傲x m l s e , k e m 氛并在l m e m e tf ：m p l o r e t $ 0 申发布。这个版本韵x m ls c h e m a 被称为x d r ( x m l 翻峨黜由峨该规范被广泛豹应用于m t m 煳, f t 鼬产品中，瓤：m m , e e 醯懈2 0 、m i o m , o f ls 疆s e f - v e f 2 0 0 0 及 m i a o s o f ii n t e r m tv _ , x p i o m 5 0 和其后续舨本串。由此可见，m 3 r 是 一个专有规范。 w 3 c 予2 0 0 1 年5 月也发布了一个规范，也n l l 徽x m ls e 妇n m 。 但是它是一个比x d r 更瓣广泛的规范。通常称为x s d ( 甄s c m m a d e f i n i t i o nl a n g u a g e ) 。本文所采用韵就是x s d 规范。 本章的结构如下。第一节主要介绍了) 强犯s 抽e 嘲的格式及语 法，给出了使用x m ls d m a a 豹文档定义l 第二节分析了，丑盹 s e l m a 同d t d 相比所表现出来的优点。第三节给出x m ls c h e m a 豹形式化定义。 磺士学位论文 2 1 使用x m ls c h e m a 进行数据建模 一个x m ls c h e m a ，是对一个( 或一组) x m l 文档的结构定义 的说明，它也可以对其内容进行一些约束性和语义上的说明，在 x m ls c h e m a 中定义了文档中标记的名称、类型以及各个标记之间 的相互关联。利用x m ls c h e m a 使得计算机能够处理关于x m l 文 档的结构和内容，提供了一个可以被计算机付诸检验的数据格式说 明。通过这种方式x m l 实现了在异构的数据平台之间传递、交换数 据。 x m ls c h e m a 实际上就是一个x m l 文档，除了格式及语法与 x m l 文档相一致，它还有一套自己完整的语法。 2 1 1x s d 数据类型 在x m ls c h e m a 中每个元素和属性都被声明为具有某种特定的 数据类型，这个数据类型决定了元素或者属性如何使用。x m l s c h e m a 包含的有简单数据类型，同时也提供了定义复杂数据类型的 方法，简单数据类型和复杂数据类型的基本区别在于：复杂数据类 型可能包含元素也可能带有属性；而简单数据类型只可能包含元素 或者只带有属性。 简单数据类型用于声明属性和只包含数据的元素，例如：一些 文本和一个数字。x m ls c h e m a 中提供了4 4 种内置简单数据类型， 包括最常用的简单原子数据类型，同时还有非原子简单数据类型， 如：列表类型和联合类型。还可以自定义简单数据类型，自定义简 单数据类型使用s i m p l e t y p e 元素指定新类型的名称，c e s t r i e t i o n 元素 指定新类型来自的基本数据类型。如：勘g 啦元素用于指定数据中字 符的必须个数嘲。 舰s c h e m a 复杂数据类型是可以包含有予元素或者属性的类 型通常使用c o m p l e x t y p e 元素来定义。在c o l g p l e x t y p c 元素中 可以使用) 国纯酶峨中的其他元素定义数据类型也就是说复杂 数据类型可以使用几个简单数据类型来定义，在x m ls e h e m 中使 用g e t 标签来表示引用。 x m ls e h e m a 作为一个特殊的舭文档。徐了格式和语法与 x m l 相似，w 3 c 还给它制定了一套自己的语法元素。主要包括以 下几个9 1 删： s c h e m a 元素是x m ls c h e m a 蛉核心元素，是模式文件中的根元 素其属性x m l m 定义了咀，s c h e m a 的命名空闯。 e l e m e n t 元素用于定义x m ls c h e m a 中豹元素。其属性n a m e 表 明了元素的名称，t y p e 表明了元素的数据类型。 a t m l ，u t e 元素用于定义i d ls c h e m a 中的属性，l l a m e 表明属性 韵名称，t y p e 则是属性的数据类型，u s e 指定属性的使用。 g r o e p 元素用于定义必须出现但是次序不定的两个或者多个元 素的一个组。 a l l 元素用于定义包含两个或多个c l e m e n t 元素，其中每个元素 硕士学位论文 必须以任何次序出现一次或者都不出现。 a n n o t a t i o n 元素包括d o c u m e n t a t i o n 和a p p i n o f 两个子元素，分别 对基本s c h e m a 信息和版权信息及工具、样式单和其它应用程序的信 息进行描述。 2 1 3 使用x m ls c h e m a 对学术会议信息进行数据描述 下面以使用x m ls c h e m a 对学术会议信息进行数据描述为例进 行说明。首先定义学术会议信息所包含的语义约束；一个学术会议 包含许多小的议题，每个议题有一个主题号，参加会议的作者被赋 予一个唯一的作者号，作者号可以决定作者的姓名，每个议题有一 个主持人，同时主持人使用主持人编号来识别，一个作者可以参加 多个议题的讨论，在不同时间展开讨论的议题可以由同一个主持入 主持。 根据这个语义约束得出这样一个x l v f l ，文档嘲。 例ld b x m l l d b e n g l i s h j a n c 桫 由d b x m l l 得出西s c h e m a l m 1 ? x m lv e r s i o n = i 舻修 鞫p a 氆d ，那么蚝玲嘴u i ，错 上i ， 如果路径p 其l a ：g 自睡磅仨e us 靠，爹翱l h d 甚嘲s ( 碜那么， 地痧s 拄u 上 对于任意两个t - ) 和心z ) 如果细t ) 一妇z 且蛔t ) v a - p 1 2 p 2 如果姬t 户 上，且p - 是p = 前缀。剐t 慨净 上 ， 对于s 上的任意知 j - ，认力这个集合是有限的。 由树元组的定义，得出关于蕊鲥蛾啦l 对应韵x m l 树的第一 棵子树的树元组： 擀v o ， 自( d b t o p i c 户v i ， 袖t o p i c 觚炉张， 西t o p i c t i t l e ) = e n g l i s h , 自( 曲t o p i c 切h 和) ，r 产v 2 ， 鸯( 曲t o p i c t a k e n b y a u m o r ) = v 3 ， t ( d b t o p i c t a l 碹嘶卸t h 瓯 猢户柏l t ( d b t o p i c t a k e n b y a u t h o r m m m e ) 一j a n e , 硬士学位论文 t ( a b t o p i c t a k e n b y a u t h o r m a s t e r ) = v 4 ， t ( d b t o p i c t a k e n b y a u t h o r m a s t e r ；l n n o ) = m 01 ， g d b t o p i c t a k e n b y a u t h o r m a s t e r m n a m e ) = j o e ， 在关系数据库中判断一个关系中两个元组在某个属性上是否相 等，只需要判断相应的值是否相等，而在基于x m ls c h e m a 这样一 个模式上的x m l 文档，不仅要判断值是否相等，还需要判断节点的 类型，使用树元组将模式限定在一棵子树上，这样可以忽略节点的 类型。 3 2 基于树元组的x m l 函数依赖 定义3 3x m l 函数依赖“”：给定x m ls c h e m as ，在s 上的函数 依赖f d 中具有如下格式： ( s h ，【s x l ，s 列一【s y l ，s y m 】) 其中： s h 称为头部路径，主要是用来限定函数依赖成立的范围，s h p a t h s ( t ) 并且h s t ( s h ) e ，即s h 存在子树，头部路径可以为 空。 【s x l ，s 砌称为左部树元组路径。对i e 1 ，n 】，都有s ) 【i p a t h s ( t ) ，s x i i s h ，左部树元组不能为空，即t ( s 劫s t r u v e r t 。 【s y l , - - - - , s y 一称为右部树元组路径，对j 【1 ，m 】，都有s y je p a t h s ( t ) ，s y j - 3s h ，右部树元组不能为空，即t ( s y j ) s t rov e r t 。 咀树t 满足函数依赖叩( 表示为t i = s ) ：在s h 限定的子树范围内， 对f 中的任意两个元组t l 和1 2 ，若t t ( 曲t q p i c ，l d b t o c i c m k c u b y a u t h o r a n o d 一 抽钿嘶t a k c a b y a l i i _ j l o r 柙d 2 在f d 2 中很容易看出对予出席了词一个议题的两个不同的作者 是不能有相伺的作者号的，餐是一伞作者可以参加多个议题的讨论， 所以在头部路径即同一争议题这个前提下具有相同作者号的两个作 者是不可能存在豹这个函数依赖成立。 西t o p i c ，l d b t o p 泌 蛔固- - - a b 协p i e t a i 蝴铡曲掘勰$ 凹( f 0 3 ) 首先由自反律得也( 。i s y i ，s y 0 - - - s y _ j 1 ) ，然后由传 硕士学位论文 递律得出( s h ，【s x l ，s x d - - s y j d 成立，分解规则得证。 对f d 5 运用规则( 4 ) ，可以得到： ( d b t o p i c ，【d b t o p i c t l l o 】) - , - d b t o p i c t a k e n b y a u t h o r m a s t e r ( f d 7 ) ( 5 ) 分别对两个函数依赖运用增广律，得到( s h ，【s x l ，s 煳 - s y l ，s x l ，s 划) 和( s h ，【s y l ，s x l ，s x d 一【s y l ，s y 2 】) ，再运用 传递律得出( s h ，【s x l ，s 划一 s y i ，s y 2 1 ) 成立，合并规则得证。 ( 6 ) 对( s h ，【s x l ，s 刈一s h ) 运用增广律得出( s h ， 【s x i ，s s x l ，s 煳- - s h ，s x t ，s 蝴) ，对( s h “s x l ，s 硝 一s y ) 运用增广规则，( s h ，【s h ，s x l ，s x n 】一s y ) ( s h - - c s y ) ，运用传递 规则得出( s h ，【s x l , - - - - - , s x n ，s x l ，s 砌一s y ) ，伪传递规则得证。 另外，从x m l 的结构特性上考虑，还可以得到以下几个推理规 则。 ( 7 ) 唯一子节点：若( s h ，【s x l ，s x n 】一s y ) 成立，存在v e p ( 1 a 暇s y ) ) ，且v 4 不属于p ( 1 a s t ( s y ) ) 甚p 在s y 中v 和其父节点之间是一对 一的关系，那么函数依赖( s h ，【s x i ”，s 目- - - s y v ) 成立。这里并没 有区别节点的类型，因为属性节点和文本节点都有唯一的值，相应得 出的函数依赖是相对于节点的值，( s h ，【s x l , - - - - - , s 刈一s y a ) ，( s h ， 【s x t ，s 硝- s y s ) 。 ( 8 ) 唯一父节点：对予这样一个函数依赖( s h ，【s x z ，s 硝一 s y ) ，若l a s t ( s y ) e ，且l a 娥s y ) r 则函数依赖( s h 。【s x l ，s 列- - s y - l a s t ( s y ) ) 成立。这一规则具有特殊性。因根节点唯一，若s y = r , t l l j 对任 意p e p a t h s ( s ) ，p r 成立。 ( 9 ) 头部路径与左部树元组组合：头部路径限定了函数依赖成立 豹范围且s 鹅2 ，鼢2 。那么函数依赖( & s 瓤，s x n ) 一s y 成立。 0 0 ) 头部路径的扩展性；函数依赖( s i l s x i ，s x d + s y ) 成 立js 、2 s p 并且s 蜀2 s i k 封2 s k s 0f s x l ，s x , l - * s y ) 成立。 规则( 动的证明 假设存在v p (