Query processing and its optimization in logic programs 論理プログラムの問合せ処理とその効率化

この論文をさがす

著者

    • 世木, 博久 セキ, ヒロヒサ

書誌事項

タイトル

Query processing and its optimization in logic programs

タイトル別名

論理プログラムの問合せ処理とその効率化

著者名

世木, 博久

著者別名

セキ, ヒロヒサ

学位授与大学

東京大学

取得学位

工学博士

学位授与番号

乙第10141号

学位授与年月日

1991-03-15

注記・抄録

博士論文

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p3 (0004.jp2)
  3. I Introduction / p3 (0008.jp2)
  4. 1 Introduction / p5 (0009.jp2)
  5. 2 Logic Programming / p11 (0012.jp2)
  6. II Query Evaluation Algorithms for Logic Programs / p27 (0020.jp2)
  7. 3 A Query Evaluation Method for Definite Programs / p29 (0021.jp2)
  8. 4 A Query Evaluation Method for Stratified Programs / p61 (0037.jp2)
  9. III Unfold/fold Transformation of Logic Programs / p77 (0045.jp2)
  10. 5 Unfold/fold Transformation of Stratified Programs / p79 (0046.jp2)
  11. 6 Unfold/Fold Transformation of General Logic Programs / p115 (0064.jp2)
  12. 7 Transformation Strategies For Logic Programs / p139 (0076.jp2)
  13. IV Conclusion / p159 (0086.jp2)
  14. 8 Conclusion / p161 (0087.jp2)
  15. Bibliography / p165 (0089.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000083468
  • NII著者ID(NRID)
    • 8000000083678
  • DOI(NDL)
  • NDL書誌ID
    • 000000247782
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