Enseignement 2014-2015

• Bases de Données Avancées (BDA) en M1 (MIAGE et MOPS)



• Supports de Cours


• Slides pour les 2 premiers cours : Introduction et Rappels du modèle relationnel, Modèle Objet, Relationnel-Objet sur ORACLE




• Introduction aux Systèmes d'Information et aux Bases de Données en L2


INFORMATION IMPORTANTE SUR LE DS : il aura lieu en plage P1 LE JOUR DU DERNIER COURS, et il sera suivi d'une heure et demie (P2) de cours. Il portera sur le matériel couvert dans les TD, jusqu'au TD du 14-11 inclus. Les documents de cours sont autorisés, mais sous format papier : pas d'ordinateurs allumés !


• Supports de cours


• Slides pour les 3 premier cours : Conception de BD relationnelles, requêtes. Des explications sur la partie SQL (cours 3) ont été ajoutées (par rapport à ce qui a été présenté en cours), pour clarifier.
  Figures pour le premier cours .


• Slides pour le cours sur la création de tables en SQL
.


• Slides pour les cours sur SPI et SPD . Les slides expliquent aussi comment tester l'implication de dépéndances.


• Matériel des TD
  • Enoncé de la feuille du TD 1
  
  
  
  • Enoncé de la feuille du TD 2
  • Corrigé de la feuille du TD 2 Il y a des symboles étranges (passage de Linus vers Mac), mais c'est lisible...
  
  
  
  • Enoncé de la feuille des TD 3 et 4
  • Corrigé de la feuille des TD 3 et 4 C'est un corrigé d'une ancienne feuille pour le L3. Ignorer les solutions marquées "CR" (vous ne connaissez pas le CR).
  • cinema.sql Base à charger pour les Td 2 et 3 sur machine.
  • Tutorial sur l'interface SQL DEVELOPER avec Oracle pour les L2 (qui n'ont pas déjà un compte à IBGBI)
  
  
  
  • Enoncé de la feuille des TD 5 et 6



• Spécifications Formelles, M1 MOPS
  • Toutes le slides . Version mise à jour le 28 -11-2014
  
  
  
• SGbd en L3 (Initial et Alternance)


INFORMATION IMPORTANTE SUR LE DS en L3 (initial) SGBD : il aura lieu le jeudi 20-11, de 13h à 14.30, dans le GRAND amphi de IBGBI. Il portera sur les requêtes AR, CR et SQL (dans le style des TD sur la base cinéma.sql). Donc les seuls cours nécéssaires sont le 1, le 2 et le 3 listés ci-dessous. Les documents de cours et TD sont autorisés mais sous format papier : pas d'ordinateurs allumés ! NB. Ci-dessous, vous trouvez le corrigé de la feuille de td-TP sur la base "cinéma".


• Supports de cours
• Cours 1 de SGBD (pdf). Contenu : notions de base et algébre relationnelle.
  NB : la dernière requête AR des diapositives est fausse. Voici une correction.
  
  
• Cours 2 de SGBD (pdf). Contenu : Calcul relationnel.


• Cours 3 de SGBD (pdf). Contenu : SQL.
  
  
  
• Cours 4 de SGBD (pdf) Contenu : Conception de schéma: Dépendances Fonctionnelles & méthode EA.
Attention : la méthode EA est encore dans les slides mais elle n'est pas dans le programme.


• Cours 5 de SGBD (pdf). Contenu : Décompositions SPI et SPD



• Cours 6 de SGBD (pdf), Contenu : Formes Normales. Mis à jour le 20-10-2014 (les fautes de frappe du cours L3 Apprentissage ont été corrigées.



• Les TDS avec leur corrigés
  
  • Enoncé et corrigé de la feuille de TD 1
    
    
  • TD-TP sur le cinéma (2 séances)
    • cinema.sql Base à charger pour les Td 2 et 3 sur machine.
    • Tutorial sur l'interface SQL DEVELOPER avec Oracle pour les L3 pour faire ce TD sur machine.
    Corrigé pour la feuille de TD-TP ) (TOUTE requête est corrigée en AR, CR et SQL)
    
    
  • Enoncé et corrigé de la feuille de TD 3
  
  
  • Enoncé et corrigé de la feuille de TD 4
  
  
  • Enoncé et corrigé de la feuille de TD 5




• Methodes Formelles pour la Conception de Logiciels (MFCL), en collaboration avec F. Belardinelli.
  
  
  • Supports de cours pour la partie de S. Cerrito
    
    
    • Partie LTL du cours (les 3 premiers cours)
    
    
    
    • Quelques figures pour le support de cours sur LTL.
    
    
    
    • Quelques exercices sur LTL Certaines de solutions sont dans Ce fichier ci.
      Un autre exercice (nouveau) corrigé