Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédente | ||
site:enseignement:licence:3i009:base_foot_pour_relax [27/09/2022 12:51] hubert créée |
site:enseignement:licence:3i009:base_foot_pour_relax [27/09/2022 13:49] (Version actuelle) hubert |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | === Base foot pour Relax ==== | ||
+ | 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 | ||
+ | |||
+ | |||
+ | <code> | ||
+ | |||
+ | |||
group: LIP6 | group: LIP6 | ||
Ligne 95: | Ligne 114: | ||
-- Matchmirror2 = ρ Eq2 ← Eq3, Eq1 ← Eq4 (ρ 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 | Match = π Eq1, Eq2, Date, St (ρ Eq2 ← Eq3, Eq1 ← Eq4 (ρ Eq3 ← Eq1, Eq4 ← Eq2 (MatchNonSym))) ∪ π Eq1, Eq2, Date, St MatchNonSym | ||
+ | | ||
+ | | ||
+ | </code> |