Unify

A relational database produced by Unify Corporation.

unify

To perform unification.