Relationships in mutating joins

One-to-one: each row in x matches at most one row in y, and vice-versa.