JPH02226472A - データベース・システムおよびデータベース・システムにおける関数式評価方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】

〔発明の技術分野〕 本発明は、一般にコンピユータ化データベース・システ
ムに関するものであり、更に詳細には関数式（ｆｕｎｃ
ｔｉｏｎａｌ　ｅｘｐｒｅｓｓｉｏｎ）によりアクセス
できるデータベース・システムに関する。 〔発明の概要〕 本発明による関数的データベース・システム（ｆｕｎｃ
ｔｉｏｎａｌ　ｄａｔａｂａｓｅ　ｓｙｓｔｅｍ）では
、データベース・システムに対する要求はすべて関数式
で表わすことができる。 手短かに且つ一般的に言えば、データベース・システム
に関する関数式を評価する、本発明による方法は、関数
式を拡張関係代数（ｅｘｔｅｎｄｅｄｒｅｌａｔｉｏｎ
ａｌ　ａｌｇｅｂｒａ　）により関係代数の式にコンパ
イルすること、および関係代数式をベータベースに格納
されているデータを参照して解釈実行しいｎｔｅｒｐｒ
ｅｔｅ）　、関数式の値を得ること、から構成される。 関数はコンパイル中に生成されたりあるいは呼出される
ことがある。このような関数はコンパイラな再帰的に呼
出して評価することができる。同様に、解釈実行中に関
数が生成されたり呼出されることがある。この場合もコ
ンパイラを再帰的に呼出してこの関数を評価することが
できる。インタープリタは、関係代数式が解釈実行中に
発生Ｕそれ自身も解釈実行されなければならないとき、
再帰的に呼出すことができる。 拡張関係代数には、たとえば、データベース更新演算子
（ｄａｔａｂａｓｅ　ｕｐｄａｔｅ　ｏｐｅｒａｔｏｒ
　）　、外部関数演算子（ｆｏｒｅｉｇｎ　　ｆｕｎｃ
ｔｉｏｎ　ｏｐｅｒａｔｏｒ　）’、および順序演算子
（５ｅｑｕｅｎｃｅ　ｏｐｅｒａ　ｔｏｒ　）がある（
順序演算子は演算を行うべき順序を指示する）。 インタープリタは外部関数（関係代数で表現されていな
い関数）を呼出すことができる。 本発明によるデータベース・システムは、磁気媒体また
はコンピュータ・メモリ・／ステムのような格納手段、
通信システムおよびコンビー一り端末のようなインター
フェース手段、および−肝のモジュール、を備えている
。モジュールには、インターフェース手段を通してユー
ザから関数式を受取る実行モジュール（ｅｘｅｃｕｔｉ
ｖｅ　ｍｏｄｕｌｅ）、実行モジュールに応答して関数
式を関係代数式にコンパイルするコンパイラ・モジュー
ル、実行モジー−ルに応答して関係代数式を解釈実行す
るインタープリタ・モジュール、およびインタープリタ
・モジュールに応答し、インタープリタ・モジュールか
ら得られた値に従ってデータベース操作を行うデータベ
ース記憶管理モジュールがある。 システムは好ましくはインタープリタ・モジュルに応答
して外部関数を呼出すオブジェクト管理モジュールおよ
びインタープリタ・モジュールに応答して格納データの
検索および更新を管理するキャッシュ・インターフェー
ス・モジュールを備えている。 本発明の他の局面および利点は例を用いて本発明の原理
を図解している図面と関連して行う以下の詳細な説明か
ら明らかになるであろう。 〔発明の実施例〕 例示目的の図面に示すように、本発明はシステムに対す
るすべての要求を関数式として提示することができるデ
ータベース・システムによシ具現される。 本発明によるデータベース・システムに関する関数式を
評価する方法は、関数式を第１図のブロック１で示すよ
うに拡張関係代数によシ関係代数式にコンパイルするこ
と、および関係代数式をフロック１３で示すようにデー
タベースに格納されているデータを参照して解釈実行し
、関数式の値を得ることから構成される。 コンパイル（ここでは「変換」とも言う）では好捷しく
はブロック１５で示すようにコンパイラの再帰的呼出が
行なわれる。同様に、解釈実行では、ブロック１７に示
すようなインタープリタの再帰的呼出、およびブロック
１９に示すようなコンパイラの再帰的呼出が行なわれる
。 拡張関係代数は好ましくはデータベース更新演算子、外
部関数演算子、および順序演算子を備えている。関係代
数式は外部関数を呼出すことにより得られるデータを参
照して解釈実行される。 インタープリタによυ得られる値に従うデータベース操
作は好ましくはブロック２１で示すように行われる。 好ましくはユーザ（人間のオペレータまたはアブリケー
ンヨン・プログラム）は、ブロック２３で示すように、
データベース操作（検索、更新、データの定義、システ
ム・データへのアクセス、など）に関する要求を実行モ
ジュール（ここでは［評価部（ｅｖａ　Ｉ　ｕａ　ｔｏ
ｒ　）Ｊ　とも言う）に対して関数式の形で提出する。 実行モジュールは、ブロック２３に接続されているブロ
ック２５で示すようにコンパイラを呼出す。 コンパイルが行われた後、実行モジュールはフロック２
７で示すようにインタープリタを呼出す。 第２図に示すように、本発明によるデータベース・シス
テムには、情報を格納するディスク・ドライブ３１のよ
うな記憶手段、システム・ユーザと接続する端末３３の
ようなインターフェース手段、インターフェース手段を
通してユーザから関数式を受取る実行モジュール３５、
実行モジュル３５に応答して関数式を拡張関係代数を使
って関係代数式にコンパイルするコンパイラ・モジュー
ル３７、実行モジュール３５に応答して関係代数式を記
憶手段３１に格納されているデータを参照して解釈実行
し、関数式の値を得るインタープリタ・モジュール３９
、およびインタープリタ・モジュール３９に応答してイ
ンタープリタ・モジュール３つにより得られた値に従い
データベース動作を行うデータベース記憶管理モジュー
ル４１がある。 好ましくはシステムはインタープリタ・モジュル３９に
応答して外部関数を呼出すオブジェク１−管理モジー−
ル４３を備えている。外部関数とは関係代数で表現され
ていない関数である。オブジェクト管理モジュール４３
それ自身は好ましくは複数の外部関数を含んでいる。そ
の他のこのような関数は記憶手段３１に格納することが
できる。 システムは好ましくはインタープリタ・モジュルに応答
して格納データの検索および更新を管理するキャッシュ
・インターフェース・モジュール４５をも備えている。 キャッシュ・インターフェース・モジュール４５および
オブジェクト管理モジュール４３はインタープリタ・モ
ジュール３９とばかりでな（、互いに、および記憶管理
モジュール４１と、直接通信することができる。 本願発明者は持続性のあるオブジェクト（ｐｅｒｓｉｓ
ｔｅｎｔ　ｏｂｊｅｃｔ　）に関する一般の関数式を評
価するプロセスを提案する。このプロセスによれば、デ
ータベース・システムに対するすべての要求を関数式の
形で表現することができる。特に、データベースへの質
問、データベースの更新、データの定義（新しいデータ
ベース関数の定義を含む）、およびシステム・データ（
すなわち、メタ・データ（ｍｅｔａ−ｄａｔａ　）　）
へのアクセスは関数で表わすことができる。同様なプロ
セスのこれまでの記述はデータベースからの検索しか扱
っていない（参考文献〔ｌ〕を参照）。本プロセスには
このような制限はな（、データベースへの要求はすべて
この枠組で処理することができる。 データベースの関数式を評価するプロセスには以下の２
つの段階がある。 段階１：関数式を拡張関係代数式にコンパイルする。従
来のデータベース関係代数を、データベース更新演算子
、外部関数演算子（参考文献〔３〕を参照）、および順
序演算子を用いて拡張している。 関数式から拡張関係式への写像は、やはり関数およびオ
ブジェクトでモデル化されているシステム・カタログに
よシ支援される。カタログから値を得るために、コンパ
イラは評価部を再帰的に呼出すことにより適切なシステ
ム関数を呼出す。 関数式を関係代数に変換する一船釣プロセス゛は、検索
動作について他の所で述べられている（参考文献〔４〕
を参照）。本発明のキーは一組の新しい関係演算子であ
る。これらによって、本システムはシステム自身の動作
を使って実現することができる。 段階２：拡張関係式の解釈実行。この段階はデータベー
スにアクセスし、外部関数を呼出して実行することによ
り行われる。この段階は元の関数式によシ指定された要
求を遂行する。このプロセスを第３図のブロック図に示
す。 コンパイラおよびインタープリタは共に評価部を再帰的
に呼出すことができることに注意されたい。この方法に
は下記の利点がある。 システムが自己記述的である。すべてのメタ・データ（
すなわち、システム関数）はユーザ・アクセス可能な関
数を介して検索され、更新される。 エンド・ユーザとシステムは同じ機構を内部的に使用し
てシステム関数にアクセスし、更新する。 拡張関係代数に変換することができない一般式は外部関
数により表現することができる。これによ構成る程度の
融通性および拡張性が得られる。 このプロセスによりいろいろなレベルで性能の最適化が
できる。 頻繁にアクセスされる関数の値を評価部によりキャッシ
ュ（ｃａｃｈｅ）することができる。 頻繁に使用される関数の拡張関係代数表現をキャッシュ
することができる。 インタープリタによりデータベースから頻繁に得られる
データをキャッシュすることができる。 〔Ａ〕　　はじめに 以下では本発明に基づいて構成された特定のシステム（
Ｉｒｉｓ）について説明する。 データベース・システムである。このモデルは高レベル
の構造的抽象概念（ｓｔｒｕｃｔｕａｌ　ａｂｓｔｒａ
ｃｔｉ’ｏｎ）の他に挙動的抽象概念（ｂｅｈａｖｉｏ
ｒａｌ　ａｂｓｔｒａｃｔｉｏｎ）もサポートする。質
問は関数式で書かれ、関数値はデータベース手続によシ
変更することができる。 ユーザが新しい関数を定義できるようにすることにより
、拡張性が得られる。 長期目標の一つは■口Ｓンステムをそれ自身の関数およ
び手続により記述し実現することができるようにするこ
とである（参考文献〔８〕を参照）。 これを行うには、より高いレベルの操作を定義するのに
使用することができる、オブジェクト生成および関数更
新のための適当な一組の原始的操作を見つけなげればな
らない。この方法によれば新しいデータ・モデル操作の
プロトタイプを通常のデータベース関数として容易に作
ることができる。 この方法によシ、作りなおしの労力をほとんどかけずに
、各種の意味のたとえば多重継承、バージ３ン変更（ｖ
ｅｒｓｉｏｎｉｎｇ）　　および複合オブジェクトの実
験を行なうことができる。Ｉｒ１ｓデ一タベス言語およ
びそのシステム構造に及ぼす影響の性格が本論の主題で
ある。 初期のＩｒ１ｓのインプリメンテーションでは（参考文
献〔１０〕を参照）、Ｉｒ１ｓデータ・モデルのすべて
の操作、たとえば、オブジェクトおよび関数の生成に関
する操作は、Ｃ言語サブルーチンとして実現され、別個
のＩｒ１ｓエントリ・ポイントドして与えられた。この
方法では、複雑なデータベス手続が原始的な組込システ
ム操作により書かれるデータベース言語をサポートする
ことは不可能である。 これに加えて、メタ・データのアクセスはｈｉｓシステ
ム関数のキャッシュ、すなわち、システム・カタログを
保持しているＣ言語サブルーチン・ライブラリを介して
内部的に提供されていた。これらサブルーチンは通常の
Ｉｒ１ｓ　関数のようにはアクセスすることができず、
その使用および制御フローはどちらかと言えばその場し
のぎのものであった。更に、キャッシュされたシステム
関数は通常の関数とは異なるやシ方で更新された。新し
いシステム関数を追加することは、これらが異なる２つ
のアクセス機構、つまり一方はユーザ用、他方はＩｒ１
ｓ　　内部用のもの、でサポートされているため、めん
どうなものであった。 Ｉｒ１ｓの真髄は関数の適用および更新であるから、本
願発明者はＩｒ１ｓ　システムを関数を呼出すという単
一操作の周シに構築しなおしている。したがって、この
再構築は２つの任務から構成されている。すなわち我々
がサボー１−することができるＩｒ１ｓ言語の能力を定
義すること、また内部メタ・データのアクセスとシステ
ム操作を■１°１ｓ関数として実現しなおすことである
。 課題は２つの任務に対する効率的な解決法を見出すこと
である。Ｉｒ１ｓデ一タベース言語の特徴を、効率的に
コンパイルし最適化する仕方がわかっているものに限定
しなければならない。また頻繁に呼出されるもののオー
バへノドおよび径路長を限定する、システム関数の効率
的な実行戦略を考案しなげればならない。あらゆる動作
、ユーザ・アクセス可能なものおよびシステム内部のも
の、に対して関数実行機構が一つしかないという簡単な
ものが好ましいと考えるが、その実行は効率的でなけれ
ばならない。 本論の残りは次のように構成しである。Ｂ節はＩｒ１ｓ
データ・モデルを簡単に概観する。０節で、Ｉｒ１ｓデ
ータ・システムのインターフェースについて説明し、Ｄ
節では新しいシステム構造およびその構成要素について
説明する。 ［：Ｂｌ：ｌ　　Ｉｒ１ｓデータ・モデルの概観Ｉｒ１
ｓデータベース・システムは抽象データ型をサボー１−
する意味論的データ・モデルに基いている。その源は参
考文献〔１３〕および〔１２〕を参照されたい。また参
考文献〔１１〕や〔７〕のような、最近の多数のデータ
・モデルもＩｒ１ｓデータ・モデルと多くの類似性を持
っている。Ｉｒ１ｓデータモデルには３つの重要な構成
要素、すなわち、オブジェクト、型および関数がある。 これらについて以下に手短かに記す。Ｉｒ１ｓデータ・
モデルおよび■口ｓＤＢＭＳの一層完全な説明は参考文
献〔８〕および〔６〕に記されている。本節を通じて、
我々はＩｒ１ｓのモデル構成要素を対話型０８ＱＬデタ
ベース言語を用いて説明する。 ＣＢ−１］オブジエクトと型 Ｉｒ１ｓにおけるオブジェクトはモデル化されているア
プリケーション領域からの実体および概念を表わす。整
数および文字列のような幾つかのオブジェクトはリテラ
ル・オブジェクトとして扱われ、常に利用可能且つプリ
ント可能と見なされる。 代理オブジェクト（ｓｕｒｒｏｇａｔｅ　ｏｂｊｅｃｔ
　）はシステムが生成したオブジェクト識別子すなわち
ｏｉｄにより表わされる。代理オブジェクトの例には人
物および部門を表わすオブジェクトがある。 型は一意的な名前を持っており、各型は共通の特性を分
かち持っているオブジェクトの集まりを表わす。たとえ
ば、顧客を表す型Ｃｕｓ　ｔｏｍｅｒ　　に属するオブ
ジェクトはすべて名前および電話というアトリビュート
を備えている。オブジェクトは関数の引数として働き、
関数の結果として返すことができる。オブジェクトは型
に関して定義された関数に対してオペランドになること
ができる。 代理オブジェクトは複数の型に属することができる。更
に、オブジェクトは型を動的に得たり失ったりすること
ができる。たとえば、ある人物を表わすオブジェクトは
従業員型Ｅｍｐｌｏｙｅｅのインスタンスとして発生す
ることができる。後にこのオブジェクトは後に型Ｅｍｐ
ｌｏｙｅｅを失って退職者型Ｒｅｔｉｒｅｅを得るかも
しれない。この事態が発生すると、型Ｒｅｔｉｒｅｅに
関して定義されているすべての関数がこのオブジェクト
に対して適用可能になり、また型Ｅｍｐｌｏｙｅｅに関
する関数は適用できなくなる。 型は一般化と特殊化をサポートする型構造に組織されて
いる。ある型は他の型の下位の型であると宣言すること
ができる。このとき、他の型はその上位の型となる。型
の関連図はＩｒ１ｓにおけるイン−、ＩＪタンスをモデ
ル化するものである。所与の型に関して定義されて（・
る関数はその下位の壓のいずれに関しても定義される。 関数の段階的詳細化をサポートするために、関数名をオ
ーバーロドすることができる。すなわち、異なる型に関
して定義された異なる関数に同じ名前を与えることがで
きる。オーバーロードされた関数名を用いて関数呼出が
発生されると、この呼出しに対して特定の関数が選択さ
れる。Ｉｒ１ｓは実引数の最も特定的な型（つまり、実
引数の型、あるいはこの型に最も近い上位の型）に関し
て定義されている関数を選択する。 （Ｂ−２）関数 オブジェクトのアメリビュ、−１−、オブジェクト間の
関係、およびオブジェク１−に関する言＋’　３Ｑ’は
関数で表わされる。関数は型について定義され、多値で
あることができ、副作用を持つことができる。 Ｉｒ１ｓでは、関数の宣言はその実現とは別になってい
る。これによ構成る程度のデータの独立が得られる。 型はそれに関して定義される関数の集まりにより特徴づ
けることができる。従業員型には以下の関数が定義され
ているとしてよい。 Ｊ　ｏｂＴ目１ｅ：従業員→文字列 Ｂ　ｍ　ｐ　Ｄ　ｅ　ｐ　ｔ　：従業員→部門Ｍ、ａｎ
ａｇｅｒ　：従業員→従業員 Ｓ　ｎｌ　Ｈｉ　ｓ　ｔ　：従業員→整数Ｘ日付Ｃｈａ
ｎｇｅＪｏｂ　：従業員Ｘ文字列ｘ部門→論理型Ｓｍ１
ｔｈがＪ　０ｎｅＳが管理するＴｏｏｌｋｉ　ｔ　Ｄｅ
ｐａｒｔｍｅｎｔでソフトウェア技術者（Ｓｏｆｔｗａ
ｒｅ　Ｅｎｇｉｎｅｅｒ　）として働いているとすれば
、 ＪｏｂＴｉｔｌｅ（Ｓｍｉｔｈ）＝”Ｓｏｆｔｗａｒｅ
　ＥｎｇｉｎｅｅｒＥｍｐＤｅｐｔ　（Ｓｍｉｔｈ　）
＝Ｔｏｏｌｌｃｉ　ｔＭａｎａｇｅｒ（Ｓｍｉｔｈ）＝
ＪｏｎｅｓＳ　ａ　ｌ　Ｈｉ　ｓ　ｔ　　関数は多値で
ある。これは複数の結果型を持つ関数の例でもある。多
値は一組の給料オブジェクトおよび日付オブジェクトか
ら構成される。日付は給料が変更された時を示す。Ｓｍ
１ｔｈが月給＄３０００で３／１．／８７に雇われ、３
／１／８８に＄３００昇給したとすれば、 Ｓ、３１Ｈｉｓｔ（Ｓｍｉｔｈ）＝（＜３０００　、３
／　１　／　８７＞＜３３００　、３／１／８８＞］ 関数ＣｈａｎｇｅＪｏｂ　は副作用を持つ。この関数は
所与の従業員を所与の部門に割当て、指定に応じて職務
の名称を変更する。これは引数の型が複数ある関数の一
例である。Ｓｍ１ｔｈがアプリケーション部門（Ａｐｐ
ｌｉｃａｔｉｏｎｓ　Ｄｅｐａｒｔｍｅｎｔ）のプロジ
ェクト−７ネージヤー　（Ｐｒｏｊｅｃｔ　Ｍａｎａｇ
ｅｒ　）　ヘ昇進したことは次の関数呼出によりデータ
ベースに反映させることができる。 ＣｈａｎｇｅＪ　ｏｂ　（Ｓｍｉ　ｔｈ　、　”Ｐｒｏ
ｊｅｃ　ｔ　Ｍａｎａｇｅｒ”　、Ａｐｐｌ　ｉｃａ　
ｔ　１ｏｎｓ　）この呼出において、Ｓｍ１ｔｈとＡｐ
ｐｌ　１ｃａｔ　１ｏｎｓはｏｉｄを示す。 新しい関数はその名前をその引数および結果型と共に指
定することにより宣言される。 ＊ｒｃａｔｃ　ｆｕｎｃｔｉｏｎ　Ｍａｎａｇｅｒ　（
Ｅｍｐｌｏｙｅｅ）＝：５ｕｐｅｒｖｉｓｏｒ／Ｅｍｐ
ｌｏｙｅｅ　；関数を使用する前に、その実現形態を指
定しなげればならない。このプロセスについてはＢ−４
に記す。 （Ｂ−３）　　データベースの更新および質問オブジェ
クトの特性は関数の値を変えることによシ修正すること
ができる。たとえば、操作Ｓｅｔ　ＪｏｂＴｉ　ｔｉｅ
（Ｓｍｉ　ｔｈ　）　＝　”　ＭＴ　Ｓ　”　；ａｄｄ
　Ｓａｔ　Ｈｉｔ　（Ｓｍｉ　ｔｈ　）　＝＜３８００
　、１／１／８９＞；を行なうことにより、将来、Ｊｏ
ｂＴｉｔｌｅ関数にパラメータＳｍ１ｔｈ　　を与えて
呼出すと、値ＭＴＳを返すようにし、また別の給料と日
付の組合せをＳｍ１ｔｈの給料経歴に追加する。関数値
を設定し追加する他に、１つまたは複数の値を多値関数
の数値セットから除くことができる。すべての関数が更
新可能というわけではない。 データベースはオブジェクトに関する述語表現および関
数値を指定することにより質問を受けることができる。 質問は変数および関数適用を使用する結果のリスト、実
際に数量化される変数のリスト、および述語表現を指定
する。述語は変数、定数、ネストされた関数適用、およ
び比較演算子を使用することができる。質問を実行する
と変数のインスタンスができる。質問の結果変数のすべ
てのインスタンス化された値および関数適用の結果が結
果リストに指定される。この結果はストリームとして返
される。下記の質問はＳｍ１ｔｈ　　の給料カ変更され
たすべての日付を検索する。 ５ｅｌｅｃｔ　　ｄ ｆｏｒ　ｅａｃｈ　Ｄａｔｅ　ｄ、　Ｉｎｔｅｇｅｒ　
ｓｗｈｅｒｅ　５ａｌＨｉｓｔ　（Ｓｍｉ　ｔｈ　）　
＝＜　ｓ　、　ｄ　＞　；また、以下の質問はＳｍｉ　
ｔｈのマネージャの名前を返す。 ５ｅｌｅｃｔ　Ｍａｎａｇｅｒ（Ｓｍｉｔｈ）；［：Ｂ
−４］　　関数の実現 これまで、質問および更新における関数の宣言およびそ
の使用法について述べてきた。関数の別の重要な特性は
その挙動の指定である。関数値Ｇまデータベース内に明
示的に格納することができるし、あるいは計算すること
ができる。ここで使用する方法はユーザが指定するもの
であシ、関数の実現（ｉｍｐｌｅｍｅｎｔａｔ　ｉｏｎ
　）と呼ばれる。一般に、関数は実現された仕方に関係
なく質問に使用することができる。Ｉｒ１ｓは関数を実
現するための３つの方法、格納、導出、外部、をサポー
トする。 格納型関数 関数の拡張は表に明示的に格納することができる。すな
わち、対応する引数および結果値（関数の写像）を１つ
の表に保持することができる。性能を改善するため、幾
つかの関数を同じ表に集めることができる。格納型関数
は更新することができる。すなわち、引数値から結果値
への写像を明示的に指定することができる（Ｂ−４）。 検索および更新の動作は表についての関係演算により暗
黙に指定される。ｈｉｓ関数の関係表（ｒｅｌａｔｉｏ
ｎａｌｔａｂｌｅ）への写像の形式的な取扱いは参考文
献

