基于DOOD原语上的查询公式
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
名 。 ｂ 味着 一 个 对 象 或链 属 于 ａ ｃ ａ ｃｘ意 ｂ 。由于 同 样 的描 述 。 户 用
一
个 关 系 是 为 了 表示 一 个 查 询 结 果 的 自然 途 径 。 在关 系数
不 需 要 知 道 那是 实 际 还 是 演 绎 对 象 ／ 关联 类 型 。 据 库 中 ．关 系 被具 体 成 容 易 理 解 的 列 表描 述 。基 于 这 点 ，Ｏ Ｄ ＤＯ 除 了对 象 和 关 系 之外 ．用 户 对 于 他 们相 关 的 所 有 物 也 感 兴 查 询 语 言 含 有 表 达式 ： （ｌ … … ，ｎｐ ｖｄｄｑ 在 这 里 ｒｃ ， ｒｃ， ｒ ｃ）ｍ ｉｅ 。 ｒ ｌ （ ｃ １是 由用 户 指 定 结 果 关 系 的形 式 ，ｒｖ ｅ ｎ ｐｏ ｉ ｄ是 一 个 保 留 ｄ 趣 。 附 于对 象 的 所 有 物 是 属 性 和 方 法 ， 与链 相 关 的所 有 物 是 依 而
结合 上 面 给 出的 Ｅ Ｒ 图 ． 出一 些查 询 例子 来 加 深 理解 。 — 给
基 于 整合 了面 向对 象和 演 绎 的 Ｄ Ｏ 样 式 的 适合 于 终 端 用 户 的 新 颖 的 查 询 语 言 方 法 。 Ｏ Ｄ
【 关键词 】 ：演绎 面向对象 查询公式
引言 ：
查询例子 １ ：查 出收 入 高 和 此 刻 有 一 辆 最 高 时 速 超 过 １０ ９ 在查 询 语 言 中 ．像 演 绎 数 据 库 语 言 一 样 用 逗 号 分 开 的查 询 ， 时新 车 的女 雇 员 Ｊ 组 件可 以理 解 为 逻辑 合 取 。变 量 的 概 念 和 符 号 与 演 绎 数 据 库 语 公 里 ，、 查 询 例 子 １的表 达 式 ： 言相 似 。 不 同查 询 组 件 中 的 同一 变 量 是 一 个 共 享 变 量 ， 在 即这 类 Ｗ ｅｌ ｅ ｌ ｉ ｇ Ｆ ｍａｅ Ｅｍｐ ｏ ｅ ． ｗ— ｕ ｏ－ ｂ ｅ Ｃ ｒ Ｙ ｌ— ａ Ｉ ｅ ｌ Ｔｎ ｌｙ ｅ ｘ Ｎｅ ａ ｔ ｍ０ ｄ ａ ， 变 量 在 它 出 现 的所 有 查 询 组 件 中被 示 例 化 成 同 一 个 值 。 可 以通 过 给 出查 询 原语 表 达 式 来 介 绍 它 的本 质 特 征 。 Ｏ ｎｎ ，：ｗ ｅ（ ， Ｖ ｈｃｅ ）ｙ ｏ－ ｐｅ＞ ９ ｗ ｉｇ ｚ ｎ ｒ ）ｚ ｅｉ （ ，： ｐ ｓｅｄ １０ Ｚ ０ ｘ ： ｌｙ Ｔ
… …
．
属 性 和 参 与对 象 的角 色 名 。如 果 ｘ是可 实例 化 成 对 象 或链 的 变 字 ， 同时 ｑ是上 面介 绍 的 任 何 查 询 。在 用 户 指 定 的 结果 关 系 中 ， ＂ １ ７ １ ｃ 量 ， ｃ是 所 有 物 ， 么 符 号 ｘ ｂ （） 示 Ｙ是 实 例 ｘ的 所 有 物 １ 是 用户 给予 的结 果关 系名 ，而 ｃ ，… … ，ｎ是结 果关 系 的属 ａ ｂ 那 ： ｃｙ表 ａ 性 。 结 果 关 系 的 属 性 是 与 Ｄ Ｏ 原语 相 关 的所 有 物 ， 上 面 介 Ｏ Ｄ 用 ａｃ的值 。 ｂ ２ 对 象类 型 的 连 续 表 达式 ． 绍 的 方式 来 表 达 在 一 个 Ｄ Ｏ 中 ． 几 个 实 际 和 演 绎 对 象类 型 。通 过 相互 ＯＤ 有 查询例子 ２ ：假 设 用 户 对 那 些 女 教 师 教 的 男 同 学 的 车 感 兴 组 合 他 们 ． 户可 以容 易 的 在 概 念 上 指 定 新 的 对 象 集 合 ． 确定 趣 ． 结 果 关 系 中 查 出 教师 名 和 学 生 名 以 及 汽 车 的登 记 号 。 用 并 在 先 决 条 件 。 了能 够使 精 简 的查 询公 式成 为可 能 ， 一 变 量 的几 查 询 例子 ２的表 达 式 ： 为 同 个 查 询组 件 可 以通 过 下 面 的 一个 查 询组 件来 表达 。在查 询组 件 Ｔ ａｈ ｒｓ ｄｎ－ ａ（Ｎ ｍ ，Ｎ ｍ ，：ｅｉｅ ｐｏ ｉ ｅ ｅｃ ｅ－ｔ ｅ ｔｃｒ：ａ ｅ ｓ ａ ｅ ｃ ｇ ｔ） ｒ ｄ Ｆ－ ｕ ｔ ： Ｒ ｓｒ ｖ ｅ ｄ ０１ ， … ，ｔ ｘ中 ， ｔ … …ｏｎ是 在 一 个 Ｄ Ｏ 中 的某 些 对象 ｍａｅ Ｔｅ ｃ ｅ Ｔ， ｌｅ Ｓ ｕ ｅ ｔ ｓ， ｒ Ｃ， ｅ ｃ ｉ ｇ Ｙ， ｎｉｇ ０， ： ｔｘ… ｏ ｎ ｏｌ ｔ Ｏ Ｄ ｌ ａｈｒ Ｍａ ｔ ｄ ｎ Ｃａ Ｔ ａ ｈｎ Ｏｗ ｎ ｙ
这个 例 子 包 含 对 象 问 的 两个 连续 表 达 式 。一 个 含 有 一个 实 Ｅ ｌ ｅ） ｏ Ｗｅ — ａｎｎ ｌ ｅ ｌ 对 ｅ 在查 询语 言 中 ． 量 是 与 对 象 、 、 性 值 或 方 法 返 回 的 值 际 （ ｍｐ ｙｅ 和 两 个 演 绎 （ ｌ ｅ ｒｉｇ和 Ｆ ｍａ ） 象 类 型 ， 变 链 属 相 关 的 。 询语 言 的思 想 是 同样 的事 情 用 统 一 的方 式 来 表 达 。 查 因 另 一 个 含 有 一 个 实 际 （ ａ） 一 个 演 绎 （ ｅ — ｕｏ ｍ ｂｌ） 象 Ｃ ｒ和 Ｎ ｗ ａｔ— ｏ ｉ 对 ｅ 查 Ｏ ｎ ） ｎ 此 用 户 可 以用 同样 的 方 式 来 引 用 一 个 实 际 ， 绎 对 象 类 型 的 任 类 型 。除 此 以 外 ． 询 含 有 一个 演绎 关联 类 型（ｗ ｉｇ￣ 它 的 演
１ 变 量 表 达式 ．
何 对 象 和 实 际， 绎 关 联 类 型 的 任 何 链 。 例 如 ：ｂ 演 ａｃ表 示 一 个 实 所 有 物 （ｅｉ ｅ的所 有物 （ｏ —ｐ ｅ） 引用 。 Ｖ ｈｃ ） ｌ Ｔ ｐ ｓ ｄ的 ｅ ． 际 ／ 绎 对 象 类 型 或 实 际， 绎 关 联 类 型 ， 演 演 ｘ是 用 户 选 取 的 变 量 ４ 基 于 指 定结 果 关 系的 查 询
维普资讯 http://www.cqvip.com
２０ 年 第 １ ０８ 期
福 建 电
脑
１５ ２
基 于 Ｄ Ｏ 原 语 上 的查 询公 式 Ｏ Ｄ
张
【 摘
倩． 张
ห้องสมุดไป่ตู้
凡
（ 南经 贸职 业 学 院 信 息 管理 系 河 南 郑 州 ４ ０ ５ ） 河 ５０ ３
要 １ 演绎面 向对 象查询公 式含 有与演绎数据库和面向对 象数据库查询公式相关的方 面。本文的 目的是 引入一种 ： 原语
一
个 关 系 是 为 了 表示 一 个 查 询 结 果 的 自然 途 径 。 在关 系数
不 需 要 知 道 那是 实 际 还 是 演 绎 对 象 ／ 关联 类 型 。 据 库 中 ．关 系 被具 体 成 容 易 理 解 的 列 表描 述 。基 于 这 点 ，Ｏ Ｄ ＤＯ 除 了对 象 和 关 系 之外 ．用 户 对 于 他 们相 关 的 所 有 物 也 感 兴 查 询 语 言 含 有 表 达式 ： （ｌ … … ，ｎｐ ｖｄｄｑ 在 这 里 ｒｃ ， ｒｃ， ｒ ｃ）ｍ ｉｅ 。 ｒ ｌ （ ｃ １是 由用 户 指 定 结 果 关 系 的形 式 ，ｒｖ ｅ ｎ ｐｏ ｉ ｄ是 一 个 保 留 ｄ 趣 。 附 于对 象 的 所 有 物 是 属 性 和 方 法 ， 与链 相 关 的所 有 物 是 依 而
结合 上 面 给 出的 Ｅ Ｒ 图 ． 出一 些查 询 例子 来 加 深 理解 。 — 给
基 于 整合 了面 向对 象和 演 绎 的 Ｄ Ｏ 样 式 的 适合 于 终 端 用 户 的 新 颖 的 查 询 语 言 方 法 。 Ｏ Ｄ
【 关键词 】 ：演绎 面向对象 查询公式
引言 ：
查询例子 １ ：查 出收 入 高 和 此 刻 有 一 辆 最 高 时 速 超 过 １０ ９ 在查 询 语 言 中 ．像 演 绎 数 据 库 语 言 一 样 用 逗 号 分 开 的查 询 ， 时新 车 的女 雇 员 Ｊ 组 件可 以理 解 为 逻辑 合 取 。变 量 的 概 念 和 符 号 与 演 绎 数 据 库 语 公 里 ，、 查 询 例 子 １的表 达 式 ： 言相 似 。 不 同查 询 组 件 中 的 同一 变 量 是 一 个 共 享 变 量 ， 在 即这 类 Ｗ ｅｌ ｅ ｌ ｉ ｇ Ｆ ｍａｅ Ｅｍｐ ｏ ｅ ． ｗ— ｕ ｏ－ ｂ ｅ Ｃ ｒ Ｙ ｌ— ａ Ｉ ｅ ｌ Ｔｎ ｌｙ ｅ ｘ Ｎｅ ａ ｔ ｍ０ ｄ ａ ， 变 量 在 它 出 现 的所 有 查 询 组 件 中被 示 例 化 成 同 一 个 值 。 可 以通 过 给 出查 询 原语 表 达 式 来 介 绍 它 的本 质 特 征 。 Ｏ ｎｎ ，：ｗ ｅ（ ， Ｖ ｈｃｅ ）ｙ ｏ－ ｐｅ＞ ９ ｗ ｉｇ ｚ ｎ ｒ ）ｚ ｅｉ （ ，： ｐ ｓｅｄ １０ Ｚ ０ ｘ ： ｌｙ Ｔ
… …
．
属 性 和 参 与对 象 的角 色 名 。如 果 ｘ是可 实例 化 成 对 象 或链 的 变 字 ， 同时 ｑ是上 面介 绍 的 任 何 查 询 。在 用 户 指 定 的 结果 关 系 中 ， ＂ １ ７ １ ｃ 量 ， ｃ是 所 有 物 ， 么 符 号 ｘ ｂ （） 示 Ｙ是 实 例 ｘ的 所 有 物 １ 是 用户 给予 的结 果关 系名 ，而 ｃ ，… … ，ｎ是结 果关 系 的属 ａ ｂ 那 ： ｃｙ表 ａ 性 。 结 果 关 系 的 属 性 是 与 Ｄ Ｏ 原语 相 关 的所 有 物 ， 上 面 介 Ｏ Ｄ 用 ａｃ的值 。 ｂ ２ 对 象类 型 的 连 续 表 达式 ． 绍 的 方式 来 表 达 在 一 个 Ｄ Ｏ 中 ． 几 个 实 际 和 演 绎 对 象类 型 。通 过 相互 ＯＤ 有 查询例子 ２ ：假 设 用 户 对 那 些 女 教 师 教 的 男 同 学 的 车 感 兴 组 合 他 们 ． 户可 以容 易 的 在 概 念 上 指 定 新 的 对 象 集 合 ． 确定 趣 ． 结 果 关 系 中 查 出 教师 名 和 学 生 名 以 及 汽 车 的登 记 号 。 用 并 在 先 决 条 件 。 了能 够使 精 简 的查 询公 式成 为可 能 ， 一 变 量 的几 查 询 例子 ２的表 达 式 ： 为 同 个 查 询组 件 可 以通 过 下 面 的 一个 查 询组 件来 表达 。在查 询组 件 Ｔ ａｈ ｒｓ ｄｎ－ ａ（Ｎ ｍ ，Ｎ ｍ ，：ｅｉｅ ｐｏ ｉ ｅ ｅｃ ｅ－ｔ ｅ ｔｃｒ：ａ ｅ ｓ ａ ｅ ｃ ｇ ｔ） ｒ ｄ Ｆ－ ｕ ｔ ： Ｒ ｓｒ ｖ ｅ ｄ ０１ ， … ，ｔ ｘ中 ， ｔ … …ｏｎ是 在 一 个 Ｄ Ｏ 中 的某 些 对象 ｍａｅ Ｔｅ ｃ ｅ Ｔ， ｌｅ Ｓ ｕ ｅ ｔ ｓ， ｒ Ｃ， ｅ ｃ ｉ ｇ Ｙ， ｎｉｇ ０， ： ｔｘ… ｏ ｎ ｏｌ ｔ Ｏ Ｄ ｌ ａｈｒ Ｍａ ｔ ｄ ｎ Ｃａ Ｔ ａ ｈｎ Ｏｗ ｎ ｙ
这个 例 子 包 含 对 象 问 的 两个 连续 表 达 式 。一 个 含 有 一个 实 Ｅ ｌ ｅ） ｏ Ｗｅ — ａｎｎ ｌ ｅ ｌ 对 ｅ 在查 询语 言 中 ． 量 是 与 对 象 、 、 性 值 或 方 法 返 回 的 值 际 （ ｍｐ ｙｅ 和 两 个 演 绎 （ ｌ ｅ ｒｉｇ和 Ｆ ｍａ ） 象 类 型 ， 变 链 属 相 关 的 。 询语 言 的思 想 是 同样 的事 情 用 统 一 的方 式 来 表 达 。 查 因 另 一 个 含 有 一 个 实 际 （ ａ） 一 个 演 绎 （ ｅ — ｕｏ ｍ ｂｌ） 象 Ｃ ｒ和 Ｎ ｗ ａｔ— ｏ ｉ 对 ｅ 查 Ｏ ｎ ） ｎ 此 用 户 可 以用 同样 的 方 式 来 引 用 一 个 实 际 ， 绎 对 象 类 型 的 任 类 型 。除 此 以 外 ． 询 含 有 一个 演绎 关联 类 型（ｗ ｉｇ￣ 它 的 演
１ 变 量 表 达式 ．
何 对 象 和 实 际， 绎 关 联 类 型 的 任 何 链 。 例 如 ：ｂ 演 ａｃ表 示 一 个 实 所 有 物 （ｅｉ ｅ的所 有物 （ｏ —ｐ ｅ） 引用 。 Ｖ ｈｃ ） ｌ Ｔ ｐ ｓ ｄ的 ｅ ． 际 ／ 绎 对 象 类 型 或 实 际， 绎 关 联 类 型 ， 演 演 ｘ是 用 户 选 取 的 变 量 ４ 基 于 指 定结 果 关 系的 查 询
维普资讯 http://www.cqvip.com
２０ 年 第 １ ０８ 期
福 建 电
脑
１５ ２
基 于 Ｄ Ｏ 原 语 上 的查 询公 式 Ｏ Ｄ
张
【 摘
倩． 张
ห้องสมุดไป่ตู้
凡
（ 南经 贸职 业 学 院 信 息 管理 系 河 南 郑 州 ４ ０ ５ ） 河 ５０ ３
要 １ 演绎面 向对 象查询公 式含 有与演绎数据库和面向对 象数据库查询公式相关的方 面。本文的 目的是 引入一种 ： 原语