Abstract FR:

Dans le modele relationnel de bases de donnees, les deux quantificateurs (, ) de la logique du premier ordre sont utilises dans des expressions quantifiees pour exprimer des contraintes d'integrite ou des requetes. Le travail de cette these consiste a etudier l'integration de l'imprecision dans les expressions quantifiees et ceci pour permettre principalement l'expression de termes quantifies imprecis dans des requetes adressees au sgbd. Nous considerons les bases de donnees relationnelles ordinaires et le langage de requetes sqlf qui permet l'expression de conditions flexibles par la theorie des ensembles flous. Notre but est d'enrichir le langage sqlf afin d'y autoriser des termes quantifies imprecis