Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Classification of Literals	.... 3
2.1	Equivalence Relation between Literals	.... 3
2.2	Choice of Representative	.... 4
3	Program Transformation using Representatives	.... 6
3.1	Representative Program	.... 6
3.2	Program Transformation in Multiple Worlds	.... 7
3.3	Semantics of Representative Program	.... 9
3.4	Program Optimization	.... 11
4	Query Processing in Representative Program	.... 12
5	Concluding Remarks	.... 16
	Acknowledgments	.... 16
	References	.... 16

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