Contents of Report

[Data of Report]

Report Number:: TR0337
Date of Registration:: 1988.02
English Title:: AN Evaluation Method for Stratified Programs under the Extended Closed World Assumption
Japanese Title:: ***
English Author:: H.Seki,H.Itoh
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0337.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Extended CWA for Stratified Programs	.... 3
2.1	Negation;From the Viewpoint of Recursive Query Processing	.... 3
2.2	Semantics Based on Extended CWA	.... 4
2.3	Relation to Tight Tree Semantics and Its Problems	.... 6
2.4	From Semantics to a Practical Algorithm	.... 8
3	An Evaluation Algorithm under Extended CWAs	.... 8
3.1	A Class of Stratified Programs	.... 8
3.2	An Evaluation Algorithm;OLDTNF Resolution	.... 9
4	The Correctness of the Evaluation Algorithm	.... 12
5	Concluding Remarks	.... 13
	Acknowledgement	.... 14
	References	.... 14
	Appendix; Proofs	.... 16
	End	.... 18

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