XML约束的规范化研究

所有元 素和文本孩子组成的序列，即 ｅｅｖ＝ Ｖ … ｖ】 ｌ（ ［ ） ， 其 中 Ｖ … Ｖ 都 是元素结点或是文本结点，且都 是 Ｖ 的孩
子。由于元素结点和文本 结点是考虑次序的，所 以ｅ ｅ ｖ 是 ｌ （）
ＸＬ Ｍ 文档是半结构化的，虽然它很容易表达来 自 同源的数 不
ＸＬ Ｍ 数据 已经成为 Ｉｔ ｒ ｅ 上的主流数据，如果仅仅考 ｎｅ ｎ ｔ 虑到如何从关系数据转换到 ＸＩ文档数据 ，且这种转换 只是 Ｍ 保持 了结构信息，而没有 从数据库设计的角度来评价 Ｘ Ｌ Ｍ 数
据库模式， 这也必将对 以后 的Ｗｂ ｅ数据处理带来很大的麻烦，
势必造成数据的大量冗余和不一致现象 。Ｘ Ｌ文档 的语义结 Ｍ 构非常复杂 ， 很难 从已有 的文档 中提取完整约束条件 ；同时
有次序 的。如 果 ｖ 不是元素结点，则 ｅｅ ］ 没有定义 。 ａｔ ｔ 是一个 函数 。如果 ｖ 是元素结点，则 ａ ｔｖ 返回 ｖ ｔ （）
所有 属性 孩子组成 的集合， 即ａ ｔ ｖ ： ａ … ａ） ｔ （ ） ｛ ，其 中 ａ … ａ都 是属性 结点 ，且都是 ｖ 的孩子。由于属性结点不 考虑 次序 ，所 以ａ ｔ ｖ 是一个集合，里面的元 素没有先后次 ｔ （） 序 ；如果 ｖ 不是元素结点，则 ａ ｔ ｔ 没有定义。
维普资讯
×
广
约 束 的 规 范 化
研
周 莉 王 珏
究
Ｚ ｕ ｈｏ Ｌｉ Ｗａ Ｊｕ ｎｇ ｅ
（ 华东交通大学信息工程学院，、 江西 南昌 ３ ０ １ ） ３ ０ ３
（ｃ ｏ ｌ ｏ ｎ ｏ ｍ ｔ ｏ ｎ ｉｅ ｒ ａ ｔ Ｃ ｉａ Ｊ ａ ｔ ｎ ｎ ｖ ｒ ｉ ｙ ｉ ｎ ｘ ａ ｇｈ ｎ ３ ０ １ ） Ｓ ｈｏ ｆ Ｉ ｆ ｒａ ｉ ｎ Ｅ ｇ ｎ ｅ ，Ｅ ｓ ｈ ｎ ｉ ｏ ｏ ｇ Ｕ ｉｅ ｓｔ ，Ｊ ａ ｇ ｉＮ ｎ ｃ ａ ｇ ３ ０ ３
Ｋｅ ｗｏ ｄ Ｘ Ｌ； Ｃ ｎ ｔ ａ ｎ ｖ ｒ ｓ： Ｍ ｏ ｓ ｒ ｉ ｔ； Ｄ Ｄ； Ｎ ｒ ａ ｉ ａ ｉ ｎ Ｆ ｎ ｔ ｏ ａ ｅ ｅ ｄ ｎ ｙ Ｔ ｏ ｍ ｌ ｚｔ ｏ ； ｕ ｃ ｉ ｎ ｌ Ｄ ｐ ｎ ｅ ｃ
０ 引 言
ｌｂ是一个 函数 ，它将返 回结点 Ｖ ａ 的标签 。如果 ｌ ｂ ｖ ａ （） Ｅ ，则 Ｖ 是元素结点 ；如果 ｌｂ ｖ ａ （）∈Ａ ，则 Ｖ 是属性结点 ；如 果 ｌｂ ｖ＝Ｓ ａ （） ，则 ｖ 是文本结点。 ｅ ｅ是一个 函数 。如果 ｖ是元素结点 ，则 ｅ ｅ ｖ 返回 ｖ ｌ ｌ （）
中图分类号 ：Ｔ ３ Ｐ －Ｏ
文献标识码 ：Ａ
文章编 号 ：１ ７ — ７ ２ （０ ８３ ０ ８ ０ １ ４ ９ 一 ２ ０ ）— １ — ２ ６ ０
Ａｂ ｔａ ｔ Ｉ ｈ ｓ ｐ ｐ ｒ。ｆ ｏ ａ ａ ａ ｅ ｅ ｉ ｎ， ｅ ｔ ｄ ｕ ｔ ｅ ｎ Ｘ Ｌ ｄ ｔ ｂ ｓ ｏ ｓ ｒ ｉ ｔ．Ｘ Ｌ ｆ ｎ ｔ ｏ ａ ｓｒ ｃ： ｎ ｔ ｉ ａ ｅ ｒ ｍ ｄ ｔ ｂ ｓ ｓ ｄ ｓ ｇ ｗ ｓ ｕ ｙ ｆ ｒ ｈ ｒ ｏ Ｍ ａ ａ ａ ｅ ｃ ｎ ｔ ａ ｎ Ｍ ｕ ｃ ｉｎ ｌ
据 ，但是其所能表示 的语义信息却相对 有限，对于给定的关 系模 式中的约束条件及结 构， 也很难实 现语 义上的约束保 持 。 Ｍ 模 式的理论远不如关系数据库理论成熟 ， ＸＬ 还处于初级 阶段 ， 因此， Ｘ Ｌ 对 Ｍ 模式的规范化研究 、约束条件 的研究是当 前 Ｘ Ｌ数据库理论工作者热门的研 究课题 。 Ｍ
ａ ｔ ｐ ｒ ｎ ，ａ ） ｔ ，ａ ｅ ｔ ｖ １ ，其 中：
Ｖ代表有 限的结点集 。
个结 点无双亲 ，其它的结 点仅有一个双亲 。 ’
维普资讯
一
在元素结点 巾唯一的一个结点 ｒｏ 代表树 的根 ） 有 ｏｔ（ ，
１ Ｘ Ｌ Ｍ 文档树模型
一
ｖｌ ａ 是一个 函数 。如果 ｖ 是元素结点，则 ｖｌ ａ 没有定义， 如果 ｖ 是属性结点或是文本结点 ， ａ （） 回它的文本值 。 则ｖ１Ｖ返 ｐｒｎ 是—个 函数，它返 回给定结点的双 亲，ｖ ａｅｔ 中仅有
一
棵 ＸＬ Ｔ 以定义成为一个 六元组 Ｔ＝ Ｖｌｂｅｅ Ｍ树 可 （，ａ ，ｌ，
摘
要： 本文从数据库设计 的角度 出发 ．对 Ｘ Ｌ Ｍ 数据 的约束进行深入 的研 究 ．提 出了基于路径表达式和树模型 的Ｘ Ｌ函 Ｍ
．
数依赖。对于利用 Ｘ Ｌ实现异构数据库 的交换技术上 ，不仅 在理论 上具 有指 导价值 ，而且在实际应用中也具有现实意义和 实 Ｍ
用价 值 。
关键字：Ｍ Ｘ Ｌ：约束 ： Ｔ Ｄ Ｄ：规 范 化：函 数 依 赖
ｄｅ ｎ ｎｃ ｉ ｐ ｓｅ ｅ ｂａ ｅｄ ｎ ａｔ ｅｘ ｅｓ ｏｎ ａｎ ｔｒ ｍｏ ｐｅ ｄｅ ｙ ｓ ｒｅ ｎｔ ｄ ｓ ｏ ｐ ｈ ｐｒ ｓｉ ｄ ｅｅ ｄｅ１ ｒ ｔ ｉ ．Ｆ ｏｍ ｈｅ ｍｐｌ ｍｅ ｅ ｎｔｉ ｇ ｆ ｄａ ａ ｘｃｈ ｎｇ ｅｔ ｅ ｎ ｏ ｔ ｅ ａ ｂ ｗｅ ｎ ｈｅ ｒ ｅｎ ｏｕｓ ｔｅ ｏｇ ｅ ｄａ ａｂ ｅｓ ｔ ａｓ ｗｉ ｈ ｔ ＸＭ Ｌ， ｉ ｈ ｉ ｐｏ ｔａ ｔ ｔ ａｓ ｍ ｒ ｎ ｔｈ ｏｒｅ ｃ ｅ ｔｉ ｓｉ ｎｉ ｃａ ｅ ｎｄ ｐｒ ｔｉ ａｌ ａｌ ｅ ｇ ｆｉ ｎｃ ａ ａｃ ｃ ｖ ｕ ｔｏ ｈ ｒｅ ｅａ ｈ ｔ ｅ ｓ ｒｃ ｏｎ ＭＬ ａｔ ａｓ ｓｃ ｍａ ｏｒ ｌｉ ｔｉ Ｘ ｄ ａｂ ｅ ｈｅ ｎ ｍａ ｚａ ｏｎ．