〔９〕に見ることができる。 導出型関数 関数は格納型、導出型、または外部である他の関数から
計算することができる。導出型関数はｈｉｓデータベー
ス言語表現により意図的に定義される（Ｂ−３）。導出
型関数はオブジェクトの集合への連想的（ａｓｓｏｃｉ
ａｔｉｖｅ）アクセスをサポートし、ｈｉｓ質問変換部
により最適化することができる。 Ｅｘｏｄｕｓ法（参考文献〔２〕を参照）と異なり、Ｉ
ｒ１ｓデ一タベース言語を汎用プログラミング言語とす
るつもりはない。その目標はデータ・モデルの大部分の
演算を実現する手続関数の定義をサポートするに充分強
力なデータベース言語を提供することである。外部型関
数は、以下に記すが、汎用プログラミング言語の完全な
一般性を達成する。 格納型関数に関する質問により定義された導出型関数は
格納データの１つのビューとしてしか考えることができ
ない。このような関数の更新の意味は必らずしもよく定
義されていない。たとえば、所与の関数の導出表現が幾
つかの表の結合を必要とする場合、この関数を直接更新
することはできない。 しかし、更新の動作はビュー更新（ｖｉｅ〜ｖ　ｕｐｄ
ａｔｅ　）問題を解くことができる場合には、Ｉｒ１ｓ
により暗黙裏に定義される。格納型関数の逆関数として
定義される関数は更新可能な導出型関数の例である。他
の場合には、更新の意味を関数の定義の一部として明示
的に指定してもよい。 一連の更新ステートメントにより定義される関数はデー
タベース手続として考えることができる。 このような関数は副作用があり、更新することができな
い。 外部関数 外部関数は成る汎用プログラミング言語で書かれたプロ
グラム言語により定義され、Ｉｒ１ｓの外部でコンパイ
ルされる。オブジェクト・コードはｈｉｓデータベース
に格納されている。外部関数が呼出されると、プログラ
ムが動的にロードされて実行される。外部関数は融通性
と拡張可能性を持つ。 データベース言語は計算的に完全ではないから、導出型
関数として表わすことができない成る機能がある。外部
関数はこのような機能システムに組入れる機構を提供す
る。更に、全存在しているプログラムを外部関数の機構
を使ってＩｒ１ｓに容易に組込むことができる。 外部関数はＩｒ１ｓシステムにより最適化することはで
きない。しかし、その質問での使用法は最適化できる可
能性がある。 外部関数およびそれらをＩｒ１ｓでサポートする機構は
参考文献〔３〕に記述されている。 ［Ｂ−５〕Ｉｒ１ｓシステムのオブジェクトＩｒ１ｓで
は型および関数もオブジェクトである。 これらはそれぞれシステムの型であるＴ　ｙ　ｐ　ｅお
よびＦｕｎｃｔｉｏｎのインスタンスである。Ｉｒ１ｓ
システムの型およびその下部型／上位型の関係を第４°
図に示す。通常のユーザ指定の型と同様、システム型に
はそれらに関して定義した関数がある。システム関数は
格納、獲得、または外部、の各関数として実現され、副
作用を持っていることがある。 システム型および関数の集まりは■ｒｉｓメタ・ブタを
モデル化する。この方法によりメタ・データを１ｒｉｓ
データ・モデルでモデル化することができる。 副作用のないシステム関数はメタ・データを検索する。 このような関数には、型または関数の名前を返す関数、
引数および関数の結果の個数を返す関数、型の下位の型
を返す関数、引数および関数の結果の宣言された型を返
す関数、および関数ののコンパイル後の表現を検索する
関数のようなものがある。 副作用を持っているＩｒ１ｓシステム関数をシステム手
続と呼ぶ。これらはオブジェクトマたは型を作り出すこ
と、関数を実現すること、関数の値を変更すること、お
よびデータベースに質問すること、のよ５なデータ・モ
デルの操作を実施する。 （Ｃ）　Ｉｒ１ｓカーネル・インターフェース〔Ｃ−１
〕機能 Ｉｒ１ｓのカーネルはＩｒ１ｓデータ・モデルを実現す
るプログラムである。これは関数評価部、または更に一
般的には式トリー評価部（ｅｘｐｒｅｓｓ　１ｏｎｔｒ
ｅｅ　ｅｖａｌｕａｔｏｒ　）、として働く、単一のエ
ンドす°ポイント、１ｒｉｓ　ｅｖａｌ、を経てアクセ
スされる。 ｈｉｓ　　式トリー内の各ノードは自己識別的であり、
ヘッダおよび幾つかのデータ・フィールドから構成され
ている。へノダはノード型を規定する。 （ノート型はオブジェクトの型とは異なる概念である。 ノード型は単にインターフェース・データ構造を識別す
るだけである。）可能なノード型は次のとおりである。 オブジェクト識別子、変数、関数呼出、およびリテラル
形式（すなわち、整数、実数、論理型、文字列、２進、
バッグ（ｂａｇ）、　リスト）の各々に１つづつのノー
ト型。 カーネルの要求は式トリーの形でフォーマ、トされる。 ユーザ関数およびシステム関数は（比較や同等性チエツ
クのような基本関数も含めて）゛すべで関数呼出を経て
呼出される。現在のところ、カーネルに送られる式トリ
ーのルートは関数呼出でなければならない。関数引数を
評価し、関数を呼出すプロセスを矢筒で述べる。 ｈｉｓカーネルの呼出の結果も式トリーである。ただし
、結果の式トリーは全て定数ノート（すなわち、リテラ
ルまたはｏｉｄ　）から構成されている。 結果ｌ・リーの内容および構造は入力式トリーにより指
定された関数により変わる。たとえば、○ｂｊＣｒｅａ
ｔｅ　　システム手続（オブジェクトを作り出す）を呼
出すと単一ノード、オブジェクト識別子、がら成る式ト
４リーを返す。しかし、多値関数または２つ以上の結果
型を持つ関数を呼出すと、それぞれ、バッグまたはリス
トを返す。たとえば、システム選択手続（オブジェクト
の集まりを見つける）はオブジェクトのバッグを返す。 個々のｈｉｓカーネル要求は結果バッファおよびエラー
・バッファを指定する。エラー・バッファは要求の処理
中に遭遇したエラーを記録するのに使用される。結果バ
ッファには要求の結果が詰込まれる。結果バッファが結
果オブジェクト全体を入れるには小さ過ぎる場合には、
バッファに適合するだけの結果が返される。充分なスペ
ースを確保することは要求元（ｃｌｉｅｎｔ　）の責任
である。 成る場合には、結果の大きさが予測できないことがある
。その場合には、Ｓ　ｃａｎ　０ｐｅｎシステム手続を
使用して結果オブジェクトの走査（ｓｃａｎ　）を生成
することができる。５（ａｌｏｐｅｎに対する引数は単
に元の要求式トリーである。 走査をオープンすることは依頼元にとって頻繁な操作で
あることが予想される。したがって、便宜上、カーネル
は別のエントリ・ポイント　１ｒｉｓ−ｏｐｅｎ、　＋
ｒｉｓ−ｎｅｘｔ％１ｒｉｓ−ｃｌｏｓｅを提供する。 これらはそれぞれＩｒ１ｓシステム手続５ｃａｎＯｐｅ
ｎ、５ｃａｎＮｅｘｔ、　Ｓ　ｃａｎｃＩｏｓｅと同じ
機能を示す。 エントリ・ポイントの他に、式トリーを操作する任務を
簡単にするのに、多数の有用な操作が設けられている。 たとえば、ノードの型を返す、ノードをプリントする、
ノードをコピーする、という有用な操作がある。 ｈｉｓカーネルは独立のサーバ（ｓｅｒｖｅｒ　）プロ
セスとして動作することができるし、あるいは直接依頼
元のプロセスにリンクすることもできる。 非サーバ化モード（ｎｏｎ−ｓｅｒｖｅｒ　１ｚｅｄ　
ｍｏｄｅ　）では、カーネルと依頼元は同じアドレス空
間で実行される。したがって、カーネルは、その私有デ
ータを保護するためのハードウェア・サポートがなけれ
ば、バグや依頼元による危害に敏感である。しかしなが
ら、このモードで動作させる性能上の利点ントする。し
かし、引数は型がついているので、フォート関数の必要
はない。特に、引数が式として宣言されていれば、コン
パイラはこれを評価しようとせず、単にこの式トリーを
関数に伝えるだけである。たとえば、システム関数５ｅ
ｌｅｃｔに対する述語引数は式として定義される。 ［Ｄ］　　Ｉｒ１ｓカーネルの構成 りｉｓカーネルは、要求を受理し、要求を実行し、応答
を送出する、ことの無限ループのサーバとして動作する
。実行フェーズは、２つのステップ、つまりコンパイル
と解釈実行、から成る。カーネル要求は関数式トリーの
形をしている。インタープリタは関係代数トリー（実際
には、拡張関係代数トリー）に対して動作する。したが
って、コンパイラは関数トリーを関係代数トリーに変換
しなければならない。インタープリタは関係代数トリー
上を渡り歩いて（ｔｒａｖｅｒｓｅ　）結果を発生する
。 カーネルはソフトウェア・モジュールの集まりとして組
織されている。これらは第５図に示すように層を成して
いる。最上レベルのモジー−ル、ＥＸ（実行モジュール
）はカーネルのエントリ・ポイントおよび基本サーバ・
ループを実現する。 各要求に対して、質問変換モジュールＱＴを呼出してこ
の要求に対する関係代数トリーを構築する（参考文献〔
４〕を参照）。次に関係代数トリーを質問インタープリ
タ・モジュールＱＩに伝えて結果を得る。 Ｍ　ａ　ｒ　ｓはｂｉｓ記憶管理モジュールである。こ
のモジュールはデータ共有、トランザクション管理、お
よびストアされている表へのアクセスを行う。 Ｂトリー・インデクスを表について定義するこ“とがで
きる。Ｍ　ａ　ｒ　ｓは表中のタプルを挿入、削除、更
新し、述語表現を使用して表からタプルを連想的に検索
するプリミティブを提供する。Ｍ　ａ　ｒ　ｓは同時制
御を行なうため、異なるプロセス間の共有メモリ・バッ
ファを使用する。 オブジェクト管理モジュールＯＭはＩｒ１ｓシステム手
続の幾つかを（後に説明するように）外部関数として実
現する。キャッシュ・インターフェース・モジー−ルＣ
ＩはカーネルとＭａｒｓ　との間の中間の層である。こ
れはカーネルとＭａｒｓとの間のデータ検索およびデー
タ更新のためのブリフエンチおよびキャッシュ管理を行
う。第５図で○■およびＯＭからＭａｒｓへの直接接続
があるのは、幾つかのデータ定義コマンドおよびトラン
ザクション制御コマンドがキャッシュ・インターフェー
スを迂回していることを示す。 本節の残りは質問変換モジュールおよび質問インタープ
リタ・モジュールについて一層詳細に述べる。またメタ
・データ・アクセスおよびオブジェクト管理モジュール
の機構についても説明する。 〔Ｄ−１１質問変換モジー−ル Ｉｒ１ｓカーネルに対する要求はＩｒ１ｓ関数式トリす
なわちＦトリー　としてフォーマットしなければならな
い。関数式トリーの）−トには関数呼出し、変数、およ
びリテラル・ノードがある。 質問変換プロセスは３つの主要なステップから構成され
る。第１に、Ｆトリーを基準形式（ｃａｎｏ旧ｃａｔ　
　ｆｏｒｍ　）に変換する。これには以後の変換を簡単
にするために行われる一連の１・り一変換が含まれる。 たとえば、ネストされた関数呼出は補助変数を導入する
ことによりネストから出される。第２のステップは基準
Ｆトリー（ｃａｎｏｎｉｃａｌＦ−１ｒｅｅ）　　をＲ
ｌ−１）−として知られている拡張関係代数トリーに変
換する。これは関数呼出をその実現形態（これはそれ自
身Ｒトリーである）で置換える機械的プ町セスである。 たとえば、比較関数（たとえば、等しい、等しくない、
よシ少い、など）呼出は関係代数の選択演算子に変換さ
れる。 論理関数ＡＮＤは交差績（ｃｒｏｓｓ−ｐｒｏｄｕｃｔ
　）演算子に変換される。 得られるＲトリーは、射影（ｐｒｏｊｅｃｔ　）、選択
、および交差績という関係代数清算に関するノードから
構成されている。質問インタープリタ・モジュールＱＩ
の機能を増すため、幾つかの追加ノードがある。ｔｅｍ
ｐ−ｔａｉｌ　ｅ　ノードは一時的な表を作り出し、必
要に応じてソートする。更新ノードは現存する表を修正
する。ンーケンス・ノートはその部分トリの各々を順々
に実行する。 Ｒトリー〇葉（ｌｅａｆ）は他のノードにより処理され
るデータを実際に発生する。葉は表ノードか外部関数ノ
ードのいずれかである。表ノードはＭａｒｓ表の内容を
検索する。射影リスト（ｐｒｏｊｅｃｔ　１ｏｎｌｉｓ
ｔ　）および述語を表ノードと関連させて、検索される
タプルの数を減らすことができる。外部関数ノードは単
に外部関数を呼出すだけである。 トリーの意味は子ノードの結果が以後の処理のため親ノ
ートに送られるということである。たとえば、表ノート
よりも上にある射影ノードは射影ノードによって返され
たカラムを濾過して除去する。結合（ｊｏｉｎ）の操作
は、選択ノードを交差績ノードの上に置いて下位の交差
績のカラムを比較することにより指定される。も−ちろ
ん、これらはこのように実行されることはほとんどない
。というのも、フィルタ述語は普通は交差績よりも下位
に押し込まれるからである。 最後のしかも最も複雑なステップは、ＲトＩＪ　−を最
適化することである。オプチマイザはルール・ベースで
動作する。各規則は試験述誤および交換ルーチンから構
成されている。試験述語は１りトリー・ノードを引数と
して用い、述語が真と評価すれば、交換ルーチンが呼出
される。述語ノード（たとえば、射影ノートよりも上に
ある選択ノード）の相対位置またはノートの状態（たと
えば、交差績ノートに入力が一つあるだけである）を試
験することができる。可能な変換には、ノートを削除す
ること、あるノートを他のノードの上位または下位に移
動すること、またはノートを新しいＲトリー断片で置換
えること、がある。参考文献〔５〕　　のように、規則
を修正したときはシステムをコンパイルしなおさなけれ
ばならない。 規則は、夫々まとまっである特定の任務を行ういくつか
の規則セットに組織されている。たとえば、ある規則セ
ットは定数式を簡単化することに関する全ての規則（た
とえば定数の伝播や折返しくｃｏｎｓｔａｎｔ　ｐｒｏ
ｐａｇａｔｉｏｎ　ａｎｄ　ｆｏｌｄｉｎｇ）　）を有
している。最適化は各規則セントに関して、Ｉりトリー
全体を渡り歩くことにより行われる。この間、どのノー
ドにおいても、規則上ノド内のどの規則でも、その試験
述語が真であれば起動させることができる。 最適化ステップ（すなわち、規則セット）は次のように
概略述べることができる。Ｒトリーを基準形式に変換す
る初期規則セットが存在する。基準形式は多数の質問ブ
ロックから構成されている。 質問ブロックは、射影ノードと、その下に置かれた選択
ノードと、そのまた下に置かれた交差損ノート（これら
ノードはいずれも必須というわけではない）から構成さ
れている。質問ブロックの葉は表ノート、外部関数／−
ト、または他の質問フロックのいずれでもよい。質問ブ
ロックのルートはｔｅｍｐ−ｔａｂｌｅノート、更新ノ
ード、またはンーケンス・ノートである。 第２の規則セットは冗長な結合を除去する。この規則セ
ントには交差積内の多数の表を減らすという効果がある
。第３の規則セットは式を簡単にすることに関係してい
る。第・１の規則セットは交差槓ノート内の下層の表の
順序を並べ換えて実行時間を少（する。第５の規則上）
１−は記憶管理モジュール特有の最適化、たとえば記憶
管理モジ−一ルが行うことのできる射影および選択の操
作を見つけること、を取扱う。 最後の（最適化された）　ＲトＩＪ−は、質問を処理し
て結果をユーザに戻す質問インタープリタ・モジュール
に送られる。しかし、Ｒｌ−ＩＪ−は質問を表現するこ
とができないが、代シに、導出型関数の新しく定義され
た本体となることができる。 この場合には、Ｒトリーは、後に導出型関数を参照する
質問をコンパイルするとき検索するデータベース・シス
テム・カタログ内に単に格納されるだけである。 質問変換モジュールは柔軟で、ノードの述語試験および
トリー変換の形で表現することができるどんな最適化で
も組入れることができる。特に重要なのは外部関数の使
い方を最適化する能力である。簡単な例として、２つの
数について簡単な算術計算を行う外部関数を与えれば、
オペランドが定数であればコンパイル時に結果を評価す
るような規則を書くことができる。 ｕ）−２：）　　質問インタープリタ・モジュール質問
インタープリタ・モジュールは、Ｒｌ−り一を評価して
、ユーザに返したり、あるいは（たとえば、関数の結果
を更新するために）データベスに戻してストアすること
ができる一組のタプルを作成する。質問インタープリタ
・モジュールはＲトリー内の各ノードを走査オブジェク
ト（５ｃａｎｏｂｊｅｃｔ　）　　として扱う。Ｒトリ
ー内の各ノートは関連する３つの操作ｏｐｅｎ、　ｇｅ
ｔ−ｎｅｘｔＳｃｌｏｓｅ、を備えている。質問インタ
ープリタ・モジュールにＲトリーが渡されると、質問イ
ンタープリタは単に、このＲトＩＪ−のルートに対して
オープン（ｏｐｅｎ　）操作を呼出し、次にタプルが返
ってこなくなるまでｇｅｔ−ｎｅｘｔを呼出す。次にｃ
ｌｏｓｅ操作が呼出される。 ｏｐｅｎ　操作は質問インタープリタ・モジュールを再
帰的に呼出して結果を部分トリーから検索することがで
きる。たとえば、射影ノードが与えられると、Ｒｈリー
のこの射影ノードより下の部分がこの射影操作のための
タプルの源を表わす。 従って、射影ノートに対するＯ　ｌ）ｅ　１１操作はタ
プルを得るためにこの部分トリー上で走査（５ｃａｎ　
）を再帰的にオープンしなければならない。 ｇｅｔ−ｎｅｘｔ操作は走査における次のタプルを返す
。葉ノードはデータ源である。表ノードに対してｇｅｔ
−ｎｅｘｔ操作をすると、前にオープンしてあった走査
における次のタプルを取出す。同様に外部関数ノードに
対してｇｅｔ−ｎｅｘｔ操作をすると、外部関数が呼出
されて次のタプル値を発生する。 質問インタープリタ・モジュールは完全にリエントラン
トである。質問インタープリタ・モジュルは、先に述べ
た簡単な射影−選択一交差積トリーではなく、任意の複
雑さのＲトリーを取扱うことができる。特に、ネストさ
れた質問を容易に処理することができる。 （Ｄ−３］　　Ｉｒ１ｓメタ・データ 関数をコンパイルし実行するために、Ｉｒ１ｓシステム
はメタ・データを記述するシステム・カタログにアクセ
スする必我がある。たとえば、型が与えられると、Ｉｒ
１ｓはそのすべての下位型を見つけることができなけれ
ばならない。関数が与えられると、Ｉｒ１ｓは、その関
数の名前、引数および結果パラメータ（これらは、それ
自身、それ自身の記述を持つシステム・オブジェクトで
ある）、関数実現部、および関数が単一の値であるか否
か、を知らなければならない。任意のオブジェクトに対
して、Ｉｒ１ｓはそのすべての型を判定することができ
なければならない。 Ｉｒ１ｓシステム・カタログはデータ表の集まり（現在
は約１５）として保持されている。これらの表はシステ
ム型および関数の拡張を実現する。システム内のシステ
ム・メタ・データをモデル化するというこの概念は、シ
ステム・メタ・データを関係としてモデル化する関係デ
ータベース・マネージャと同様である。 システム関数は共に頻繁にアクセスされる（すなわち、
特定の関数に対する名前および引数を得る）ので、オブ
ジェクトの特定の型についての関数の大部分が一つの表
に一緒に集められている。 あるオブジェクトに対するメタ・データは幾つかの表に
よシ表わされている。たとえば、関数の実現を表わすＲ
ｌ−ＩＪ−は関数メタ・データの残りものから明確に分
離された別個の表に格納されている。 ｈｉｓシステム手続の意味（ｓｅｍａｎｔｉｃｓ　）は
システム表に対する更新として実現することができも本
質的に、これは工ロＳオブジェクト管理部の仕事である
。 ［Ｄ−４］　　オブジェクト管理モジュールｈｉｓの現
在のバージョンにおいては、システム手続は外部関数と
して書かれている。これは、表を更新する関係代数ノー
トが存在しなかつたため最初のもので行われたことであ
る。代りに、システム手続は記憶管理モジュールを直接
呼出してシステム表を更新している。システム手続の数
および複雑さが増すにつれて、この解決法は幾つかの理
由で勢力が少くなってきている。第１に、記憶管理モジ
ュールがオブジェクト管理モジュール内の多数のロケー
ションから呼出されるので、別の記憶管理モジー−ルを
使用するようにＩｒ１ｓ　を修正するのは困難である。 Ｉｒ１ｓを記憶サブシステムと無関係にすることが長期
目標である。実際、記憶管理モジュールを他の外部関数
と見ることができるようにすべきである。 直接ＭａｒＳ呼出しに伴う第２の問題は、操作の意味が
手続の内側に隠されていることである。したがって、手
続を最適化することが不可能である。 その他に、このことはｂｉｓが自己記述的でないことを
意味している。 従って、次の段階はｈｉｓシステム手続をＩｒ１ｓ自身
を使りて作りなおすことである。この線に清って最初の
ステップが実行された。更新ノードおよびシーケンス・
ノードがＲトリー・ノードの集合体（拡張関係代数ノー
ド）に追加された。これらのノードは現在ユーザ関数を
修正するのに使用されている。次のステップは、ノード
を使用してシステム表を更新することである。このこと
は、これができるようになったときにはシステム表を修
正する原始更新操作の集合が存在することを意味してい
る。次に、より高いレベルの手続をこれら原始手続から
得ることができる。原始手続それ自身は外部関数として
実現することもできるし、あるいはシステム表に関する
更新として得ることもできる。 ［：Ｄ−５］　　例：型の生成 本節では、Ｉｒ１ｓ　　の構成を一層良く理解するよう
に、新しいＩｒ１ｓ型を作９出す際の一連のでき事につ
いて述べる。第１に、依頼元はカーネルに対する要求式
トリーを構築しなければならない。 この場合には、要求トリーは単一の関数呼出ノードであ
る。呼出ノードは呼出すべき関数の識別子（名前Ｔｙｐ
ｅＣｒｅａｔｅ、またはそのオブジェクト・識別子）、
および型名とその型の下位型が入っている引数リストを
含む。 次いでエロＳカーネルかげ１ｓ−ｅｖａｌ　エントリ・
ポイントを経て呼出される。実行モジュールは直ちに式
トリーをコンパイルのためＱＴに渡す。ＱＴはまず関数
引数が正しい型であるかチエツクして確認する。特に、
引数は「単純」、すなわち、オブジェクト識別子かりチ
ラルかのいずれか、でなければならない。現在、関数の
ネスティング、−ｔ６よび変数は成るシステム関数につ
いてサポートされているだけである。型チエツクは、実
引数の型が対応する仮引数の型と一致するか、またはそ
の下位型であれば成功である。引数型が正しければ、Ｑ
Ｔはその関数についてのＲトＩＪ−による実現を取出し
、仮引数に引数を代入する。 この要求は簡単な関数呼出であったから、Ｒトリーのそ
れ以上の最適化は不要である（　Ｒ）　ＩＪ　−ばあら
かじめ最適化された形で格納されているので）。しかし
、選択のような、成るシステム関数は更に完全な最適化
を必要とする。これは複数の関数呼出を含んでいる式ト
リーに対しても言える。 ＱＴは要求に対して最適化されたＲ　Ｉ−ＩＪ−を実行
モジュールに返す。実行モジュールはこのＲｌ−リーを
質問インタープリタ・モジュールに渡して結果を抜出す
。Ｒトリーは多数の質問ブロックから構成することがで
きる。我々の場合、ＲトＩＪ　−は単一の外部関数ノー
トであり、このノーＩ・はＩｒ１ｓ　ＴｙｐｅＣｒｅａ
ｔｃシステム手続を実行する外部関数を呼出す。関数が
単一値であることがわかっているから、この結果上に走
査をオープンする必要はない。したがって、質問インタ
ープリタ・モジュールは単に外部関数を呼出し、結果、
すなわち生成された型のオブジェクト識別子、を返すだ
けである。 新しい型を作り出す外部関数は以下の操作を行う。最初
に型名がユニークであることおよびその上位型が存在す
ることをチエツクする、幾つかの健全性チエ、りを行う
。これ＆％　１ｒｉｓ−ｅｖａｌを使用してメタ・デー
タ・チエツクに適切なシステム関数を呼出すことにより
行われる。次に直接Ｍａｒｓ゛を呼出して型メタ・デー
タを含んでいるシステム表を更新する。最後に、新しい
型に対するタイピング関数を作り出す。タイピング関数
は型の拡張を保持する。典型的には、タイピング関数は
オブジェク（・が特定の型を持っているかどうか確認す
るのに使用される。たとえば、ＵｓｅｒＦｕｎｃＬｉｏ
ｎ（ｘ）はＸにより識別されるオブジェク１〜がユーザ
関数である場合に真を返す。 関数の生成はｈｉｓンステム手続（Ｆ’ｕｎｃｔｉｏｎ
Ｃｒｅａｔｃ）であることに注意されたい。したがって
、Ｉｒ１ｓはそれ自身を再帰的に呼出さなければならな
い。 ＴｙｐｅＣｒｅａｉｅ関数は式トリーを構築してＦｕｎ
ｃｔｉｏｎＣｒｅａｔｅを呼出し、タイピング関数を作
り出すために１ｒｉｓｅｖａｌを呼出す。この関数が首
尾よく作られると、ＴｙｐｅＣｒｅａｔｅ　は新しい型
オブジェクトのオブジェクト識別子を返す。この関数が
首尾よく作られなければ、型オブジェクトが削除され、
エラーが依頼元に返される。 〔Ｄ−ｆ３］　　検討 上述の例は現在のＩｒ１ｓアーキテクチヤの幾つかの局
面を示している。第１に、ＴｙｐｅＣｒｅａｔｅ　関数
は、幾つかのシステム表を更新し、次いで（クイピング
関数を作るため）外部関数を呼出す、運のステップであ
る。Ｒトリーで表現された更新ノートおよびシーケンス
・ノードが与えられたならば、ＴｙｐｅＣｒｅａｔｅ関
数を外部関数ではなく　ｈｉｓ導出型関数として書くこ
とができない理由はないように思われる。この場合、更
新ノートはｈｉｓ：＞ステム表を修正するのに使用され
、外部関数ノードはＦｕｎｃｔ　１ｏｎｃｒｅａｔｅを
呼出すのに使用されることになる。これらのステップは
シーケンス・ノードにより命令される。 第２に、ＴｙｐｅＣｒｅａｔｅ関数はＦ　ｕｎｃ　ｔ　
１ｏｎＣｒｅａ　ｔｅ関数により実現されることに注意
されたい。したがって、関数生成は成る意味では型生成
よりも原始的な手続である。関数生成は、システム表更
新に関係しており、おそらく他のｈｉｓ関数を呼出す。 我々のゴールは、Ｉｒ１ｓ意味論を実現し、現在のシス
テムをこれら基本関数を使って作りなおすのに必要な原
始操作をつきとめることである。これにより現在の多数
のシステム関数が導出型関数として実現されることにな
ろう。 〔発明の効果〕 福 オブジェクト芯内データベース・システムについての新
しいアーキテクチャを提案した。このアーキテクチャは
一般化された関数評価手段を提供するものである。この
アプローチには下記の利点がある。 ・新しいモデルの意味および動作を、所要機能を備えた
手続データベース関数を書くことにより達成することが
できる。これらの関数は現実のフ？Ｐ ログラム、たとえば関数評価溝の呼出しを行いまた一層
良好な性能を出すように手作業で最適化することができ
るＣプログラム、で置換えることができる。 ・システム・カタログは特別な実現を行なう必要はない
。関数を追加または除去することによシ辞書の構造を容
易に変更することができる。辞書の内容が、丁度通常の
ユーザ・データのように、関数の更新によシ修正される
。 ・−膜化関数評価機構はキャッシュされたシステム辞書
に対する外部ユーザ要求および内部要求の双方に使用さ
れるので、システム・アーキテクチャを簡単にする。 このアプローチはｈｉｓ　システムを実現するのに現在
使用されている。 これまで述べたことから、本発明のデータベースにより
ユーザが関数表現だけでシステムとインターフェースを
とることができることがわかるであろう。 本発明の成る特定の実施例について記述し説明してきた
が、本発明はこのように記述し説明した特定の形態や要
素の構成に限定されるべきではない。各種の修正および
変更を、本発明の範囲および精神から逸脱することなく
、特許請求の範囲の範囲内で行うことができる。それ故
、本発明は特に記述し説明したものとは別のやり方で実
施することができる。 参　　　考　　　文　　　献 ［１〕　　！３ｕｒｌｅｍａｒｌｌｐ、、　　Ｆｒａｎ
ｋｅｌ、　　Ｒ，Ｅ、　　ａｎｄ　　Ｎ１ｋｈｉｌ　　
　Ｒ。 Ａｎ　Ｉｍｐｌｅｍｅｎｔａｔｉｏｎ　Ｔｅｃｈｎｉｑ
ｕｅ　ｆｏｒ　Ｄａｔａｂａｓｅし Ｑｕｅｒｙ　ｆ／Ｉｎｇｕａｇｅｓ ＡＣＭ　Ｔｒａｎｓａｃｔｉｏｎ　ｏｎ　Ｄａｔａｂａ
ｓｅ　Ｓｙｓｔｅｍｓ　、Ｖｏｌ、　７Ｎｏ　２．　Ｊ
ｕｎｅ　１９８２．ｐａｇｅｓ　１６４−１８６゜［２
］　　Ｃ，Ｍ、　Ｃａｒｅｙ　、　Ｄ、　Ｊ’、　Ｄｅ
Ｗｉ　ｔｔ　、　Ｊ、　Ｅ、　Ｒ１ｃｈａｒｄｓｏｎ　
　ａｎｄＥ、　　Ｊ、　　５ｈｅｋｉｔａ、０Ｌ）ｊｃ
ｃ４　　ａｎｄ　　Ｆｉｌｅ　　Ｍａｎａｇｅｍｅｎｔ
　　ｉｎ　　ｔｈｅＥＸＯＤＵＳ　　Ｅｘｔｃｎｓｉｂ
ｌｅ　Ｄａｔｌｊａｓｅ　Ｓｙｓｔｅｍ、　Ｌ〕Ｐｒｏ
ｃｅｅｄｉｎｇｓ　　ｏｆ　　ｔｈｅ　　Ｔｗｅｌｔｈ
　　ＩｎＬｃｒｎａｔｉｏｎａＣｏｎｆｅｒｅｎｃｅ　
ｏｎ　Ｖｅｒｙ　Ｌａｒｇｅ　Ｄａｔａ　Ｂａ５ｅｓＫ
ｙｏｔｏ　、　Ｊａｐａｎ、　１９８６゜〔３］　　Ｔ
、　Ｃｏｎｎｏｒｓ　ａｎｄ　Ｐ、　Ｌｙｎｇｂａｅｋ
、　ＰｒｏｖｉｄｉｎｇＵｎｉｎｆｏｒｍ　Ａｃｃｅｓ
ｓ　ｔｏ　Ｈｅｔｅｒｏｇｅｎｅｏｕｓ　Ｉｎｆｏｒ　
−ｍａｔｉｏｎ　Ｂａ５ｅｓ、　Ｉｎ　Ｋｌａｕｓ　Ｄ
ｉｔｔｒｉｃｈ、　ｅｄｉｔｏｒＬｅｃｔｕｒｅ　Ｎｏ
ｔｅｓ　　ｉｎ　Ｃｏｍｐｕｔｅｒ　５ｃｉｅｎｃｅ　
３３４　。 Ａｄｕａｎｃｅｓ　ｉｎ　０ｂｊｅｃｔ−Ｏｒｉｅｎｔ
ｅｄ　Ｄａｔａｂａｓｅ　Ｓｙｓｔｅｍｓ。 Ｓｐｒｉｎｇｅｒ−Ｖｅｒｌａｇ　、　Ｓｅｐｔｅｍｂ
ｅｒ　１９８８゜（４）　　Ｎ、　Ｄｅｒｒｅｔｔ　ａ
ｎｄ　Ｍ、　Ｃ，５ｈａｎ、　Ｒｕ１ｅ−Ｂａｓｅｄ　
ＱｕｅｒｙＯｐｔｉｍｉｚａｔｉｏｎ　ｉｎ　Ｉｒ１ｓ
、　Ｉｎ　Ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ＡＣＭＡｎ
ｎｕａｌ　Ｃｏｍｐｕｔｅｒ　５ｃｉｅｎｃｅ　Ｃｏｎ
ｆｅｒｅｎｃｅ、Ｌｏｕｉｓｖｉｌｌｅ。 Ｋｅｎｔｕｃｈｙ　、　Ｆｅｂｒｕａｒｙ　１９８９　
。 （５）　　Ｄ、　Ｊ、　Ｄｅｗｉｔｔ　ａｎｄ　Ｇ、　
Ｇｒａｅｆｅ、　Ｔｈｅ　ＥＸＯＤＵ　ＳＯｐｔｉｍｉ
ｚｅｒ　Ｇｅｎｅｒａｔｏｒ、　Ｉｎ　Ｐｒｏｃｅｅｄ
ｉｎｇｓ　　ｏｆＡ　ＣＭ　−８Ｉ　ＧＭＯＤ　　Ｉｎ
ｔｅｒｎａｔｉｏｎａｌ　Ｃｏｎｆｅｒｅｎｃｅ　ｏｎ
Ｍａｎａｇｅｍｅｎｔ　Ｏｆ　Ｄａｔａ、　ｐａｇｅｓ
　１６０−１７２　＋　１９８７［５］　Ｄ、　Ｈ，Ｆ
ｉｓｈｍａｎ、　Ｄ、　Ｂｅｅｃｈ　、　Ｈ，Ｐ、Ｃａ
ｔｅ、　Ｅ−Ｃ，Ｃｈｏｗ。 Ｔ、　Ｃｏｎｎｏｒｓ　、Ｊ、　Ｗ、　Ｄａｖｉｓ　、
　Ｎ、　Ｄｅｒｒｅｔｔ　、　Ｃ，０，ＨｏｃｈＷ−Ｋ
ｅｎｔ　、Ｐ、　　Ｌｙｎｇｂ）Ｃ〈、　　Ｂ、　　Ｍ
　ａｈｂｏｄ　　、Ｍ、　　Ａ、　　Ｎｅｉｍａｔ　。 Ｔ、　Ａ、　Ｒｙａｎ　、　ａｎｄ　Ｍ、　Ｃ，５ｈａ
ｎ、　Ｉｒ１ｓ：Ａｎ　Ｏ′ｏｊｅｃｔ−Ｏｒｉｅｎｔ
ｅｄ　Ｄａｔａｂａｓｅ　Ｍａｎａｇｅｍｅｎｔ　Ｓｙ
ｓｔｅｍ。 ＡＣＭ　　Ｔｒａｎｓａｃｔｉｏｎｓ　ｏｎ　０ｆｆｉ
ｃｅ　ＩｎｆｏｒｍａｔｉｏｎＳｙｓｔｅｍｓ、　５（
１）、　Ｊａｎｕａｒｙ　１９８７、（７〕Ｓ、　Ｈｅ
１ｆｅｒ　ａｎｄｓ、　Ｚｄｏｎｉｋ、　Ｖｉｅｗｓ　
、　Ｄａｔａ　Ａｂｓｔ−ｒａｃｔｉｏｎ　　ａｎｄ　
Ｉｎｈｅｒｉｔａｎｃｅ　ｉｎ　ｔｈｅ　ＦＵＧＵＥＤ
ａｔａ　Ｍｏｄｅｌ、　Ｉｎ　Ｋｌａｕｓ　Ｄｉｔｔｒ
ｉｃｈ　、　ｅｄｉｔｏｒ　。 Ｌｅｃｔｕｒｅ　　Ｎｏｔｅｓ　　ｉｎ　　Ｃｏｍｐｕ
ｔｅｒ　　５ｃｉｅｎｃｅ　　３３４Ａｄｘａｎｃｅｓ
　ｉｎ　０ｂｊｅｃｔ−Ｏｒｉｅｎｔｅｄ　Ｄａｔａｂ
ａｓｅＳｙｓｔｅｍｓ　、　Ｓｐｒｉｎｇｅｒ−Ｖｅｒ
ｌａｇ、　Ｓｅｐｔｅｍｂｅｒ　１９８８゜［８：］　
　Ｐ、　Ｌｙｎｇｂａｅｋ　ａｎｄ　Ｗ’、　Ｋｅｎｔ
、　ＡＤａｔａ　ＭｏｄｅｌｉｎｇＭｅｔｈｏｄｏｌｏ
ｇｙ　ｆｏｒ　　ｔｈｅ　Ｄｅｓｉｇｎ　ａｎｄ　Ｉｍ
ｐｌｅｍｅｎ’ｔａｔｉｏｎｏｆ　Ｉｎｆｏｒｍａｔｉ
ｏｎ　Ｓｙｓｔｅｍｓ、　　Ｉｎ　Ｐｒｏｃｅｅｄｉｎ
ｇｓ　ｏｆ１９８’６　　Ｉｎｔｅｒｎａｔｉｏｎａｌ
　Ｗｏｒｋｓｈｏｐ　ｏｎ　０ｂｊｅｃｔ−Ｏｒｉｅｎ
ｔｅｄＤａｔａｂａｓｅ　Ｓｙｓｔｅｍｓ　、　Ｐａｃ
ｉｆｉｃ　Ｇｒｏｖｅ、ｌ１ａａｌｉｆｏｒｎｉａ　。 Ｓｅｐｔｅｍｂｅｒ　１９８６− （９）　　Ｐ、　Ｌｙｎｇｂａｅｋ　ａｎｄ　Ｖ、　Ｖ
ｉａｎｕ、　Ｍａｐｐｉｎｇａ　ＳｅｍａｎｔｉｃＤａ
ｔａ　Ｍｏｄｅｌ　　ｔｏ　ｔｌｌｅ　Ｒｅ１ａｔｉｏ
ｎａｌ　Ｍｏｄｅｌ　、　Ｉｎ　Ｐｒｏ−ｃｃｅｄｉｎ
ｇｓ　ｏｆ　ＡＣＭ−８Ｉ（）ＭＯＤ　　Ｉｎｔｅｒｎ
ａｔｉｏｎａＣｏｎｆＣｒｅｎｃＣｏｎ　Ｍａｎａｇｅ
ｍｅｎｔ　ｏ（Ｄａｔａ、５ａｎＰｒａｎｃｉｓｃｏ　
、　　Ｃａ１ｉｆｏｒｎｉａ　、Ｍａｙ　　ｌ　９８７
（１０１Ｐｅｔｅｒ　Ｌｙｎｇｂａｅｋ、　Ｎｉｇｅｌ
　Ｄｅｒｒｅｔｔ　、Ｄａｎ　Ｆｉｓｈｍａｎ　。 Ｗｉｌｌｉａｍ　Ｋｅｎｔ　、　ａｎｄ　Ｔｈｏｍａｓ
　Ｒｙａｎ、　Ｄｅｓｉｇｎ　ａｎｄＩｍｐｉｅｍｅｎ
ｔａｔｉｏｎ　ｏｆ　ｔｈｅ　Ｉｒ１ｓ　０ｂｊｅｃｔ
　Ｍａｎａｇｅｒ。 Ｉｎ　Ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　Ａ　Ｗｏｒｋｓ
ｈｏｐ　ｏｎ　Ｐｅｒｓｉｓｔｅｎｔ○ｂｊｅｃｔ　Ｓ
ｙｓｔｅｍｓ：　Ｔｈｅｉｒ　Ｄｅｓｉｇｎ、Ｉｍｐｌ
ｅｍｅｎｔａｔｉｏｎａｎｄ　Ｕｓｅ　、　Ａｐｐｉｎ
　、　５ｃｏｔｌａｎｄ　＋Ａｕｇｕｓｔ　１９８７゜
〔１１）　　Ｆ、　Ｍａｎｏｌａ　ａｎｄ　Ｕ、　Ｄａ
ｙａｌ、　ＰＤＭ：　Ａｎ　０ｂｊｅｃｔ−Ｏｒｉｅｎ
ｔｅｄ　Ｄａｔａ　Ｍｏｄｅｌ、　Ｉｎ　Ｐｒｏｃｅｅ
ｄｉｎｇｓ　ｏｆ　１９８６Ｉｎｔｅｒｎａｔｉｏｎａ
ｌ　Ｗｏｒｋｓｈｏｐ　ｏｎ　０ｂｊｅｃｔ−Ｏｒｉｅ
ｎｔｅｄＤａｔａｂａｓｅ　Ｓｙｓｔｅｍｓ　、　Ｐａ
ｃｉｆｉｃ　Ｇｒｏｖｅ　、Ｃａｌ　１ｆｏｒｎｉａ　
。 Ｓｅｐｔｅｍｂｅｒ　１９８６゜ （１２）　Ｊ、　Ｍｙｌｏｐｏｕｌｏｓ　、　Ｐ、　Ａ
、　Ｂｅｒｎｓｔｅｉｎ　、　ａｎｄ　Ｈ，Ｋ、　Ｔ、
Ｗ’ｏｎｇ、　Ａ　Ｌａｎｇｕａｇｅ　Ｆａｃ山ｔｙ　
ｆｏｒ　ＤｅｓｉｇｎｉｎｇＤａｔａｂａｓｅ−Ｉｎｔ
ｅｎｓｉｖｅ　Ａｐｐｌｉｃａｔｉｏｎｓ、　ＡＣＭ　
Ｔｒａｎｓａｃ−ｔｉｏｎｓ　ｏｎ　Ｄａｔａｂａｓｅ
　Ｓｙｓｔｅｍｓ　＋　５（２）　、　Ｊｕｎｅ　１９
８０・［１３］　　Ｄ、　　Ｓｈｉｐｍ　ａｎ、　　Ｔ
ｈｅ　　Ｆｕｎｃｔｉｏｎａｌ　　Ｄａｔａ　　Ｍｏｄ
ｅｌａｎｄ　　ｔｈｅ　Ｄａｔａ　Ｌａｎｇｕａｇｅ　
ＤＡＰＬＥＸ、ＡＣ〜ｆＴｒａｎｓａｃｔｉｏｎｓ　ｏ
ｎ　Ｄａｔａｌ）ａｓｅ　Ｓｙｓｔｅｍｓ　＋　６（１
）＋Ｓｅｐｔｅｍｂｅｒ　　ｌ　９８　Ｌ−

