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

1990 Fiscal Year Annual Research Report

• Project/Area Number: 01302059
• Research Institution: Kyoto University
• Principal Investigator: 上林 弥彦 京都大学, 工学部, 教授 (00026311)
• Co-Investigator(Kenkyū-buntansha): 有川 正俊 九州大学, 工学部, 助手 (30202758) ; 吉川 正俊 京都産業大学, 工学部, 助教授 (30182736) ; 古川 哲也 九州大学, 大型計算機センター, 助教授 (00209165) ; 田中 克己 神戸大学, 工学部, 助教授 (00127375) ; 牧之内 顕文 九州大学, 工学部, 教授
• Keywords: オブジェクト指向デ-タベ-ス / デ-タモデル / 高水準デ-タベ-ス / マルチメディアデ-タベ-ス / セキュリティ管理 / 画像情報処理 / 利用者インタフェ-ス

Research Abstract

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

Research Products

• [Publications] 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)
• [Publications] D.Rappaport: "On Computing Simple Polygons on a Set of Line Segments" Discrete and Computational Geometry. 5. 289-304 (1990)
• [Publications] N.F.Zhou: "A Matching Tree Oriented Abstract Machine for Prolog" Proceedings of the Seventh International Conference on Logic Programming. 159-173 (1990)
• [Publications] 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)
• [Publications] 鈴木 孝彦: "演澤デ-タベ-スにおける解の重複性とその除去" Proceedings of the Logic Programming Conference '90.75-83 (1990)
• [Publications] 岩間 一雄: "極並列アルゴリズム" 情報処理. 31. 913-920 (1990)
• [Publications] 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)
• [Publications] M.Aoshima: "The CーBased Database Programming Language Jasmine/C" Proceedings of the 16th International Conference on Very Large Data Bases. 539-551 (1990)
• [Publications] T.Asano: "A Unified LinearーSpace Approach to Geometric Minimax Problems" Proceedings of the Second Canadian Conference in Computational Geometry. 20-23 (1990)
• [Publications] 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)
• [Publications] 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)
• [Publications] 古川 哲也: "オブジェクト指向デ-タベ-スにおける参照によるオブジェクトの関連" 京都大学数理解析研究所講究録. 731. 250-261 (1990)
• [Publications] 木實 新一: "リンク構造における検索処理効率と更新処理効率の関係について" 京都大学数理解析研究所講究録. 731. 286-297 (1990)
• [Publications] D.Avis: "Locating a Robot with Angle Measurements" Journal of Symbolic Computation. 10. 311-326 (1990)
• [Publications] 高木 利久: "エンジニアリングデ-タ検索における演澤デ-タベ-ス手法の有効性について" Proceedings of the Advanced Database System Symposium '90. 93-99 (1990)
• [Publications] H.Imai: "Voronoi Diagrams for Moving Objects" Proceedings of the International Computer Symposium 1990. 600-606 (1990)
• [Publications] 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)
• [Publications] 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)
• [Publications] 鈴木 孝彦: "縦インデックス付きマジックセット法を用いた層状化デ-タベ-スにおける否定質問と閉質問との効率的処理" 情報処理学会論文誌. 32. 206-219 (1991)
• [Publications] H.Xu: "A Cooperative Transaction Model Handling Mutiple Correctness Level" Proceedings of the Second International Symposium on Database Systems for Advanced Applications. (1991)
• [Publications] T.Takagi: "Applicability of A Deductive Database to CAD Systems" Proceedings of the Seventh International Conference on Data Engineering. (1991)
• [Publications] N.Nakatsu: "Bounds on the Redundancy of Binary Alphabetical Codes" IEEE Transactions on Information Theory. (1991)
• [Publications] M.E.Houle: "Theorems on the Existence of Separating Surfaces" Discrete Computational Geometry. 6. (1991)
• [Publications] 吉川 正俊: "オブジェクト指向デ-タベ-スにおける質問言語とその処理" 情報処理学会誌. (1991)
• [Publications] G.ーH.Chen: "The Steiner Problem in Distributed Computing Systems" Information Sciences. (1991)
• [Publications] M.E.Houle: "Algorithms for Weak and Wide Separation of Sets" Discrete Applied Mathematics. (1991)