Abstract FR:

On presente une approche logique des bases de donnees utilisant comme domaine d'interpretation l'ensemble des entiers naturels. La logique du premier ordre definie procede du modele partitionnel de bases de donnees du a n. Spyratos. L'approche est deductive et peut rendre compte de la presence d'information disjonctive dans la base de donnees. On s'interesse plus particulierement au calcul des reponses aux requetes soumises a la base. On etudie a ce propos l'importance des contraintes d'integrite definies sur la base de donnees et les problemes poses par la presence d'information disjonctive