Contents of Report

[Data of Report]

Report Number:: TR0183
Date of Registration:: 1986.06
English Title:: Compiling Horn Clause Queries in Deductive Databases; A Horn Clause Transformation Approach
Japanese Title:: ***
English Author:: N.Miyazaki,H.Yokota,H.Itoh
Japanese:: ***
Name of Organization to which author belongs:: Oki,ICOT,ICOT
PDF:: tr0183.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Outline of Compilation	.... 5
3	Horn Cluase Transformation	.... 6
3.1	Basic Ideas	.... 6
3.2	Basic Algorithm of Horn Clause Transformation	.... 10
3.3	The Property of Horn Clause Normal Form for the Query	.... 14
3.4	Extension of Horn Clause Transformation	.... 15
4	Compiling Queries into Relational Operations	.... 17
4.1	Semi-Domain-Relational-Calculus and Semi-Relational-Algebra	.... 18
4.2	Evaluation of Queries without Negation as Failure Capability	.... 21
5	Efficienty Considerations	.... 24
5.1	Redundncy Elimination	.... 24
5.2	The Treatment of Constants	.... 26
6	Conclusion	.... 29
	Acknowledgements	.... 30
	References	.... 30
	Appendix A	.... 33
	Appendix B	.... 34
	End	.... 36

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