Discussion :

[zitouna79]

bonjour,
est ce que qcq d'entre vous peut prouver cette équivalence?
|π XUA(σF ∧(A=c)(r))| = |π X(σF ∧(A=c)(r))|

merci

[fsmrel]

Bonjour zitouna79,

est ce que qcq d'entre vous peut prouver cette équivalence?
|π XUA(σF ∧(A=c)(r))| = |π X(σF ∧(A=c)(r))|

Vous écrivez en style télégraphique : en français on n’écrit pas « qcq » mais « quelqu’un ». En outre, vous êtes ici dans le forum SQL, donc merci d’utiliser la notation SQL plutôt que la notation hermétique.


Cela dit :

On reconnaît la présence de l'opération de projection (π), celle de produit cartésien (X) à moins qu'ici X ne symbolise une relation...

On reconnaît le symbole de l’union (U).

On reconnaît encore l'opération de restriction (σ).

On reconnaît le connecteur AND (∧).

On peut supposer que la lettre minuscule r symbolise une relation (au sens de la théorie relationnelle, une table au sens SQL).

On peut supposer que la lettre majuscule F symbolise une condition de restriction.

On peut supposer, sans aucune certitude, que la lettre majuscule A symbolise un attribut d'une relation.

On peut supposer que la lettre minuscule c symbolise une condition.


Pour mémoire, en SQL l’opération de projection est symbolisée par le mot « SELECT », celle de restriction par le mot « WHERE », celle d’union par le mot « UNION », celle de produit cartésien par « CROSS JOIN », etc.

Il ne vous reste plus qu’à traduire vos formules en SQL avant de les soumettre à nouveau.