高水準デ-タベ-ス応用のためのオブジェクト指向デ-タモデルの研究

1990 年度 実績報告書

• 研究課題/領域番号: 01302059
• 研究機関: 京都大学
• 研究代表者: 上林 弥彦 京都大学, 工学部, 教授 (00026311)
• 研究分担者: 有川 正俊 九州大学, 工学部, 助手 (30202758) ; 吉川 正俊 京都産業大学, 工学部, 助教授 (30182736) ; 古川 哲也 九州大学, 大型計算機センター, 助教授 (00209165) ; 田中 克己 神戸大学, 工学部, 助教授 (00127375) ; 牧之内 顕文 九州大学, 工学部, 教授
• キーワード: オブジェクト指向デ-タベ-ス / デ-タモデル / 高水準デ-タベ-ス / マルチメディアデ-タベ-ス / セキュリティ管理 / 画像情報処理 / 利用者インタフェ-ス

研究概要

平成元年度は、高水準の利用形態に適合したデ-タベ-スシステムを実現するために必要と考えられる種々の技法の基礎的研究に着手した。これらの技法を統合してシステムを実用化するためには、個々の技法をさらに拡張する必要がある。そこで、平成2年度は、昨年度までの研究で明らかになった問題点を踏まえて、各技法の改良および拡張を継続して行った。これらの成果をまとめると以下のようになる。
1.オブジェクト指向デ-タモデルの特色の1つであるクラス階層をデ-タのセキュリティレベルに対応させ、同モデルのもう1つの特色である情報隠蔽機能をデ-タベ-スの利用権制御に応用する方式の検討を行った。
2.CAD(計算機援用設計)システムのためのオブジェクト指向デ-タベ-スを複数の利用者が共同利用することを考え、各利用者の要求にあったビュ-を提供する方式を求めた。
3.オブジェクト指向デ-タベ-ス実現のための1手法として、プログラムの実行が終了した後も消去されずに保存されるような永続性デ-タの扱いを可能にするデ-タベ-スプログラミング言語について研究した。
4.形態の異なる多様な情報が混在するようなデ-タベ-ス利用形態に適したデ-タモデルについて、昨年度までの基礎的研究の有効性を実証するための実験的システムの開発および改良を行った。

研究成果

• [文献書誌] F.Tsutsumi: "An Effective Transformation of Logical Recursive Queries in Deductive Databases" Proceedings of the FarーEast Workshop on Future Database Systems. 123-125 (1990)
• [文献書誌] D.Rappaport: "On Computing Simple Polygons on a Set of Line Segments" Discrete and Computational Geometry. 5. 289-304 (1990)
• [文献書誌] N.F.Zhou: "A Matching Tree Oriented Abstract Machine for Prolog" Proceedings of the Seventh International Conference on Logic Programming. 159-173 (1990)
• [文献書誌] H.Aonuma: "Maximin Location of Convex Objects in a Polygon and Related Voronoi Diagrams" Proceedings of the 6th ACM Symposium on Computational Geometry. 225-234 (1990)
• [文献書誌] 鈴木 孝彦: "演澤デ-タベ-スにおける解の重複性とその除去" Proceedings of the Logic Programming Conference '90.75-83 (1990)
• [文献書誌] 岩間 一雄: "極並列アルゴリズム" 情報処理. 31. 913-920 (1990)
• [文献書誌] R.Hull: "ILOG:Declarative Creation and Manipulation of Object Identifiers(Extended Abstract)" Proceedings of the 16th International Conference on Very Large Data Bases. 455-468 (1990)
• [文献書誌] M.Aoshima: "The CーBased Database Programming Language Jasmine/C" Proceedings of the 16th International Conference on Very Large Data Bases. 539-551 (1990)
• [文献書誌] T.Asano: "A Unified LinearーSpace Approach to Geometric Minimax Problems" Proceedings of the Second Canadian Conference in Computational Geometry. 20-23 (1990)
• [文献書誌] S.Chatvichienchai: "Preventing Inference and Unauthorized Modification of Protected Data in Multilevel Relational Database" InfoJapan'90:Information Technology Harmonizing with Society(Proceedings of an International Conference organized by the IPSJ to Commemorate the 30th Anniversary). 2. 293-300 (1990)
• [文献書誌] N.F.Zhou: "Reducing the Cost of Backtracking for Prolog" InfoJapan'90:Information Technology Harmonizing with Society(Proceedings of an International Conference organized by the IPSJ to Commemorate the 30th Anniversary). 2. 33-40 (1990)
• [文献書誌] 古川 哲也: "オブジェクト指向デ-タベ-スにおける参照によるオブジェクトの関連" 京都大学数理解析研究所講究録. 731. 250-261 (1990)
• [文献書誌] 木實 新一: "リンク構造における検索処理効率と更新処理効率の関係について" 京都大学数理解析研究所講究録. 731. 286-297 (1990)
• [文献書誌] D.Avis: "Locating a Robot with Angle Measurements" Journal of Symbolic Computation. 10. 311-326 (1990)
• [文献書誌] 高木 利久: "エンジニアリングデ-タ検索における演澤デ-タベ-ス手法の有効性について" Proceedings of the Advanced Database System Symposium '90. 93-99 (1990)
• [文献書誌] H.Imai: "Voronoi Diagrams for Moving Objects" Proceedings of the International Computer Symposium 1990. 600-606 (1990)
• [文献書誌] H.Imai: "Efficient Sequential and Parallel Algorithms for Planar Minium Cost Flow" Proceedings of the SIGAL International Symposium on Algorithms(Lecture Notes in Computer Science). 450. 21-30 (1990)
• [文献書誌] S.Kuhara: "A Deductive Database System PACADE for the Three Dimentional Structure of Protein" Proceedings of the Hawaii International Conference on System Sciences. 653-659 (1991)
• [文献書誌] 鈴木 孝彦: "縦インデックス付きマジックセット法を用いた層状化デ-タベ-スにおける否定質問と閉質問との効率的処理" 情報処理学会論文誌. 32. 206-219 (1991)
• [文献書誌] H.Xu: "A Cooperative Transaction Model Handling Mutiple Correctness Level" Proceedings of the Second International Symposium on Database Systems for Advanced Applications. (1991)
• [文献書誌] T.Takagi: "Applicability of A Deductive Database to CAD Systems" Proceedings of the Seventh International Conference on Data Engineering. (1991)
• [文献書誌] N.Nakatsu: "Bounds on the Redundancy of Binary Alphabetical Codes" IEEE Transactions on Information Theory. (1991)
• [文献書誌] M.E.Houle: "Theorems on the Existence of Separating Surfaces" Discrete Computational Geometry. 6. (1991)
• [文献書誌] 吉川 正俊: "オブジェクト指向デ-タベ-スにおける質問言語とその処理" 情報処理学会誌. (1991)
• [文献書誌] G.ーH.Chen: "The Steiner Problem in Distributed Computing Systems" Information Sciences. (1991)
• [文献書誌] M.E.Houle: "Algorithms for Weak and Wide Separation of Sets" Discrete Applied Mathematics. (1991)