Exemples

ExempleTraduction de requête algébrique en requête calcul

Considérons la requête algébrique suivante :

  • πAC (σA=C′(σC=A′(σB=1 (R ) ⋈ ρ|ABC∕A'B'C'(R))))

où sort(R) = ABC. Une requête conjonctive équivalente est :

  • { x,z | ∃y' (R (x,1,z) ∧ R (z,y',x)}

ExempleRéécriture algébrique

Soit sort(R) = ABC et sort(S) = BCD. Alors nous avons :

πAD (σC=1 (R ⋈ S )) ↔

πAD (σC=1 (R ) ⋈ S) ↔

πAD (πABD (σC=1 (R) ⋈ S)) ↔

πAD (πAB (σC=1 (R)) ⋈ πBD (S ))