Differences

This shows you the differences between two versions of the page.

Link to this comparison view

lif10_2014a [2015/02/26 05:05] (current)
mplantev created
Line 1: Line 1:
 +=== LIF10 2014-2015 automne : Fondements des bases de données ===
  
 +== Généralités ==
 +
 +  * Licence 3, semestre d'​Automne.
 +  * Volume horaire : 20h CM + 22h TD + 18h TP
 +
 +== Intervenants ==
 +  * CMs (début le 09/09/2014) : Marc Plantevit (marc(dot)plantevit[at]univ-lyon1.fr) + Emmanuel Coquery (Intervention XML) 
 +  * TDs (début le 23/09/2014) : [[http://​perso.univ-lyon1.fr/​mohand-said.hacid/​|Mohand-Said Hacid]] (groupe A), [[http://​liris.cnrs.fr/​fabien.demarchi/​| Fabien de Marchi]] (groupe B) et Marc Plantevit (groupe C).
 +  * TPs (début le 09/10/2014) : [[http://​liris.cnrs.fr/​nicolas.lumineau/​| Nicolas Lumineau]], Zohra Saoud, et Marc Plantevit. ​
 +
 +
 +== Emplois du Temps ==
 +
 +L'​emploi du temps de chaque groupe est disponible sur ADE. 
 +
 +== Organisation des séances ==
 +
 +|**Date** | **Séance** | **Contenu**|
 +|**09/​09/​2014**|**CM1** | [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C1Intro_2014A.pdf|Introduction : Modèle relationnel,​ algèbre relationnelle,​ SQL]]|
 +|**23/​09/​2014**|**CM2**| [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C2Intro_Contraintes_2014A.pdf|Contraintes dans le modèle relationnel (diapos)]] [[https://​www.youtube.com/​watch?​v=XBjQJGUo3dg|(video)]],​ [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C3_DF.pdf|Dépendances fonctionnelles (syntaxe et sémantique) (diapo)]] [[http://​youtu.be/​Fa5Ol-6A88A|(video)]] |
 +|**23/​09/​2014**|**TD1**| {{:​td1_2014awc.pdf|Langages de requêtes pour le modèle relationnel}} [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​correction/​TD1_2014A.pdf|(correction)]]|
 +|**30/​09/​2014**|**CM3**| [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C3InferenceDF_2014A.pdf|Inférence de dépendances fonctionnelles : le système d'​Armstrong]] [[http://​youtu.be/​t-ps-K-6jac|(video)]],​ [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C5Fermeture_2014A.pdf| Inférence de dépendances fonctionnelles : fermeture d'un ensemble d'​attributs]] ​ [[http://​youtu.be/​r10fM3w8bks|(video)]] |
 +|**30/​09/​2014**|**TD2**| [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TD/​TD2_2014AwoC.pdf|Introduction aux dépendances ]][[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​correction/​TD2_2014A.pdf|(correction)]] |
 +|**07/​10/​2014**|**CM4**|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C6_Armstrong_completude.pdf|Complétude du système d'​Armstrong et relation d'​Armstrong]] ​ [[http://​youtu.be/​UBkpSGInrQE|(video)]] + **CC1** (// 45 minutes //)|
 +|**07/​10/​2014**|**TD3**|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TD/​TD3_2014wC.pdf|Fermeture d'un ensemble d'​attributs]] [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TD/​TD3_2014A.pdf|(correction)]]|
 +|**14/​10/​2014**|**Soutien**| Correction CC1 |
 +|**14/​10/​2014**|**TD4**|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TD/​TD4_2014AwoC.pdf|Dépendances fonctionnelles satisfaites par une instance, lien avec la logique propositionnelle]][[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TD/​TD4_2014A.pdf|(correction)]]|
 +|**03/​11/​2014**| **CM5**| [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C7_Couvertures.pdf|Couvertures d'​ensembles de dépendances fonctionnelles]][[https://​www.youtube.com/​watch?​v=tCJKLS4tfsk&​feature=youtu.be|(video)]],​ [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​CM8_DI.pdf|Inférence de dépendances d'​inclusion ]] [[http://​youtu.be/​SSteQsaAZGY|(video)]]|
 +|**03/​11/​2014**|**TD5**|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TD/​TD5woc.pdf|Relation d'​Armstrong,​ couvertures,​ dépendances d'​inclusion]][[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​correction/​TD5.pdf|(correction)]]|
 +|**18/​11/​2014**|**CM6**|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C9_Normalisation_Intro_2014A.pdf|Normalisation : introduction]] [[http://​youtu.be/​_sbVDj8bTzQ|(video)]],​ [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C10_Normalisation_2014A.pdf|formes normales basées sur les DFs]][[http://​youtu.be/​aO8f5_ELIH8|(video)]]|
 +|**18/​11/​2014**|**TD6**|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TD/​TD6_2014PwoC.pdf|Formes normales, décomposition]][[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​correction/​TD6_2014A.pdf|(correction)]]|
 +|**25/​11/​2014**|**CM7**| [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C11_Normalisation_algo_2014A.pdf|DMV et algorithme de normalisation]],​ [[https://​www.youtube.com/​watch?​v=lzAO67XzPRo&​feature=youtu.be|(video)]],​ [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C12_EA_2014A.pdf| Modèle Entité-Association]] |
 +|**25/​11/​2014**|**TD7**|TD6 + //CC2 //|
 +|**02/​12/​2014**|**CM8**|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​CoursIndexationLIF10_2014A.pdf|Techniques d'​indexation]] ​ |
 +|**02/​12/​2014**|**TD8**|Conception & Normalisation [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​correction/​TD7_2014A_correction.pdf|(correction)]],​ Correction CC2|
 +|**09/​12/​2014**|**CM9**|XML,​ XQuery, XPath |
 +|**09/​12/​2014**|**TD9**|Principales structures d'​index [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​correction/​TD8_2014A.pdf|(correction_exo1,​]],​[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​correction/​B_arbre.pdf|B-arbre)]]|
 +|**16/​12/​2014**|**CM10**|Révisions |
 +|**16/​12/​2014**|**TD10**|CC3 [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​correction/​2014_CC3_Correction.pdf|(une correction)]] |
 +
 +== Travaux Pratiques == 
 +
 +<note important>​**TP : Accès au serveur pédagogique Oracle **
 +// Voir ce lien pour plus d'​informations : [[http://​liris.cnrs.fr/​~ecoquery/​dokuwiki/​doku.php?​id=enseignement:​aide:​oracle]]//​
 +
 +//Les logins sont indiqués dans tomuss.//
 +</​note>​
 +
 +
 +|**Séance ** | ** Date ** | ** Sujet **|
 +|** TP1 ** | 09/10/2014 | [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TP1_2014A_2.pdf|Langages de définition et de manipulation de données]] [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TP1_2014A.pdf|(Correction)]]|
 +|** TP2 ** | 16/10/2014 | [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TP2_2014AwC.pdf|Contraintes et dictionnaire ]] [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TP2_2014A.pdf|(Correction)]]|
 +|**TP3**|06/​11/​2014|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TP3_2014A.pdf|Transactions]] //à déposer sur Spiral à la fin de la séance//|
 +|**V1**|--|[[https://​www.youtube.com/​watch?​v=FBxHMlB-Wf8&​index=4&​list=PLXVowFM9VKGZP0-5DLKaWt-YyQDIy7VdA| Introduction au langage PL/SQL]] [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C5_PL_SQL_2014P.pdf|(slides)]]|
 +|**V2**|--|[[https://​www.youtube.com/​watch?​v=5kUzCLilvv8&​index=5&​list=PLXVowFM9VKGZP0-5DLKaWt-YyQDIy7VdA|Langage PL/SQL: exceptions, fonctions, procédures,​ triggers]][[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​CM/​C6_PL_SQL_2014P.pdf|(slides)]]|
 +|**TP4**|13/​11/​2014|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TP3_2014A_gpe2.pdf|PL/​SQL]][[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​LIF10_TP4_old.sql|(une correction)]]|
 +|**TP5**|20/​11/​2014|//​TP Noté, à déposer sur Spiral en fin de séance // |
 +|**TP6**|27/​11/​2014|[[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TP6_2014A_extra.pdf|Bibliothèque coopérative (modélisation)]]|
 +|**TP7**|04/​12/​2014 - 11/12/2014| [[http://​liris.cnrs.fr/​~mplantev/​ENS/​LIF10/​TP7_2014A_graphes.pdf| Graphes augmentés ]], **Question Bonus :** Représenter les [[https://​dl.univ-lyon1.fr/​ssljpbzw| données (textuelles) suivantes]] sous forme d'un graphe ​ augmenté ​ et effectuer les requêtes définies précédemment dessus.|
 +
 +
 +
 +
 +
 +<​note>​**Quelques liens utiles **
 +  * [[http://​www.techonthenet.com/​oracle/​|TechOnTheNet.com]]
 +
 +</​note>​
 +
 +<​HTML>​
 +<script type="​text/​javascript">​
 +var gaJsHost = (("​https:"​ == document.location.protocol) ? "​https://​ssl."​ : "​http://​www."​);​
 +document.write(unescape("​%3Cscript src='"​ + gaJsHost + "​google-analytics.com/​ga.js'​ type='​text/​javascript'​%3E%3C/​script%3E"​));​
 +</​script>​
 +<script type="​text/​javascript">​
 +try {
 +var pageTracker = _gat._getTracker("​UA-5863625-2"​);​
 +pageTracker._trackPageview();​
 +} catch(err) {}</​script>​
 +
 +</​HTML>​
lif10_2014a.txt · Last modified: 2015/02/26 05:05 by mplantev
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0