This paper discusses a pattern-matching algorithm which is suitable for
functional databases in general, and in particular for the functional
database language FDL.