1) Toda tabla debe tener una PK.
2) Toda relación entre dos tablas crea una FK.
3) Toda FK apunta únicamente a una PK de otra tabla, y sólo a la PK de esa tabla.
4) Toda relación N:N entre dos tablas crea una tabla adicional, la cual tiene por PK las FK de ambas tablas (apunta cada FK a su tabla correspondiente)
Esto aparece en cualquier manual o tutorial de Fundamentos de Bases de Datos Relacionales, incluyendo
Wikipedia.