Programma del corso
Nel corso verrano trattati i seguenti argomenti:
-
Richiami di basi di dati e modello relazionale
-
Linguaggi per basi di dati e algebra relazionale
-
Tecniche di dimostrazione
-
Richiami di logica matematica e calcolo relazionale sui domini
-
Calcolo su tuple, Datalog e potenza espressiva dei linguaggi
-
Introduzione alla teoria delle dipendenze
-
Tableaux, containing mappings e chase di tableaux