Bonjour,
Dans le nouveau programme d'info des CPGE apparaît un intitulé "Algèbre relationnelle" ; je vais prochainement enseigner dans cette section mais n'ayant eu aucun vrai cours de BDD dans mon cursus (en gros je sais bidouiller en SQL), je commence à me renseigner.
D'après les quelques cours que j'ai glané sur la toile, j'ai compris qu'il y avait 2 modèles : le calcul relationnel (style "déclaratif"), et l'algèbre relationnelle (style "impératif").
Certains cours s'amusent à montrer que les deux modèles sont équivalents. Très bien. Mais après ? Je n'ai trouvé nul part un site/cours qui explique comment on utilise ces modèles pour obtenir des résultats (théoriques ou pratiques) ; par exemple grâce au modèle des machines de Turing, on peut montrer rigoureusement que certains programmes n'existent pas ou construire la théorie de la complexité rigoureusement. Là, je ne trouve rien et du coup cet encart dans le programme de prépa me paraît un peu superflu : à part reformuler avec des notations mathématiques les commandes SQL, on ne fait pas grand chose.
Quelqu'un pourrait-il éclairer le béotien que je suis en algèbre et calcul relationnel, et m'en donner de réelles applications (ces notions n'ont pas été développées juste pour le plaisir quand même) ?
Merci,
Sébastien
Partager