Bases de Données / Databases

Ceci est une ancienne révision du document !

---

group: LIP6

MatchNonSym = { Eq1, Eq2, Date, St 'Direkt', 'Piepla', 'Tue May 12 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'GrandArena' 'Direkt', 'Fortiches', 'Wed May 13 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'Boulodrome' 'Direkt', 'Sabar', 'Mon Jun 15 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'BukHall' 'Piepla', 'Direkt', 'Thu May 14 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'GrandArena' 'Piepla', 'Fortiches', 'Fri Jun 12 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'Maracanar' 'Piepla', 'Sabar', 'Fri May 15 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'Maracanar' 'Sabar', 'Fortiches', 'Sat Jun 13 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'BukHall' 'Sabar', 'Direkt', 'Wed Jul 15 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'BukHall' 'Sabar', 'Piepla', 'Mon Jun 15 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'Maracanar' 'Fortiches', 'Direkt', 'Sat Jun 13 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'Boulodrome' 'Fortiches', 'Piepla', 'Sun Jul 12 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'Maracanar' 'Fortiches', 'Sabar', 'Mon Jul 13 2015 00:00:00 GMT+0200 (heure d’été d’Europe centrale)', 'BukHall' }

Joueur = { NJo, Eq, taille, age 'Franck Kou', 'Direkt', 183, 22 'Zhou Zi', 'Piepla', 187, 23 'Manon Messi', 'Direkt', 175, 25 'Aldo Ron', 'Piepla', 174, 29 'Tino Plat', 'Sabar', 189, 28 'Harry Berry', 'Sabar', 183, 24 'Dona Marrat', 'Direkt', 179, 25 'Karl Habruni', 'Piepla', 169, 26 'Jamal Opieh', 'Direkt', 195, 25 'Maurice Filip', 'Piepla', 201, 23 'Fabrice Denice', 'Sabar', 168, 22 'Rico Coco', 'Sabar', 174, 21 'Mario Naite', 'Fortiches', 169, 29 'Chris Tiano', 'Fortiches', 195, 28 'Lino Mockette', 'Fortiches', 201, 24 'Jamal Partu', 'Fortiches', 168, 25 }

Equipe = { NEq,Ville,Couleur,StP

Piepla,Paris,Rouge,GrandArena Sabar,Strasbourg,Vert,Boulodrome Direkt,Nancy,Bleu,BukHall Fortiches,Paris,Bleu,GrandArena }

DistanceNonSym = { st1,st2,nbkm:number

GrandArena,Boulodrome,220 GrandArena,BukHall,330 GrandArena,Maracanar,124 Boulodrome,BukHall,40 Boulodrome,Maracanar,65 BukHall,Maracanar,180 }

Sponsorise={ NSp,NJo,Somme:number

Adadis,“Franck Kou”,156 Robek,“Zhou Zi”,265 Alcampo,“Manon Messi”,22 Robek,“Aldo Ron”,665 Adadis,“Tino Plat”,225 Adadis,“Harry Berry”,178 Robek,“Dona Marrat”,19 Alcampo,“Karl Habruni”,164 Alcampo,“Jamal Opieh”,542 Adadis,“Maurice Filip”,688 Robek,“Fabrice Denice”,222 Carouf,“Rico Coco”,119 Carouf,“Franck Kou”,356 Adadis,“Zhou Zi”,228 “Air Monaco”,“Manon Messi”,889 Adadis,“Aldo Ron”,865 “Air Monaco”,“Tino Plat”,396 Carouf,“Harry Berry”,378 Alcampo,“Dona Marrat”,524 Palasse,“Karl Habruni”,265 Palasse,“Jamal Opieh”,245 Robek,“Maurice Filip”,255 “Air Monaco”,“Fabrice Denice”,222 “Air Monaco”,“Rico Coco”,256 Adadis,“Chris Tiano”,256 }

– Distancemirror1 = ρ st3 ← st1, st4 ← st2 (DistanceNonSym) – Distancemirror2 = ρ st2 ← st3, st1 ← st4 (ρ st3 ← st1, st4 ← st2 (DistanceNonSym)) Distance = π st1, st2, nbkm (ρ st2 ← st3, st1 ← st4 (ρ st3 ← st1, st4 ← st2 (DistanceNonSym))) ∪ π st1, st2, nbkm DistanceNonSym

– Matchmirror1 = ρ Eq3 ← Eq1, Eq4 ← Eq2 (MatchNonSym) – Matchmirror2 = ρ Eq2 ← Eq3, Eq1 ← Eq4 (ρ Eq3 ← Eq1, Eq4 ← Eq2 (MatchNonSym))

Match = π Eq1, Eq2, Date, St (ρ Eq2 ← Eq3, Eq1 ← Eq4  (ρ Eq3 ← Eq1, Eq4 ← Eq2  (MatchNonSym))) ∪ π Eq1, Eq2, Date, St  MatchNonSym