| Course label : | Algorithmics and databases 1 - Databases |
|---|---|
| Teaching departement : | EEA / Electrotechnics - Electronics - Control Systems |
| Teaching manager : | Mister PIERRE-ANTOINE THOUVENIN / Mister PIERRE CHAINAIS |
| Education language : | |
| Potential ects : | 0 |
| Results grid : | |
| Code and label (hp) : | MR_DS_S3_AD1 - Algorithmics and databases 1 - |
Education team
Teachers : Mister PIERRE-ANTOINE THOUVENIN / Mister PIERRE CHAINAIS
External contributors (business, research, secondary education): various temporary teachers
Summary
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
Educational goals
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
Sustainable development goals
Knowledge control procedures
Continuous Assessment
Comments: Labs, 4.0 credits, grading scale: A, B, C, D, E, F
Exam, 2 credits, grading scale: A, B, C, D, E, F
Online resources
Serge Abiteboul, Richard B. Hull, Victor Vianu: Foundations of Databases. Addison-Wesley, 1995.
Pedagogy
24 hours, 8 lectures 4 exercises Language of instruction is specified in the course offering information in the course and programme directory. English is the default language.
Sequencing / learning methods
| Number of hours - Lectures : | 12 |
|---|---|
| Number of hours - Tutorial : | 12 |
| Number of hours - Practical work : | 0 |
| Number of hours - Seminar : | 0 |
| Number of hours - Half-group seminar : | 0 |
| Number of student hours in TEA (Autonomous learning) : | 0 |
| Number of student hours in TNE (Non-supervised activities) : | 0 |
| Number of hours in CB (Fixed exams) : | 0 |
| Number of student hours in PER (Personal work) : | 0 |
| Number of hours - Projects : | 0 |
Prerequisites
Basic mathematical knowledge and basic knowledge in databases