Le cours apporte des bases solides en théorie des bases de données. Dans ce cours, nous discutons de la sémantique et du pouvoir expressif des langages de requêtes (SQL, Datalog) et le lien avec la logique du premier ordre. Nous abordons des algorithmes pour réaliser des requêtes (algorithme de Yannakakis, algorithmes optimaux dans le pire cas, etc.). Nous étudions les contraintes d'intégrité, notamment les dépendances fonctionnelles, ainsi que certaines formes normales.