Contents of Report

[Data of Report]

Report Number:: TR0538
Date of Registration:: 1990.03
English Title:: Selection Propagation in Deductive Database;From Pushing Selections to Magic Sets
Japanese Title:: ***
English Author:: N.Miyazaki
Japanese:: 宮崎　収兄
Name of Organization to which author belongs:: Oki
PDF:: tr0538.pdf

	Abstract	.... 2
	Keywords	.... 2
1	Introduction	.... 2
2	From Pushing Selections to the Distribution of Selections	.... 4
3	Distribution of Selection in Clausal Form	.... 6
3.1	Fundamental Concepts	.... 7
3.2	Formalization of Distribution of Selections in Clausal Form	.... 8
3.3	Optimization of the Transformed Result	.... 12
4	From the Distribution of Selections to Magic Sets	.... 14
4.1	The Distribution of Selections and Top-Down Methods	.... 14
4.2	The Distribution of Selections and Magic Sets	.... 15
5	Conclusion	.... 21
	Acknowledgements	.... 22
	Appendix	.... 22
	References	.... 26
	End	.... 27

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