NOTE:
(Usually, a key is a subset of the attributes in a relation).
This constraint make perfect sense:
Pictorially explanation of Referential integrity constraint:
(This also makes perfect sense because you must point to something that exists !!!)