As an example, if we define a functional dependency between attributes FINGERPRINT and PHOTO and use the fingerprint matching function FINGERCODE for comparing digital fingerprint, and the similarity technique used by QBIC for comparing photo images, we would write as follows:
FINGERPRINT_{FINGERCODE(t1)} -> PHOTO_QBIC(t2)