TD1 : Logique

• Objectifs - Pointeurs - Bibliographie ici
• Lien entre LPO et BD : voir les transparents [17..26] de ce fichier
• Requetes et LPO (Calcul relationnel) : voir ce polycopié
• Ne pas oublier de travailler la planche 1 d'exercices.


BD= Base de données
LPO = Logique du premier order
FOL = FO = First Order Logic