Aggiornamento di dati interdipendenti nei multidatabase: modello formale e metodo di calcolo

I multidatabase sono sistemi composti da un insieme di basi di dati eterogenee ed autonome. Nell`ambito del lavoro svolto in questa tesi ci si concentra su multidatabase con due caratteristiche principali. Da una parte si desidera lasciare il più alto grado di autonomia possibile alle singole basi di dati, per cui non si ammette un`architettura basata su un sistema di controllo centralizzato per la gestione globale del multidatabase. Dall`altra deve essere possibile definire dei vincoli di integrità che stabiliscano delle interdipendenze tra dati di diverse basi di dati. In un multidatabase, un aggiornamento effettuato su di una particolare base di dati, potrebbe causare la violazione dei vincoli di integrità, provocando inconsistenza dei dati del multidatabase. Ci si pone quindi il problema di verificare, a fronte di un aggiornamento in una singola base di dati, quali vincoli di integrità sono violati, nonché di gestire in modo sistematico un`eventuale violazione. Lo scopo di questa tesi è duplice. Da una parte si vuole definire un`architettura distribuita, basata sulla tecnologia ad agenti, per la gestione di un multidatabase. Dall`altra si vuole definire un modello formale per un multidatabase. Tale modello deve permettere: la specifica dei vincoli di integrità tra basi di dati differenti, la definizione della semantica delle operazioni di aggiornamento sulle singole basi di dati e la definizione di un calcolo per la gestione di eventuali inconsistenze. Questo alla luce di un`analisi di quali sono, in pratica, i vincoli di integrità e le tecniche più diffuse per risolvere il problema dell`aggiornamento dei dati in un multidatabase in presenza di interdipendenze.