bonjour à tous, mon cours de bases de données donne les assertions à mettre en place lors du passage du modèle entité association au modèle relationnel sous forme d'écriture mathématique (sans aucune explication au préalable) et je suis un peu largué, est-ce que quelqu'un pourrait m'aider à déchiffrer ça:
j'ai "pour tout" ,
je ne sais pas à quoi correspond le " / ",
appartient ou appartenant à "livre",
est-ce que "card" est l'équivalent de assert ?
j'ai "a" appartient à "a_ecrit"
est-ce que " | " signifie OR (ou)?
je comprends le reste à part le ^ qui à priori veut dire "et" mais ça me parait bizarre d'utiliser " | " pour dire "ou" et "^" pour dire "et"
(au lieu d'utiliser v et ^ ou alors | et &)
merci!
EDIT: le contexte serait peut être utile:
il n'est pas précisé à quoi correspond "a" (auteur?), " l " (livre?), ni "a_ecrit" (la je sèche, c'est un attribut, une association ou autre chose?)
Partager