Discussion :

[gentelmand]

Bonjour ,
est ce que quelqu'un peut m'aider dans cette démonstration .
Si R est un schéma relationnel , S , X , Y sont des sous ensembles de R.
Soient r,s des relations sur R ,S .est ce vrai que :
{ X Union Y incluse R-S et r: X -> Y } Alors {r Div s : X->Y}

merci

[Oishiiii]

Bonjour,

Est-ce que vous pourriez reformuler le problème et la question, parce que là je ne comprend vraiment pas.

Si R est un schéma relationnel , S , X , Y sont des sous ensembles de R.

Donc vous avez une relvar R dont S, X et Y sont des sous-ensembles d'attributs de R.

R { S, X, Y }

Soient r,s des relations sur R ,S .

Qu'est-ce que S ?

{ X Union Y incluse R-S et r: X -> Y } Alors {r Div s : X->Y}

Là je ne comprend pas du tout.
Qu'est-ce que signifie "incluse R-S" et le deux-points ":" ?
Le titre du sujet est "calcul relationnel" mais je voit "X->Y" qui a priori n'a rien à voir avec le calcul relationnel mais plutôt la normalisation.

[mongilotti]

moi aussi je me perds.

[gentelmand]

je me suis mal exprimé
R est un schéma relationnel
en fait S , X ,Y sont des sous ensembles non vides de R .
r et s sont des relations sur R et S .
est ce que cette proposition est vrai ou bien comment je peux démontrer que c'est vrai ou c'est faux
{X Union Y ⊂ R\S et r ╞ X -> Y } => { r ÷ s ╞ X -> Y }

merci