Commit 59ef7bca authored by Ismail Merzougui's avatar Ismail Merzougui

Ajout de la table genre document et de l'attribut "disponible"

parent 62060616
......@@ -23,10 +23,13 @@ CHECK(nom is NOT NULL and prenom is NOT NULL and numeroTel is NOT NULL)
Document(#code: string, titre: string, dateSortie: date, genre: string, langue: string, etat du document: {Bon,abime,neuf,perdu}, editeur : string, Synopsis: string, ISBN: string, resume : string, duree : time, typeDoc:{Film,Musique,Livre})
CHECK(titre is NOT NULL and dateSortie is NOT NULL and genre is NOT NULL and langue is NOT NULL and ETAT is NOT NULL)
Document(#code: string, titre: string, dateSortie: date, langue: string, etat du document: {Bon,abime,neuf,perdu}, editeur : string, Synopsis: string, ISBN: string, resume : string, duree : time, typeDoc:{Film,Musique,Livre}, disponible: boolean)
CHECK(titre is NOT NULL and dateSortie is NOT NULL and langue is NOT NULL and ETAT is NOT NULL and disponible is NOT NULL)
CHECK( (typeDoc = Film and duree is NOT NULL and synopsis is NOT NULL) OR (typeDoc = Musique and duree is NOT NULL and editeur is NOT NULL) OR (TypeDoc = Livre and ISBN is not NULL and resume is not NULL and editeur is NOT NULL))
GenreDocument(#code => Document, genre: string)
CHECK(genre is NOT NULL)
EmpruntDocument(#code => Document, Idcarte => Adherent,#dateEmprunt: date ,dateRetour: date, etat d’emprunt: {Bon, abime, neuf, perdu}, etat de retour: {Bon, abime, neuf, perdu})
CHECK(etat d'emprunt is NOT NULL and Idcarte is NOT NULL)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment