Studies on efficient query processing in deductive database systems 演繹データベースシステムにおける質問の効率的処理に関する研究

この論文をさがす

著者

    • 鈴木, 孝彦 スズキ, タカヒコ

書誌事項

タイトル

Studies on efficient query processing in deductive database systems

タイトル別名

演繹データベースシステムにおける質問の効率的処理に関する研究

著者名

鈴木, 孝彦

著者別名

スズキ, タカヒコ

学位授与大学

九州大学

取得学位

工学博士

学位授与番号

甲第2945号

学位授与年月日

1992-03-27

注記・抄録

博士論文

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p4 (0006.jp2)
  3. 1 Introduction / p6 (0008.jp2)
  4. 1.1 Deductive Databases / p6 (0008.jp2)
  5. 1.2 Retrieval of Configurations from a CAD Database / p11 (0013.jp2)
  6. 1.3 Results / p12 (0014.jp2)
  7. 1.4 Thesis Organization / p12 (0014.jp2)
  8. 2 Preliminaries / p14 (0016.jp2)
  9. 2.1 Basic Definitions / p14 (0016.jp2)
  10. 2.2 The Model of a Definite Database / p16 (0018.jp2)
  11. 2.3 Query Processing methods in Recursive Databases / p17 (0019.jp2)
  12. 2.4 The Magic Set Method and Negation in Databases / p20 (0022.jp2)
  13. 2.5 Related Works / p25 (0027.jp2)
  14. 3 Efficient Evaluation of Negative and Closed Queries / p28 (0030.jp2)
  15. 3.1 The Magic Set Method and Closed Queries / p28 (0030.jp2)
  16. 3.2 Efficient Evaluation Method Based on Rule Rewriting / p30 (0032.jp2)
  17. 3.3 Correctness of the VIMS Technique / p38 (0040.jp2)
  18. 3.4 Applicability to Negative Queries / p41 (0043.jp2)
  19. 3.5 Relationship to Other Techniques / p42 (0044.jp2)
  20. 3.6 Performance Evaluation / p42 (0044.jp2)
  21. 4 Analysis of Closed Query Processing / p50 (0052.jp2)
  22. 4.1 Strategies for Efficient Query Processing / p50 (0052.jp2)
  23. 4.2 Minimum Search Space in Query Evaluation / p52 (0054.jp2)
  24. 4.3 Rewriting for a Closed Query / p58 (0060.jp2)
  25. 4.4 The VIMS Technique and Multiple Evaluations of the Same Answer / p63 (0065.jp2)
  26. 4.5 Discussion / p64 (0066.jp2)
  27. 5 Efficient Evaluation with Differential Sets of Facts / p67 (0069.jp2)
  28. 5.1 The Magic Set Method and Complex Terms / p68 (0070.jp2)
  29. 5.2 Magic Set Computation of path / p74 (0076.jp2)
  30. 5.3 Differential Representation of Sets of Facts / p77 (0079.jp2)
  31. 5.4 Generalization / p81 (0083.jp2)
  32. 5.5 Discussion / p83 (0085.jp2)
  33. 6 Implementation of a Query Evaluator and Its Application to CAD / p86 (0088.jp2)
  34. 6.1 Background / p86 (0088.jp2)
  35. 6.2 Retrieval of Complex Configurations / p87 (0089.jp2)
  36. 6.3 Overview of the System / p88 (0090.jp2)
  37. 6.4 Examples of Queries / p92 (0094.jp2)
  38. 6.5 Discussions / p98 (0100.jp2)
  39. 7 Conclusion / p101 (0103.jp2)
0アクセス

各種コード

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