By definition, a FK has to reference a PK in the “parent”.
Not quite. It can reference any combination of columns with a unique index (of with the PK is by definition).
Not quite. It can reference any combination of columns with a unique index (of with the PK is by definition).