Quantifieurs universels et calcul relationnel

[Anonyme]

bonjour,

J'ai deux petits problèmes de compréhension à propos du quantificateur
existentiel et du quantificateur universel.

Je n'arrive pas à mettre la main sur des définitions du genre, il existe 1
seul x tel que ..., dans le contexte du calcul relationnel lors de la
conception d'une base de données.

De plus je souhaiterais connaître leur rôle dans le calcul relationnel avec
des tuples, la différence entre les variables liées et les variables libres
dont les quantifieurs dépendent.

Merci,

Thibault