| Libellé du cours : | Algorithmics and databases 1 - Databases |
|---|---|
| Département d'enseignement : | EEA / Electronique Electrotechnique Automatique |
| Responsable d'enseignement : | Monsieur PIERRE-ANTOINE THOUVENIN / Monsieur PIERRE CHAINAIS |
| Langue d'enseignement : | |
| Ects potentiels : | 0 |
| Grille des résultats : | |
| Code et libellé (hp) : | MR_DS_S3_AD1 - Algorithmics and databases 1 - |
Equipe pédagogique
Enseignants : Monsieur PIERRE-ANTOINE THOUVENIN / Monsieur PIERRE CHAINAIS
Intervenants extérieurs (entreprise, recherche, enseignement secondaire) : divers enseignants vacataires
Résumé
The course will go through the following topics: • logic syntax vs semantics • finite models and model checking • conjunctive queries • acyclic queries and Yannakakis algorithm • representation of query solutions by means of circuits • circuits and aggregation • fixedpoint logic and datalog • naive and semi-naive evaluation of datalog queries • supplementary magic set rewriting
Objectifs pédagogiques
The goal of this course is present theoretical foundations of databases. It presents the various connections with logic, optimizations of logical queries. Successful students attending this course will learn: • syntax and semantics of several logics • the algorithmics behind logical querying • various optimization methods for logical queries
Objectifs de développement durable
Modalités de contrôle de connaissance
Contrôle Continu
Commentaires: Labs, 4.0 credits, grading scale: A, B, C, D, E, F
Exam, 2 credits, grading scale: A, B, C, D, E, F
Ressources en ligne
Serge Abiteboul, Richard B. Hull, Victor Vianu: Foundations of Databases. Addison-Wesley, 1995.
Pédagogie
24 hours, 8 lectures 4 exercises
Séquencement / modalités d'apprentissage
| Nombre d'heures en CM (Cours Magistraux) : | 12 |
|---|---|
| Nombre d'heures en TD (Travaux Dirigés) : | 12 |
| Nombre d'heures en TP (Travaux Pratiques) : | 0 |
| Nombre d'heures en Séminaire : | 0 |
| Nombre d'heures en Demi-séminaire : | 0 |
| Nombre d'heures élèves en TEA (Travail En Autonomie) : | 0 |
| Nombre d'heures élèves en TNE (Travail Non Encadré) : | 0 |
| Nombre d'heures en CB (Contrôle Bloqué) : | 0 |
| Nombre d'heures élèves en PER (Travail PERsonnel) : | 0 |
| Nombre d'heures en Heures Projets : | 0 |
Pré-requis
Basic mathematical knowledge and basic knowledge in databases