Duda con diseño de bd y relaciones

[Shizuka]

Así es, precisamente el id pago se autoincrementa y es llave primaria, y matricula tambien es primary key , pero aqui me surge una duda, la tabla efectuan solo la tengo para que tenga las relaciones es decir que ahí no pienso insertar nada, más bien el id de la tabla pagos sería el autoinrementable