Abstract FR:

Etude des problemes de specification de bases de donnees relationnelles. Il se resume en une demarche qui allie l'emploi du modele entite/association, d'un langage de types et de la methode deductive medee. Le travail a ete applique a la conception et realisation d'une base de donnees en teledetection, application qui s'est averee complexe car elle est confrontee a un volume colossal de donnees diverses