Différences

Ci-dessous, les différences entre deux révisions de la page.

--- site:enseignement:licence:3i009:base_foot_pour_relax [27/09/2022 12:51] – créée hubert
+++ 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
@@ Ligne 95: / Ligne 114: @@
  -- 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
+</code>