Tout sur Adobe Reader X et Acrobat X Pro

Chapitre V

LOGIQUE ET BASES DE DONNÉES

1. INTRODUCTION

Historiquement, les chercheurs ont tout d’abord essayé de modéliser les langages d’interrogation de bases de données par la logique. Ainsi sont nés les calculs relationnels, véritables langages d’interrogation fondés sur la logique du premier ordre. Ce n’est qu’à partir de la fin des années 70 que l’on a cherché à comprendre globalement les bases de données par la logique. Cela a permis de montrer qu’un SGBD était un démonstrateur de théorèmes très particulier, raisonnant sur des faits et donnant les preuves d’un théorème représentant la question.

Les travaux sur l’introduction dans les SGBD de raisonnements généraux incluant non seulement des faits, mais aussi des règles déductives exprimées ...