【図面の簡単な説明】

第１図は本発明の一実施例に従った関数式の評価を説明
するためのフローチャート 第２図は本発明の一実施例に従ったデータベース・シス
テムを説明するためのブロック図、第３図は本発明の一
実施例における拡張関係式の解釈実行を説明するための
ブロック図、第４図は本発明の一実施例におけるシステ
ム型およびそれらの間の上位／下位の関係を示す図、第
５図は本発明の一実施例のカーネル・アーキテクチャを
説明するための図である。 ３１：記憶手段 ３３：ユーザ・インターフェース ３５：実行モジー−ル ３７：コンパイラ・モジュール ３９：インタープリタ・モジュール ４１　：　７’　−タベース記憶管理モジュール４３：
オブジェクト管理モジュール ｉ１５：キャノシュ・イノクーフェース・モジュール 関数式 Ｆｉｇ。 Ｘ Ｔ Ｉ ］ ０Ｍ Ｆ　ｉ　ｇ。

Claims (13)

【特許請求の範囲】
1. （１）以下のステップ（ａ）および（ｂ）を設けてなる
   データベース・システムにおける関数式評価方法： （ａ）前記関数式を拡張関係代数を用いた関係代数式に
   コンパイルする； （ｂ）前記関係代数式を前記データベースにストアされ
   ているデータを参照して解釈実行することにより前記関
   数式についての値を得る。
