Unify

<database, product> A relational database produced by Unify Corporation.

(15 Mar 1995)

unify

<algorithm> To perform unification.

(15 Mar 1995)