Basi di Dati deduttive

Franco Turini      Tel. 0502212753

Il calcolo relazionale fornisce un modello basato sulla logica per i linguaggi di query dichiarativi che sono usati nei database relazionali. Tali linguaggi possono essere ulteriormente estesi per trattare query più complesse e per consentire rappresentazioni più sofisticate dell'informazione. In particolare per avere la possibilità di rappresentare oltre alle tabelle (fatti) anche regole che consentono di "dedurre" altri fatti da quelli esplicitamente memorizzati. Si parla in questi casi di "basi di dati deduttive" Il corso fa parte dei minor Basi di dati e Sistemi basati sulla conoscenza.

Il corso presenta i principi, la semantica formale e i modelli di esecuzione delle basi di dato deduttive, nonchè l'integrazione in esse di tecniche di data mining.

The subject is principles, formal semantics and execution models of deductive databases. The integration of data mining techniques in deductive databases is also presented.

Approccio deduttivo alle basi di dati relazionali

• dal Datalog all'Algebra relazionale
• ricorsione, negazione, startificazione Sintassi e semantica dei linguaggi Datalog
  
• semantica dichiarativa
• semantica di punto fisso Implementazione di linguaggi Datalog
  
• esecuzione bottom-up
• esecuzione top-down
• riscrittura di regole (magic set, counting)
  
• Compilazione e ottimizzazione Updates e ragionamento non monotono
  
• Modelli well-founded
• ragionamento temporale
• stratificazione XY
• updates Applicazioni al Data mining
  
• tecniche principali di data mining (regole associative, clustering, alberi di classificazione)
• integrazione di tecniche di data mining nei data base deduttivi mediante aggregati

• C.Zaniolo, S. Ceri, C. Faloustsos, R. Snodgrass, V.S. Subrahmanian, "R. Zicari, Advanced Database Systems", Morgan Kaufmann, 1997
• Collezione di articoli per l'ultima parte.

Modalità di esame:

Scritto e orale