Contents of Report

[Data of Report]

Report Number:: TR0402
Date of Registration:: 1988.06
English Title:: On Structures for Efficient Unification Join and Select Operations
Japanese Title:: ***
English Author:: L.Henschen,S.Lee,M.Murakami,Y.Morita
Japanese:: ***
Name of Organization to which author belongs:: Northwestern Univ.,Northwestern Univ.,ICOT,ICOT
PDF:: tr0402.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Advantages of Generality Ordering	.... 4
3	Computing Unifiers for Less General Terms(Top-Down)	.... 7
4	Computing Unifiers for More General Terms(Bottom-up)	.... 15
4.1	Representation of Unifiers	.... 15
4.2	Constructing the MGU	.... 17
5	Storage Schemes for Terms	.... 20
6	Term Indexing Schemes	.... 22
7	Conclusions	.... 23
	References	.... 24

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