Le plan du cours.
- Langages de requêtes, théorème de Codd
- Requêtes conjonctives, optimisation, le théorème de l’homomorphisme: voir les transparents de R. Pichler (mashup: j’ai ajouté des annotations et quelques nouveaux transparents)
- Le théorème de Trakhtenbrot: voir les transparents de R. Pichler (avec quelques corrections de typos)
- Dépendances fonctionelles, “the chase”: voir les transparents d’E. Coquery (mashup, de nouveau)
Suivent quelques références, avec des copies locales, histoire de toujours les avoir même si elles disparaissent du Web.
Les livres
- Serge Abiteboul, Richard Hull, Victor Vianu. Foundations of Databases. Addison-Wesley (1995). Le lien, et la copie locale.
- Jeffrey D. Ullman. Principles of Database and Knowledge Base Systems. Vol. 1. Computer Science Press (1988). Le lien, et la copie locale.
Les transparents de Reinhard Pichler
Uniquement des copies locales, ici: les transparents ne semblent plus être disponibles depuis la page de R. Pichler.
- Introduction: Relational query languages
- Introduction to Datalog
- Codd’s Theorem
- Trakhtenbrot’s Theorem (avec quelques typos corrigées)
- Complexity of query evaluation
- Conjunctive queries(mashup: j’ai ajouté des annotations et quelques nouveaux transparents)
- Ehrenfeucht-Fraïssé games
Les transparents de Thomas Eiter
- Introduction, algèbres relationnelles, SQL. Le lien, et la copie locale.
- Extension avec négation, le quantificateur universel, le théorème de Codd. Le lien, et la copie locale.
- Optimisation, tableaux, le théorème de l’homomorphisme, l’algorithme “the chase”. Le lien, et la copie locale.
- (Optionnel.) Comparaison des pouvoirs expressifs des langages de requêtes. Le lien, et la copie locale.
Les transparents d’Emmanuel Coquery
- Dépendances fonctionnels, l’algorithme “the chase”. Le lien, et la copie locale (mashup).