Università degli Studi di Bologna
Facoltà di Scienze Matematiche, Fisiche e Naturali

Basi di Dati e Sistemi Informativi

Docente: Prof. Paolo Ciaccia

Programma del corso

Il corso tratta i principali aspetti dei sistemi di gestione di basi di dati, approfondendo aspetti teorici del modello relazionale. Vengono inoltre considerati problematiche relative al trattamento di dati non strutturati, tipiche dei sistemi di Information Retrieval.
Il corso è svolto congiuntamente con quello di Laboratorio di Informatica III

• Sistemi di gestione di basi di dati: funzionalità di base
• Modelli dei dati
  • Modello gerarchico e modello reticolare (cenni)
  • Modello relazionale: forme normali
  • Modello Entity-Relationship
  • Modelli per Information Retrieval
• Linguaggi per basi di dati
  • Algebra relazionale
  • Structured Query Language (SQL)
• Teoria delle dipendenze
  • Chiusura di un insieme di dipendenze
  • Assiomi di Armstrong: correttezza e completezza
  • Decomposizioni di schemi
  • Sintesi di schemi in 3NF
• Ottimizzazione di interrogazioni
  • Caso mono-relazionale
  • Ottimizzazione di interrogazioni SPJ
• Gestione delle transazioni
  • Proprietà ACID
  • Controllo della concorrenza, livelli di isolamento
  • Protezione dai guasti: undo, redo, restart, checkpoint

Testi Adottati

• Ciaccia, Maio: Lezioni di Basi di Dati, Esculapio, 1997
  (errata corrige della prima ristampa)
• Dispense a cura del docente

Bibliografia integrativa

• Albano, Ghelli, Orsini: Basi di Dati relazionali e a oggetti, Zanichelli, 1997
• Atzeni, Ceri, Paraboschi, Torlone: Basi di Dati: concetti, linguaggi e architetture, McGraw-Hill, 1996
• Atzeni, De Antonellis: Relational Database Theory, Benjamin Cummings, 1993
• Bernstein, Hadzilacos, Goodman: Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987
• Gardarin, Valduriez: Relational Databases and Knowledge Bases, Addison-Wesley, 1989
• Gray, Reuter: Transaction Processing: Concepts and Techniques, Morgan Kaufmann, 1993
• Maio, Rizzi: Esercizi di Progettazione di Basi di Dati, Esculapio, 1997
• Ullman: Basi di Dati e Basi di Conoscenza, Jackson, 1992