Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Preliminaries amd Basic Concepts	.... 4
3	Query Transformation	.... 6
3.1	The Role of Query Transformations	.... 6
3.2	Equivalent Transformations	.... 8
4	Horn Clause Transformation by Partial Evaluation(HCT/P)	.... 9
5	Horn Clause Transformation by Substitution(HCT/S)	.... 12
6	Horn Clause Transformation by Restrictor(HCT/R)	.... 15
7	A Comparison of Horn Clause Transformations	.... 21
8	Conclusions	.... 24
	References	.... 25
	End	.... 27

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