Bonjour,
 
J'ai 2 tables A et B qui sont liées par une relation de dépendance fonctionnelle de la manière suivante :
 

 
Ainsi, tout élément de B fait référence a un élément de A.
Jusque-là, ça va. J'aimerais cependant rajouter une contrainte supplémentaire dans mon MCD concernant cette relation.
 
En effet, j'aimerais rajouter la contrainte exprimant le fait qu'une occurrence de A ne peut avoir qu'une seule occurrence de B pointant dessus.
 
J'aurais pu rajouter une cardinalité 1,1 du coté de A dans la relation mais à ce moment là cela me créérait une clé étrangère par la suite dans A lors du passage au niveau logique. Je ne souhaite avoir cette clé justement.
 
Pour modéliser conceptuellement cette contrainte j'ai donc pensé à une CIF (habituellement plus utilisées sur des relations d'arité > 2 mais là je pense ça peut coller).
 
Voici ce que ça donnerait
 

 
 
Ainsi la CIF porte sur la relation reliant A à B et précise qu'à chaque occurrence de A ne peut correspondre qu'une seule occurrence de B.
Enfin, je l'interprète comme ça.
 
Est-ce que cette CIF permet de modéliser conceptuellement la contrainte que j'ai exposé ? Et si non, comment puis-je la modéliser ?
 
Merci d'avance de votre aide.