演繹データベースの管理法と並列化に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
演繹データベースの管理法と並列化に関する研究
- 著者名
-
北上, 始, 1952-
- 著者別名
-
キタカミ, ハジメ
- 学位授与大学
-
九州大学
- 取得学位
-
工学博士
- 学位授与番号
-
乙第5191号
- 学位授与年月日
-
1992-05-29
注記・抄録
博士論文
目次
- 目次/p1 (3コマ目)
- 第1章 序論/p1 (8コマ目)
- 1-1 本研究の目的/p2 (9コマ目)
- 1-2 本研究の背景/p2 (9コマ目)
- 1-3 本研究が扱った問題点及び課題/p4 (11コマ目)
- 1-4 既往の研究/p6 (13コマ目)
- 1-5 本論文の構成と研究概要/p8 (15コマ目)
- 参考文献/p13 (20コマ目)
- 第2章 関係データベースシステムRDB/V1の最適化技法/p18 (25コマ目)
- 2-1 はじめに/p19 (26コマ目)
- 2-2 関係データベース/p20 (27コマ目)
- 2-3 大局的最適化/p23 (30コマ目)
- 2-4 局所的最適化/p29 (36コマ目)
- 2-5 アクセスパスの選択/p33 (40コマ目)
- 2-6 測定結果/p35 (42コマ目)
- 2-7 他システムとの比較/p37 (44コマ目)
- 2-8 まとめ/p38 (45コマ目)
- 参考文献/p40 (47コマ目)
- 付録2-1 問合せ処理の手順/p42 (49コマ目)
- 付録2-2 アクセスコストの計算法/p43 (50コマ目)
- 第3章 論理型プログラミング言語Prologによる知識ベース管理システム/p45 (52コマ目)
- 3-1 はじめに/p46 (53コマ目)
- 3-2 メタ推論/p47 (54コマ目)
- 3-3 演繹的な問合せ処理/p50 (57コマ目)
- 3-4 更新処理に伴う知識ベース管理/p55 (62コマ目)
- 3-5 トランザクション処理/p65 (72コマ目)
- 3-6 まとめ/p68 (75コマ目)
- 参考文献/p70 (77コマ目)
- 付録3-1 demo述語の一般形式の実現例/p72 (79コマ目)
- 付録3-2 deduce述語の実現例/p74 (81コマ目)
- 第4章 時間概念の表現とデフォルト推論/p75 (82コマ目)
- 4-1 はじめに/p76 (83コマ目)
- 4-2 時間概念を有する知識表現/p77 (84コマ目)
- 4-3 時間推論機構/p80 (87コマ目)
- 4-4 時間推論システムの実現法と応用例/p86 (93コマ目)
- 4-5 まとめ/p92 (99コマ目)
- 参考文献/p93 (100コマ目)
- 第5章 帰納的な知識獲得システムの実現方式/p94 (101コマ目)
- 5-1 はじめに/p95 (102コマ目)
- 5-2 システム構成/p96 (103コマ目)
- 5-3 帰納推論アルゴリズム/p99 (106コマ目)
- 5-4 知識の同化と調節の実現法/p103 (110コマ目)
- 5-5 実行例/p105 (112コマ目)
- 5-6 まとめ/p117 (124コマ目)
- 参考文献/p119 (126コマ目)
- 付録5-1 帰納的な知識獲得システムのプログラム構造/p120 (127コマ目)
- 第6章 項関係における高速検索手法/p122 (129コマ目)
- 6-1 はじめに/p123 (130コマ目)
- 6-2 項関係と項関係上の演算/p124 (131コマ目)
- 6-3 知識検索システムの実現方式/p126 (133コマ目)
- 6-4 性能評価/p133 (140コマ目)
- 6-5 まとめ/p139 (146コマ目)
- 参考文献/p140 (147コマ目)
- 第7章 知識ベース指向の並列推論処理システム/p141 (148コマ目)
- 7-1 はじめに/p142 (149コマ目)
- 7-2 メタ推論再考/p143 (150コマ目)
- 7-3 並列論理型言語GHCによる並列化/p146 (153コマ目)
- 7-4 知識ベース検索システムとのインタフェース/p153 (160コマ目)
- 7-5 制約指向処理への拡張/p154 (161コマ目)
- 7-6 まとめ/p160 (167コマ目)
- 参考文献/p161 (168コマ目)
- 付録7-1 $変数を扱う単一化処理プログラム/p163 (170コマ目)
- 第8章 本研究の総括/p169 (176コマ目)
- 謝辞/p178 (185コマ目)
