Contents of Report

[Data of Report]

Report Number:: TR0214
Date of Registration:: 1986.11
English Title:: A Deductive Database System Written in Guarded Horn Clauses
Japanese Title:: ***
English Author:: H.Itoh,T.Takewaki,N.Miyazaki,Y.Mitomo
Japanese:: ***
Name of Organization to which author belongs:: Oki,Oki,ICOT,ICOT
PDF:: tr0214.pdf

[Contents]

	Abstract	.... 2
1	Introduction	.... 2
2	Guarded Horn Clauses	.... 3
3	Deductive Database System Models	.... 4
4	Horn Clause Transformation	.... 5
5	Relational Database Component	.... 7
6	Conclusion	.... 10
	Acknowledgements	.... 11
	References	.... 11
	Appendix	.... 11
	End	.... 15

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports