書誌情報	ファイル
表紙・目次    (1981-04)   数理解析研究所講究録, 423
文献集作成補助システムの設計と開発 (情報の記憶と利用に関する理論的研究)   上林, 弥彦; 徳田, 成穂; 矢島, 脩三 (1981-04)   数理解析研究所講究録, 423: 2-19
ブール方程式による併存到達可能性解析 (情報の記憶と利用に関する理論的研究)   國藤, 進; 竹島, 卓 (1981-04)   数理解析研究所講究録, 423: 20-39
多層論理式からのデータベース・アクセス手順の生成について (情報の記憶と利用に関する理論的研究)   宇田川, 佳久; 大須賀, 節雄 (1981-04)   数理解析研究所講究録, 423: 40-60
植物図檻の画像データベースシステム (情報の記憶と利用に関する理論的研究)   打浪, 清一; 手塚, 慶一 (1981-04)   数理解析研究所講究録, 423: 61-80
分散型データベースシステムJDDBS-II : スキーマ層モデルと通信処理モデル (情報の記憶と利用に関する理論的研究)   滝沢, 誠 (1981-04)   数理解析研究所講究録, 423: 81-105
データベース処理のデータフロー言語 (情報の記憶と利用に関する理論的研究)   田中, 譲 (1981-04)   数理解析研究所講究録, 423: 106-115
重み付きレコードを扱う$B^*$木のページネーションの改良について (情報の記憶と利用に関する理論的研究)   有川, 節夫 (1981-04)   数理解析研究所講究録, 423: 116-127
関係データベースシステムにおける質問作成・改良の補助機能をもつ利用者インタフェースの設計と開発 (情報の記憶と利用に関する理論的研究)   上林, 弥彦; 武田, 浩一; 矢島, 脩三 (1981-04)   数理解析研究所講究録, 423: 128-155
データベースの統合の代数的意味論 (情報の記憶と利用に関する理論的研究)   田中, 譲 (1981-04)   数理解析研究所講究録, 423: 156-173
知識汎関係圏におけるブレーンウェアの形成と発展 (情報の記憶と利用に関する理論的研究)   北川, 敏男 (1981-04)   数理解析研究所講究録, 423: 174-198
DATA BOX (情報の記憶と利用に関する理論的研究)   冨樫, 雅文 (1981-04)   数理解析研究所講究録, 423: 199-212
Correlating the Real World with One Relation Scheme Using the Functional Dependency Graph (情報の記憶と利用に関する理論的研究)   KATSUNO, HIROFUMI (1981-04)   数理解析研究所講究録, 423: 213-237
オフィス情報処理におけるフォームフローシステム (情報の記憶と利用に関する理論的研究)   田中, 譲; 滝沢, 誠 (1981-04)   数理解析研究所講究録, 423: 238-256
同値律をみたす述語による関係データモデル従属性の一般化について (情報の記憶と利用に関する理論的研究)   竹島, 卓 (1981-04)   数理解析研究所講究録, 423: 257-274
射の導入による関係データモデルの表現独立性への接近と従属性への応用 (情報の記憶と利用に関する理論的研究)   加藤, 昭彦 (1981-04)   数理解析研究所講究録, 423: 275-293
演繹能カを付加したDBMSについて (情報の記憶と利用に関する理論的研究)   山口, 高平; 西岡, 弘明; 打浪, 清一; 手塚, 慶一 (1981-04)   数理解析研究所講究録, 423: 294-309
データベースビューについて (情報の記憶と利用に関する理論的研究)   増永, 良文 (1981-04)   数理解析研究所講究録, 423: 310-322
サーチエンジンとソートエンジンの記号処理への応用 (情報の記憶と利用に関する理論的研究)   田中, 譲 (1981-04)   数理解析研究所講究録, 423: 323-343