2. （２）前記コンパイルは再帰的なコンパイラ呼出しを含
   むことを特徴とする請求項１記載のデータベース・シス
   テムにおける関数式評価方法。
3. （３）前記拡張関係代数はデータベース更新演算子と外
   部関数演算子と順序演算子を含むことを特徴とする請求
   項１記載のデータベース・システムにおける関数式評価
   方法。
4. （４）前記解釈実行は再帰的なインタープリタ呼出しを
   含むことを特徴とする請求項１記載のデータベース・シ
   ステムにおける関数式評価方法。
5. （５）前記解釈実行は再帰的なコンパイラ呼出しを含む
   ことを特徴とする請求項１記載のデータベース・システ
   ムにおける関数式評価方法。
6. （６）前記関係代数式を外部関数呼出しによって得られ
   るデータを参照して評価することを特徴とする請求項１
   記載のデータベース・システムにおける関数式評価方法
   。
7. （７）データベース操作をインタープリタによって得ら
   れた値に従って行うことを特徴とする請求項１記載のデ
   ータベース・システムにおける関数式評価方法。
8. （８）以下の（ａ）ないし（ｆ）を設けたことを特徴と
   するデータベース・システム： （ａ）情報を記憶する記憶手段； （ｂ）システム・ユーザとのインターフェースを取るた
   めのインターフェース手段； （ｃ）前記インターフェース手段を介してユーザから関
   数式を受け取るための実行モジュール； （ｄ）前記実行モジュールに応答して前記関数式を拡張
   関係代数を用いた関係代数式にコンパイルするコンパイ
   ラ・モジュール； （ｅ）前記実行モジュールに応答して前記関係代数式を
   前記記憶手段にストアされているデータを参照して解釈
   実行することにより前記関数式についての値を得るイン
   タープリタ・モジュール； （ｆ）前記インタープリタ・モジュールに応答して前記
   インタープリタ・モジュールによって得られた値に従っ
   てデータベース演算を行うデータベース記憶管理モジュ
   ール。
9. （９）前記拡張関係代数はデータベース更新演算子と外
   部関数演算子と順序演算子を含むことを特徴とする請求
   項８記載のデータベース・システム。
10. （１０）前記インタープリタ・モジュールに応答して外
    部関数を呼び出すオブジェクト管理モジュールを含むこ
    とを特徴とする請求項８記載のデータベース・システム
    。
11. （１１）前記オブジェクト管理モジュールは複数の外部
    関数を設けてなることを特徴とする請求項１０記載のデ
    ータベース・システム。
12. （１２）前記インタープリタ・モジュールは外部関数を
    呼び出すことによって得られたデータに従って前記関係
    代数式を解釈実行することを特徴とする請求項１０記載
    のデータベース・システム。
13. （１３）前記インタープリタ・モジュールに応答して、
    記憶されているデータの取り出しと更新を管理するキャ
    ッシュ・インターフェース・モジュールを含むことを特
    徴とする請求項８記載のデータベース・システム。