Progettazione di schemi di database: cicli e scomposizione. - Verso la progettazione di schemi di database aciclici. - Coperture minime di schemi di database aciclici. - Eliminazione dei cicli negli schemi di database. - Un metodo di scomposizione per database ciclici. - Decomposizione orizzontale per la gestione delle eccezioni alle dipendenze funzionali. - Vincoli di integrità. - Compilazione di programmi di controllo dei vincoli da formule del primo ordine. - Applicazioni della differenziazione finita al controllo dell'integrità dei database e all'ottimizzazione di query/transazioni. - Una famiglia di linguaggi temporali per la descrizione dei vincoli di transizione. - Informazioni incomplete. - Ragionamento non monotono e basi di dati. - Sull'elaborazione di query algebriche in basi di dati logiche. - Tipi di dati astratti per specifiche formali e visualizzazioni. - Costruzione graduale di specifiche algebriche. - Proprietà delle viste e loro implementazione. - Teoria dei linguaggi di interrogazione. - Sull'indecidibilità dei problemi di equivalenza per le espressioni relazionali. - Indice dei nomi. - Elenco dei referenti. - Indirizzi degli autori che hanno contribuito. Lingua: Inglese