4. Given a particular instance of a relation, we can actually figure out all functional dependencies

that are satisfied by the relation¹. For example, given a relation below, we can tell that X→Y, because in

every two tuples for which the values of X are equal, values of Y are also the same. Using this idea, list all

non-trivial functional dependencies satisfied by the following relation: