Query processing and its optimization in logic programs 論理プログラムの問合せ処理とその効率化
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Query processing and its optimization in logic programs
- タイトル別名
-
論理プログラムの問合せ処理とその効率化
- 著者名
-
世木, 博久
- 著者別名
-
セキ, ヒロヒサ
- 学位授与大学
-
東京大学
- 取得学位
-
工学博士
- 学位授与番号
-
乙第10141号
- 学位授与年月日
-
1991-03-15
注記・抄録
博士論文
目次
- Abstract / p1 (0003.jp2)
- Contents / p3 (0004.jp2)
- I Introduction / p3 (0008.jp2)
- 1 Introduction / p5 (0009.jp2)
- 2 Logic Programming / p11 (0012.jp2)
- II Query Evaluation Algorithms for Logic Programs / p27 (0020.jp2)
- 3 A Query Evaluation Method for Definite Programs / p29 (0021.jp2)
- 4 A Query Evaluation Method for Stratified Programs / p61 (0037.jp2)
- III Unfold/fold Transformation of Logic Programs / p77 (0045.jp2)
- 5 Unfold/fold Transformation of Stratified Programs / p79 (0046.jp2)
- 6 Unfold/Fold Transformation of General Logic Programs / p115 (0064.jp2)
- 7 Transformation Strategies For Logic Programs / p139 (0076.jp2)
- IV Conclusion / p159 (0086.jp2)
- 8 Conclusion / p161 (0087.jp2)
- Bibliography / p165 (0089.jp2)