http://www.dptinfo.ens-cachan.fr/LIESSE/
24/04 matin : Langages formels et applications
24/04 après-midi : Bases de données relationnelles
27/06 matin : Preuves de correction d'algorithmes
27/06 après-midi : Preuves de terminaison d'algorithmes
Bases de données relationnelles, Serge Abiteboul ;
Jeudi 24 avril 2014, 14h00–17h00
Les bases de données sont au cœur des activités humaines. Elles
permettent de gérer des données dans une entreprise, une
administration, des données scientifiques, des données
personnelles. La technologie des bases de données relationnelles
s'appuie sur des bases mathématiques que nous présenterons. Le but
est de mettre en perspective le cours de bases de données au
programme de CPGE.
Ressources :
Polycopié écrit avec
Benjamin
Nguyen et Yannick
Le Bras.