Bases de Données / Databases

Seulement si la base n'est pas visible dans Relax, faire les étapes :

Select DB

Create new Dataset

Effacer le contenu existant et coller le contenu ci dessous

Preview

Use in group Editor

Aller dans l'onglet Relational Algebra

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