Bases de Données / Databases

Site Web de l'équipe BD du LIP6 / LIP6 DB Web Site

Outils pour utilisateurs

Outils du site


site:enseignement:licence:3i009:base_foot_pour_relax

Différences

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

Lien vers cette vue comparative

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>​
site/enseignement/licence/3i009/base_foot_pour_relax.1664275898.txt.gz · Dernière modification: 27/09/2022 12:51 par hubert