XML亚强函数依赖及其推理规则

不 完 全 信 息 的 引 入 ， 要 重 新 定 义 数 据 约 束 ， 需 要 对 不 完 需 故
全信息环境下的 Ｘ ＭＬ函数 依 赖 理 论 进 行 研 究 。
文 章 在 不 完 全 信 息 环 境 下 做 了一 些 工 作 ，对 Ｘ ＭＬ强 函 数 依 赖 ［、 Ｌ强 闭 包 依 赖 ［ 及 存 在 Ｘ ８ＸＭ １ ９ １ 以 ＭＬ强 多 值 依 赖 的 Ｘ ＭＬ文 档 的 规 范 化 进 行 了 研 究 。 基 于 Ｘ ｃ ｅ ａ ＭＬ Ｓｈ ｍ 、符 合 Ｘ ｃｅ ＭＬＳ ｈｍａ的 不 完 全 Ｘ ＭＬ文 档 树 、 树 信 息 等 价 、 树 信 子 子 息相容 等概念 提 出了 Ｘ ＭＬ亚 强 函 数 依 赖 的 定 义 和 性 质 ； 为 了 解 决 逻 辑 蕴 涵 问 题 ，给 出 了 Ｘ ＭＬ亚 强 函 数 依 赖 的 推 理 规 则 ， 对 其 正 确 性 进 行 了 证 明 。 以上 研 究 为 不 完 全 信 息 环 境 并
随 着 Ｗｅ ｂ技 术 及 其 应 用 的 快 速 发 展 。 ＭＬ 已 经 成 为 Ｘ Ｉｔ ｎ ｔ 信 息 表 示 和 数 据 交 换 的 标 准 。 ＭＬ数 据 的 管 理 技 ｎ ｒｅ 上 ｅ Ｘ 术 正 处 于 研 究 阶段 。其 中 ， ＭＬ的 规 范 化 理 论 是 一 个 很 重 要 Ｘ 的问题 ， 而数 据 约 束 是 基 础 。 目前 ， 许 多 作 者 已 经 对 Ｘ 有 ＭＬ
全 信 息 必 然 对 应 某 个 或 几 个 实 值 ） 入 Ｘ ｃ ｅ ａ中 ， 于 引 ＭＬＳ ｈ ｍ 由
合路径 给出了 Ｘ ＭＬ函数 依 赖 的 定 义 ，用 此 表 达 方 式 能 够 表 达 更 多 的 一 对 一 、 对 一 的数 据 约 束 。文 献 『 把 不 完 全 信 息 多 ４ 】 引 人 ＸＭ Ｌ文 档 中 ． 用 “ 邻 近 节 点 ” 概 念 给 出 了 ＸＭ 利 最 的 Ｌ强 函数 依 赖 的 定 义 以及 相 应 的 推 理 规 则 ， 没 有 说 明不 完 全 信 但
函 数 依 赖 进 行 了 研 究 ， 献 【】 用 子 树 的 同 构 映 射 在 叶子 节 文 １利
模 式 的 标 准 。ＸＭＬＳ ｈｍａ 但 符 合 Ｘ ｃｅ 不 ＭＬ规 范 ， 持 命 名 空 支 间 、 富 的数 据 类 型 和 属 性 组 等 ， 且 也 支 持 不 完 全 信 息 。由 丰 而 于 客 观 世 界 存 在 大 量 不 完 全 信 息 ， ＭＬＳ ｈｍ Ｘ ｃ ｅ ａ达 到 了 能 够 更 好 地 描述 现 实 客 观 世 界 ，所 以 对 Ｘ ｃ ｅ ａ的 规 范 化 研 ＭＬＳｈ ｍ
下存在 Ｘ ＭＬ亚 强 函 数 依 赖 的 Ｘ ｃ ｅ ＭＬ Ｓ ｈ ｍａ的 规 范 化 研 究 奠 定了基础 。
息 具 体 的 语 义 。文 献 【— 】 究 了 Ｘ ５ ６研 ＭＬ多 值 依 赖 以及 相 应 的
范式理论 ， 以上 研 究 为 Ｘ ＭＬ数 据 约束 的 研 究 奠 定 了 基 础 。 Ｄ Ｄ 存 在 一 些 缺 陷 。 不 支 持 数 据 类 型 ， 差 的 扩 展 性 Ｔ 如 较 等 ． Ｃ针 对 Ｄ Ｄ 的 缺 陷 设 计 了 Ｘ ｗ３ Ｔ ＭＬ 另 一 种 模 式 Ｘ ＭＬ
（ 大连 交通 大 学 软 件 学 院 。辽 宁 大 连 １６ ２ ） １０ ８ 摘 要 ：为 了解 决 不 完 全 信 息 环 境 下 Ｘ ＭＬ亚 强 函数 依 赖 的 逻 辑 蕴 涵 问 题 ．基 于 Ｘ ｃｅ 研 究 了 ＸＭ 亚 强 函 数 依 ＭＬＳ ｈｍａ Ｌ 赖 及 其 推 理 规 则 。给 出 了 Ｘ ｃｅ ａ 符 合 ＸＭ ｃｅ ＭＬＳｈ ｍ 、 ＬＳ ｈｍａ的 不 完 全 Ｘ ＭＬ文 档 树 等 概 念 ； 于 子 树 信 息 等 价 、 树 信 基 子
Ｉ ｆ ｒｏ ｔ ｏ ｇ ｆ ｃ ｉ ｎ ｌｄ ｐ ｎｄｅ ｃ ｎ ｉ ｅ ｅ ｃ ｕｌ ｓｆ ｒ ＸＭ Ｌ ｎ ｅ ｉ ｒ ｓｒ ｎ ｕｎ ｔｏ ａ ｅ ｅ ｎ ｙ ａ ｄ ｎ ｒ ｎ ｅ ｒ ｅ ｏ ｆ
ＹＩ ｉ ｅ ｇ Ｉ Ｙａ ｘｎ，Ｔ ＡＮ Ｈｏ ｇ Ｎ Ｌ — ｎ ，Ｌ Ｕ — ｉ ｆ Ｉ ｎ
（ｏｗ ｒ Ｔ ｃｎ ｌ ｙ Ｄ ｌｎＪ ｏｏｇＵ ｉ ｒｉ ， ａｉ ０ ８ Ｃ ｉ ） Ｓｆ ａｅ ｅｈ ｏ ｇ ， ａｉ ａｔ ｎ ｅｓｙ Ｄ ｌ ｎ１６ ２ ， ｈｎ ｔ ｏ ａ ｉ ｎ ｖ ｔ ａ １ ａ
Ａｂ ｔ ａ ｔ Ｆ ｒｓ ｌ ｉ ｇｌ ｇｃ ｌ ｍｐ ｉａ ｉｎ ｐ ｏ ｌｍ ｒＸＭＬ ｉ ｆ ｒ ｒ ｔ ｎ ｎ ｔ ｎ ｌ ｅ ｅ ｄ ｎ ｙ ｕ ｄ ｒｉｃ ｍｐ ｅｅ ｉ ｏ ｍａ ｉｎ ｓｒ ｃ ： ｏ ｖｎ ｉａ ｌ ｔ ｒ ｂ ｅ ｆ ｏ ｏ ｉ ｃ ｏ ｏ ｅ ｉ ｒ ｇ ｆ ｃ ｉ ａ ｐ ｎ ｅ ｃ ｎ ｅ ｏ ｌ ｔ ｒ ｔ ｎ ｏｓｏ ｕ ｏ ｄ ｎ ｆ ｎ ｏ ｃ ｒ ｕ ｔ ｎ ｅ ， ｎｅ ｏ ｔ ｎ ｎ ｔ ｎ ｅ ｅ ｄ ｎ ｙ ａ ｄ ｉ ｆｒ ｎ ｅ ｒ ｌｓｆ ｒ ｉｃ ｍｓａ ｃ ｓ ｉ ｒ ｒ ｒ ｇｆ ｃ ｉ ａ ｄ ｐ ｎ ｅ ｃ ｎ ｎ ｅ ｅ ｃ ｅ ｆ ｉ ｓｏ ｕ ｏｌ ｕ ｏ ＸＭＬ ｂ ｓ ｄ ｏ ａ ｅ ｎＸＭＬ Ｓ ｈ ｍａ ｗ ｒ ｉｃ ｓ ｅ ． ｅ ｃ ｅ ｅ ｅ ｄ ｓ ｕ ｓ ｄ Ｔｈ ｃ ｎ ｅ ｔ ｆ ＸＭＬ Ｓ ｈ ｍａ ａ ｄ ｉ ｃ ｍｐ ｅｅ ＸＭＬ ｄ ｃ ｍｅ ｔｔｅ ｃ ｏｄ ｎ ｔ ｏ ｃ ｐ ｓｏ ｃ ｅ ｎ ｎ ｏ ｌｔ ｏ ｕ ｎ ｒ ｅ ａ ｃ ｒ ｉ ｇ ｗｉ ＸＭＬ Ｓ ｈ ｍａ ｗ ｒ ｏ ａｉｅ ．Ｂ ｓ ｄ ｏ ｈ ｈ ｃ ｅ ｅ ｅ ｆｒ ｌ ｄ ａ ｅ ｎ ｔ ｅ ｍ ｚ ｃ ｎ ｅ ｔ ｆ ｕ —ｒ ｅｉ ｏ ａ ｉｎ ｅ ｕ ｖ ｌｎ ｅ， ｕ — ｅ ｆ ｒ ａ ｉｎ ｃ ｎ ｉｔ ｎ ， ｈ ｅｉ ｉ ｏ ｆＸＭＬ ｉ ｆ ｒ ｒｓ ｏ ｇ ｆ ｎ ｔ ｎ ｏ ｃ ｐ ｓｏ ｂ ｔｅ ｎ ｒ ｔ ｑ ｉａ ｅ ｃ ｓ ｂ ｔ ｅ ｉ ｏ ｓ ｆ ｍ ｏ ｒ ｎ ｍ ｔ ｏ ｓｓｅ ｔ ｔ ｅ ｄ ｆｎｔ ｎ ｏ ｏ ｉ ｎ ｅｉ ｔ ｎ ｃ ｉ ａ ｏ ｒ ｕ ｏｌ ｄ ｐ ｎ ｅ ｃ ａ ｉｅ ｎ ｔ ｒ ｐ ｒ ｓ ｓｕ ｉ ｄ ｎ ｅ ｅ ｃ ｌ ｓ ｆｒ ＸＭＬ ｉ ｅ ｏ ｔ ｎ ｕ ｃｉ ｎ ｌ ｄ ｐ ｎ ｅ ｃ ｅ ｅ ｅ ｅ ｄ ｎ ｙ ｗ ｓ ｇｖ ｎ ａ ｄ ｉ ｐ ｏ ｅ ｔ ｗａ ｔ ｄ ｅ ．Ｉ ｆｒ ｎ ｅ ｒ ｅ ｏ ｓ ｙ ｏ ｎ ｒ ｒ ｓｒ ｇ ｆ ｎ ｔ ａ ｅ ｅ ｄ ｎ ｙ ｗ ｒ ｆ ｉ ｏ ｏ ｐ ｅ ｅ ｔｄ， ｔ ｓ ｕ ｄ ｅ ｓ ｒ ｉ ｅ ． ｈ ｒ ｄ ｃｉ ｎ ｉ ｉ ｗｏ ｋｌ ｙ ｅｆｕ ｄ ｔ ｎ ｆｒｎ ｒ ａｉａｉ ｎ ｏ ｒ ｓ ｎ ｅ ｉ ｏ ｎ ｎ ｓ ｅｇ ｖ ｎ Ｔ ｅｐ ｏ ｕ ｔ ｔ ｓ ｒ ｓｔ ｏ ｎ ａ ｉ ｏ ｌ ｚ ｔ ＸＭＬ Ｓ ｈ ｍａ ｅ ｉ ｉ ｇ ｓ ｗｅ ｏ ｎｈ ａ ｈ ｏ ｏ ｍ ｏ ｆ ｃ ｅ ｘｓ ｎ ｔ ＸＭＬ ｉ ｅ ｏ ｔ ｎ ｎ ｔ ｎ ｌ ｅ ｅ ｄ ｎ ｙｕ ｄ ｒ ｎ ｏ ｌ ｔ ｆ ｒ ａ ｉｎ ｃｒ ｕ ｔｎ ｅ ． ｒ ｒｓ ｏ ｇｆ ｃｉ ａ ｐ ｎ ｅ ｃ ｎ ｅ ｃ ｍｐ ｅｅ ｉ ｏ ｆ ｎ ｉ ｒ ｕ ｏ ｄ ｉ ｎ ｍ ｔ ｉ ｍｓａ ｃ ｓ ｏ ｃ Ｋｅ ｒ ｓ ｉ ｃ ｍｐｅ ｅ ｉ ｏ ａ ｉｎ；ｓ ｂ ｔ ｅ ｉ ｏ ￣ｉ ｎ ｃ ｎ ｉｔｎ ；ｓ ｂ ｔ ｅ ｉ ｆｒ ａ ｉｎ ｅ ｕ ｖ ｌｎ ｅ ｙ ｗｏ ｄ ： ｎ ｏ ｌｔ ｎ ｒ ｔ ｆ ｍ ｏ ｕ — ｅ ｎ ｒ ｒ ｆ ｍ ｏ ｏ ｓ ｅ ｔ ｕ — ｅ ｎ ｏ ｓ ｒ ｍ ｔ ｑ ｉ ａｅ ｃ ；ＸＭＬ ｉ ｅ ｉ ｒ ｔ ｎ ｏ ｒ ｒ ｇ ｆ ｎ ｏ ｓｏ ｆ ｎ ｔ ｎ ｌｄ ｐ ｎ ｅ ｃ ｕ ｃｉ ａ ｅ ｅ ｄ ｎ ｙ；ｉｆ ｒ ｎ ｅｒ ｌｓ ｏ ｎｅｅ ｃ ｅ ｕ
究 更 具 有 现 实 应 用 意 义 。但 Ｘ ｃ ｅ ＭＬＳ ｈ ｍａ只 可 以 表 示 不 完 全
点上 给 出了 Ｘ ＭＬ函 数 依 赖 以 及 相 应 的推 理 规 则 ， 献 【】 文 ２基 于 Ｄ Ｄ在 叶 子节 点 和 分 支 节 点 上 给 出 了 Ｘ Ｔ ＭＬ函数 依 赖 的 定
Ｓ ｈ ｍ ．０ １年 ５月 Ｗ３ 正 式 推 荐 ＸＭ ｃ ｅ ａ成 为 Ｘ ｃ ｅ ａ ２０ Ｃ Ｌ Ｓｈ ｍ ＭＬ
收 稿 日期 ：０１ － ０ １ ２ １１—２ 稿 件 编 号 ：０ １ ０ ６ ２ １ １０ ４
基 金 项 目 ： 宁省 教 育厅 计 划项 目（ ０ ８ ９ ） 辽 ２ ０ ０ ３
关 键 词 ：不 完 全信 息 ； 树 信 息相 容 ；子 树 信 息 等 价 ； ＭＬ亚 强 函 数依 赖 ； 理 规 则 子 Ｘ 推
中 图 分 类 号 ： Ｐ ｌ． Ｔ ３ １１ ３ 文献标识码 ： Ａ 文 章 编 号 ：１ ７ — ２ ６ ２ １ ） ｌ ０ ０ — ４ ６４ ６ ３ （０ ２ ０ 一 ０ ６ ０
息相容的概念提 出 了Ｘ ＭＬ亚 强 函数 依 赖 的 定 义和 性 质 ： 出 了相 应 的 推 理 规 则 集 ， 对 其 正确 性 进 行 了证 明 。 为 不 提 并 完 全 信 息 环 境 下存 在 Ｘ ＭＬ亚 强 函 数 依 赖 的 Ｘ ｃ ｅ 规 范化 的研 究 奠 定 了基 础 。 ＭＬＳ ｈ ｍａ
义 和 相 应 的 推 理 规 则 ， 献 【】 用 向 下 路 径 、 文 ３利 向上 路 径 和 混
信 息 ， 没 有 说 明不 完 全 信 息 的 具 体 语 义 ， 了 弥 补 此 不 足 ， 却 为 本 文 将 文 献 【１ 的 存 在 型不 完 全 信 息 的语 义 （ 存 在 型 不 完 ７中 即
第２ ０卷 第 １期
Ｖｏ ．０ １２
Ｎｏ １ ．
电子设 计工 程
Ｅ ｅ ｔｏ ｉ ｓｇ ｇ ｎ ｅ ｉ ｇ ｌ ｃ ｒ ｎ ｃ Ｄｅ ｉ ｎ Ｅｎ ｉ ｅ ｒｎ
２１ ０ ２年 １月
Ｊｎ ２ １ ａ． ０ ２
Ｘ ＭＬ亚强 函数依 赖 及其推 理规 则
殷 丽 凤 ，刘 亚 欣 ， 田 宏
４ ｓｌ 表 示 从 简 单 类 型 元 素 节 点 到 值 类 型 节 点 的 映射 ， ） ｅｅ 若 口 Ｅ， ｌ（ ） ’满 足 （ ’＝ ∈Ｓ ｓ ｅ 刮 ， ｅ ） Ｄ； ５ ｒ表 示 从 复 杂 元 素 类 型 节 点 到 属 性 类 型 节 点 的 映 ）ａ ｔ 射， 若 ∈Ｃ ａｔ ）Ｉｌ Ｅ，ｔ ｖ ＝ｖ，… ， ］满 足 ｌ （ ） Ｒ（ ｂ ） ， （ ｍ， ａ ｖ Ｅ １ （ ）其 ｂ ａ 中 ，∈【 ， 。 １州 ６ ）若 为 值 类 型 节 点 和 属 性 类 型 节 点 ，ａ 返 回 相 应 类 ｖｌ
６ －
作 者 简 介 ： 丽凤 （９ ６ ） 女 ， 殷 １７ 一 ， 黑龙 江 海 伦人 ， 士 ， 师 。 研 究 方 向 ： 确 定 Ｘ 博 讲 不 ＭＬ数 据 库 理 论 。
－
殷 丽凤 ． 等
ห้องสมุดไป่ตู้
Ｘ ＭＬ亚强 函数依 赖及 其推 理规 则
满 足 ｌ （ｆ∈Ｃ （ ｂ（） ， 中 ，Ｅ【，】 ｏ ） Ｐ １ ）其 ｂ ａ ｉ １ｎ；