Query optimization in deductive databases 演繹データベースにおける問合せ最適化
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Query optimization in deductive databases
- タイトル別名
-
演繹データベースにおける問合せ最適化
- 著者名
-
宮崎, 収兄, 1948-
- 著者別名
-
ミヤザキ, ノブヨシ
- 学位授与大学
-
京都大学
- 取得学位
-
工学博士
- 学位授与番号
-
乙第7359号
- 学位授与年月日
-
1990-11-24
注記・抄録
博士論文
目次
- 論文目録 / (0001.jp2)
- Contents / p7 (0006.jp2)
- Abstract / p5 (0005.jp2)
- Chapter1 Introduction / p1 (0008.jp2)
- Chapter2 Deductive Databases and Query Transformation / p5 (0010.jp2)
- 2.1 Deductive Databases / p5 (0010.jp2)
- 2.2 Query Transformation / p8 (0012.jp2)
- Chapter3 Horn Clause Transformation by Partial Evaluation / p10 (0013.jp2)
- 3.1 Introduction / p10 (0013.jp2)
- 3.2 Query Processing and Simplification of Queries / p11 (0013.jp2)
- 3.3 Partial Evaluation / p12 (0014.jp2)
- 3.4 Horn Clause Transformation by Partial Evaluation / p14 (0015.jp2)
- 3.5 Implementation of Horn Clause Transformation by Partial Evaluation / p18 (0017.jp2)
- 3.6 Conclusion / p21 (0018.jp2)
- Chapter4 Restricted Least Fixpoint in Deductive Databases / p23 (0019.jp2)
- 4.1 Introduction / p23 (0019.jp2)
- 4.2 Least Fixpoint and Restricted Least Fixpoint / p24 (0020.jp2)
- 4.3 Restrictor Transformation / p28 (0022.jp2)
- 4.4 Examples of Restrictor Transformation / p34 (0025.jp2)
- 4.5 Performance of Query Processing / p37 (0026.jp2)
- 4.6 Conclusion / p38 (0027.jp2)
- Chapter5 Horn Clause Transformation by Restrictor / p39 (0027.jp2)
- 5.1 Introduction / p39 (0027.jp2)
- 5.2 Horn Clause Transformation by Restrictor (HCT/R) / p41 (0028.jp2)
- 5.3 Horn Clause Transformation by Partial Restrictor / p48 (0032.jp2)
- 5.4 Optimization of HCT/R / p52 (0034.jp2)
- 5.5 Comparisons with Other Methods / p57 (0036.jp2)
- 5.6 Conclusion / p65 (0040.jp2)
- Appendix5.1 Proof of Proposition 5.3 / p65 (0040.jp2)
- Appendix5.2 Example of the BPA / p67 (0041.jp2)
- Appendix5.3 Example where BPA Fails to Obtain a Smaller Model / p67 (0041.jp2)
- Chapter6 A Framework for Query Transformations / p69 (0042.jp2)
- 6.1 Introduction / p69 (0042.jp2)
- 6.2 Query Transformation and Clause Replacement / p70 (0043.jp2)
- 6.3 Horn Clause Transformation by Partial Evaluation (HCT/P) / p72 (0044.jp2)
- 6.4 Horn Clause Transformation by Substitution (HCT/S) / p75 (0045.jp2)
- 6.5 Horn Clause Transformation by Restrictor (HCT/R) / p79 (0047.jp2)
- 6.6 Comparisons among Three Horn Clause Transformations / p85 (0050.jp2)
- 6.7 Conclusion / p90 (0053.jp2)
- Chapter7 Relationships among Query Processing Methods / p91 (0053.jp2)
- 7.1 Introduction / p91 (0053.jp2)
- 7.2 From Pushing Selections to the Distribution of Selections / p93 (0054.jp2)
- 7.3 Distribution of Selections in Clausal Form / p96 (0056.jp2)
- 7.4 From the Distribution of Selections to Magic Sets / p103 (0059.jp2)
- 7.5 Conclusion / p111 (0063.jp2)
- Appendix7.1 Proofs of lemma 7.5, theorem 7.7 and theorem 7.11 / p112 (0064.jp2)
- Chapter8 Conclusions and Directions for Future Research / p116 (0066.jp2)
- Acknowledgements / p119 (0067.jp2)
- References / p120 (0068.jp2)
- Index / p127 (0071.jp2)