演繹データベースの管理法と並列化に関する研究

この論文をさがす

著者

    • 北上, 始, 1952- キタカミ, ハジメ

書誌事項

タイトル

演繹データベースの管理法と並列化に関する研究

著者名

北上, 始, 1952-

著者別名

キタカミ, ハジメ

学位授与大学

九州大学

取得学位

工学博士

学位授与番号

乙第5191号

学位授与年月日

1992-05-29

注記・抄録

博士論文

目次

  1. 目次 / p1 (0003.jp2)
  2. 第1章 序論 / p1 (0008.jp2)
  3. 1-1 本研究の目的 / p2 (0009.jp2)
  4. 1-2 本研究の背景 / p2 (0009.jp2)
  5. 1-3 本研究が扱った問題点及び課題 / p4 (0011.jp2)
  6. 1-4 既往の研究 / p6 (0013.jp2)
  7. 1-5 本論文の構成と研究概要 / p8 (0015.jp2)
  8. 参考文献 / p13 (0020.jp2)
  9. 第2章 関係データベースシステムRDB/V1の最適化技法 / p18 (0025.jp2)
  10. 2-1 はじめに / p19 (0026.jp2)
  11. 2-2 関係データベース / p20 (0027.jp2)
  12. 2-3 大局的最適化 / p23 (0030.jp2)
  13. 2-4 局所的最適化 / p29 (0036.jp2)
  14. 2-5 アクセスパスの選択 / p33 (0040.jp2)
  15. 2-6 測定結果 / p35 (0042.jp2)
  16. 2-7 他システムとの比較 / p37 (0044.jp2)
  17. 2-8 まとめ / p38 (0045.jp2)
  18. 参考文献 / p40 (0047.jp2)
  19. 付録2-1 問合せ処理の手順 / p42 (0049.jp2)
  20. 付録2-2 アクセスコストの計算法 / p43 (0050.jp2)
  21. 第3章 論理型プログラミング言語Prologによる知識ベース管理システム / p45 (0052.jp2)
  22. 3-1 はじめに / p46 (0053.jp2)
  23. 3-2 メタ推論 / p47 (0054.jp2)
  24. 3-3 演繹的な問合せ処理 / p50 (0057.jp2)
  25. 3-4 更新処理に伴う知識ベース管理 / p55 (0062.jp2)
  26. 3-5 トランザクション処理 / p65 (0072.jp2)
  27. 3-6 まとめ / p68 (0075.jp2)
  28. 参考文献 / p70 (0077.jp2)
  29. 付録3-1 demo述語の一般形式の実現例 / p72 (0079.jp2)
  30. 付録3-2 deduce述語の実現例 / p74 (0081.jp2)
  31. 第4章 時間概念の表現とデフォルト推論 / p75 (0082.jp2)
  32. 4-1 はじめに / p76 (0083.jp2)
  33. 4-2 時間概念を有する知識表現 / p77 (0084.jp2)
  34. 4-3 時間推論機構 / p80 (0087.jp2)
  35. 4-4 時間推論システムの実現法と応用例 / p86 (0093.jp2)
  36. 4-5 まとめ / p92 (0099.jp2)
  37. 参考文献 / p93 (0100.jp2)
  38. 第5章 帰納的な知識獲得システムの実現方式 / p94 (0101.jp2)
  39. 5-1 はじめに / p95 (0102.jp2)
  40. 5-2 システム構成 / p96 (0103.jp2)
  41. 5-3 帰納推論アルゴリズム / p99 (0106.jp2)
  42. 5-4 知識の同化と調節の実現法 / p103 (0110.jp2)
  43. 5-5 実行例 / p105 (0112.jp2)
  44. 5-6 まとめ / p117 (0124.jp2)
  45. 参考文献 / p119 (0126.jp2)
  46. 付録5-1 帰納的な知識獲得システムのプログラム構造 / p120 (0127.jp2)
  47. 第6章 項関係における高速検索手法 / p122 (0129.jp2)
  48. 6-1 はじめに / p123 (0130.jp2)
  49. 6-2 項関係と項関係上の演算 / p124 (0131.jp2)
  50. 6-3 知識検索システムの実現方式 / p126 (0133.jp2)
  51. 6-4 性能評価 / p133 (0140.jp2)
  52. 6-5 まとめ / p139 (0146.jp2)
  53. 参考文献 / p140 (0147.jp2)
  54. 第7章 知識ベース指向の並列推論処理システム / p141 (0148.jp2)
  55. 7-1 はじめに / p142 (0149.jp2)
  56. 7-2 メタ推論再考 / p143 (0150.jp2)
  57. 7-3 並列論理型言語GHCによる並列化 / p146 (0153.jp2)
  58. 7-4 知識ベース検索システムとのインタフェース / p153 (0160.jp2)
  59. 7-5 制約指向処理への拡張 / p154 (0161.jp2)
  60. 7-6 まとめ / p160 (0167.jp2)
  61. 参考文献 / p161 (0168.jp2)
  62. 付録7-1 $変数を扱う単一化処理プログラム / p163 (0170.jp2)
  63. 第8章 本研究の総括 / p169 (0176.jp2)
  64. 謝辞 / p178 (0185.jp2)
3アクセス

各種コード

  • NII論文ID(NAID)
    500000089175
  • NII著者ID(NRID)
    • 8000000986019
  • DOI(NDL)
  • NDL書誌ID
    • 000000253489
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