Cette thèse présente une perspective relationnelle à plusieurs aspects de la programmation. L'algèbre relationnelle de Tarski est utilisée pour formuler, et parfois résoudre, des problèmes pertinents à la programmation tels que: la spécification de programmes, l'analyse fonctionnellle de programmes, la vérification de programmes, la conception de programmes et le traitement d'erreurs dans les programmes. La perspective que nous adoptons dans cette thèse est caractérisée par les prémisses suivantes: les programmes sont spécifiés à l'aide de relations; l'analyse fonctionnellle de programmes se fait par composition de fonctions; la conception de programmes se fait par décomposition de relations

Cette thèse présente le sous-système ISIS, une méthode d'expression et de contrôle de l'intégrité sémantique, dans les bases de données relationnelles. Celle-ci est réglée par un ensemble de lois appelées contraintes d'intégrité sémantique (CIS). Une réalisation est effectuée dans le cadre du projet MICROBE