Query optimization in deductive databases 演繹データベースにおける問合せ最適化

この論文をさがす

著者

    • 宮崎, 収兄, 1948- ミヤザキ, ノブヨシ

書誌事項

タイトル

Query optimization in deductive databases

タイトル別名

演繹データベースにおける問合せ最適化

著者名

宮崎, 収兄, 1948-

著者別名

ミヤザキ, ノブヨシ

学位授与大学

京都大学

取得学位

工学博士

学位授与番号

乙第7359号

学位授与年月日

1990-11-24

注記・抄録

博士論文

目次

  1. 論文目録 / (0001.jp2)
  2. Contents / p7 (0006.jp2)
  3. Abstract / p5 (0005.jp2)
  4. Chapter1 Introduction / p1 (0008.jp2)
  5. Chapter2 Deductive Databases and Query Transformation / p5 (0010.jp2)
  6. 2.1 Deductive Databases / p5 (0010.jp2)
  7. 2.2 Query Transformation / p8 (0012.jp2)
  8. Chapter3 Horn Clause Transformation by Partial Evaluation / p10 (0013.jp2)
  9. 3.1 Introduction / p10 (0013.jp2)
  10. 3.2 Query Processing and Simplification of Queries / p11 (0013.jp2)
  11. 3.3 Partial Evaluation / p12 (0014.jp2)
  12. 3.4 Horn Clause Transformation by Partial Evaluation / p14 (0015.jp2)
  13. 3.5 Implementation of Horn Clause Transformation by Partial Evaluation / p18 (0017.jp2)
  14. 3.6 Conclusion / p21 (0018.jp2)
  15. Chapter4 Restricted Least Fixpoint in Deductive Databases / p23 (0019.jp2)
  16. 4.1 Introduction / p23 (0019.jp2)
  17. 4.2 Least Fixpoint and Restricted Least Fixpoint / p24 (0020.jp2)
  18. 4.3 Restrictor Transformation / p28 (0022.jp2)
  19. 4.4 Examples of Restrictor Transformation / p34 (0025.jp2)
  20. 4.5 Performance of Query Processing / p37 (0026.jp2)
  21. 4.6 Conclusion / p38 (0027.jp2)
  22. Chapter5 Horn Clause Transformation by Restrictor / p39 (0027.jp2)
  23. 5.1 Introduction / p39 (0027.jp2)
  24. 5.2 Horn Clause Transformation by Restrictor (HCT/R) / p41 (0028.jp2)
  25. 5.3 Horn Clause Transformation by Partial Restrictor / p48 (0032.jp2)
  26. 5.4 Optimization of HCT/R / p52 (0034.jp2)
  27. 5.5 Comparisons with Other Methods / p57 (0036.jp2)
  28. 5.6 Conclusion / p65 (0040.jp2)
  29. Appendix5.1 Proof of Proposition 5.3 / p65 (0040.jp2)
  30. Appendix5.2 Example of the BPA / p67 (0041.jp2)
  31. Appendix5.3 Example where BPA Fails to Obtain a Smaller Model / p67 (0041.jp2)
  32. Chapter6 A Framework for Query Transformations / p69 (0042.jp2)
  33. 6.1 Introduction / p69 (0042.jp2)
  34. 6.2 Query Transformation and Clause Replacement / p70 (0043.jp2)
  35. 6.3 Horn Clause Transformation by Partial Evaluation (HCT/P) / p72 (0044.jp2)
  36. 6.4 Horn Clause Transformation by Substitution (HCT/S) / p75 (0045.jp2)
  37. 6.5 Horn Clause Transformation by Restrictor (HCT/R) / p79 (0047.jp2)
  38. 6.6 Comparisons among Three Horn Clause Transformations / p85 (0050.jp2)
  39. 6.7 Conclusion / p90 (0053.jp2)
  40. Chapter7 Relationships among Query Processing Methods / p91 (0053.jp2)
  41. 7.1 Introduction / p91 (0053.jp2)
  42. 7.2 From Pushing Selections to the Distribution of Selections / p93 (0054.jp2)
  43. 7.3 Distribution of Selections in Clausal Form / p96 (0056.jp2)
  44. 7.4 From the Distribution of Selections to Magic Sets / p103 (0059.jp2)
  45. 7.5 Conclusion / p111 (0063.jp2)
  46. Appendix7.1 Proofs of lemma 7.5, theorem 7.7 and theorem 7.11 / p112 (0064.jp2)
  47. Chapter8 Conclusions and Directions for Future Research / p116 (0066.jp2)
  48. Acknowledgements / p119 (0067.jp2)
  49. References / p120 (0068.jp2)
  50. Index / p127 (0071.jp2)
0アクセス

各種コード

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