Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Record Algebra and Unificaiton	.... 6
2.1	Record Algebra	.... 2
2.2	Partially Tagged Trees	.... 11
2.3	The Unification Theory	.... 14
2.4	Satisfiability of Record Constraints	.... 16
3	Unification Grammar over Records	.... 20
3.1	Semantic of the Program	.... 21
3.2	Soundness and Completeness	.... 22
3.3	DAGs Constraints on Records	.... 24
3.4	Arity in Records Algebra	.... 25
3.5	Definite Clause Grammar over Records	.... 27
4	Concluding Remarks	.... 28
	Acknowledgements	.... 28
	References	.... 29
	End	.... 30

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