Contents of Report

[Data of Report]

Report Number:: TR0407
Date of Registration:: 1988.06
English Title:: Horn Clause Transformation by Restrictor in Deductive Databases
Japanese Title:: ***
English Author:: N.Miyazaki,K.Yokota,H.Haniuda,H.Itoh
Japanese:: ***
Name of Organization to which author belongs:: ICOT,Oki,Oki,ICOT
PDF:: tr0407.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Deductive Database and Equivalent Transformations	.... 4
3	Horn Clause Transformation by Restrictor(HCT/R)	.... 7
4	Horn Clause Transformation by Partial Restrictor	.... 13
5	Optimal HOT/R	.... 15
6	Relationship with Magic Sets	.... 20
7	Conclusions	.... 22
	Acknowledgements	.... 23
	References	.... 23
	Appendix 1 Proof of proposition 3.2	.... 24
	Appendix 2 An example of BPA	.... 25
	Appendix 3 An example where BPA fails to obtain smaller model	.... 26
	End	.... 27

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