Contents of Report


[Data of Report]

Report Number:
TR0123
Date of Registration:
1985.07
English Title:
Deductive Database System based on Unit Resolution
Japanese Title:
***
English Author:
H.Yokota,K.Sakai,H.Ito
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT,ICOT
PDF:
tr0123.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Background.... 3
2.1Plan Generation.... 4
2.2Content Dependent Plan Generation.... 5
3Resolution Variation.... 7
4Setting Evaluation.... 8
4.1Setting Assembly Algorithm.... 8
4.2Unit Resolution with Setting using Relational Operations.... 9
4.3Iteration.... 10
4.4Completeness and Termination.... 12
4.5Efflciency.... 13
5Conclusion.... 14
Acknowldgments.... 15
Reference.... 15


目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports