Tietokantarakenteen suunnittelu: Syklit ja hajottaminen. - Kohti asyklisten tietokantajärjestelmien suunnittelua. - Asyklisen tietokannan skeemien minimaalinen kattavuus. - Tietokantarakenteiden syklien poistaminen. - Hajotusmenetelmä syklisille tietokannoille. - Horisontaalinen hajottaminen toiminnallisten riippuvuuksien poikkeusten käsittelemiseksi. - Eheyden rajoitukset. - Rajoitusten tarkistusohjelmien kääntäminen ensimmäisen kertaluvun kaavoista. - Rajallisen erottelun sovellukset tietokannan eheyden hallintaan ja kyselyjen/transaktioiden optimointiin. - Ajallisten kielten perhe siirtymärajoitusten kuvaamiseen. - Puutteelliset tiedot. - Ei-monotoninen päättely ja tietokannat. - Algebrallisesta kyselyjen käsittelystä loogisissa tietokannoissa. - Abstraktit tietotyypit muodollisille määrityksille ja näkymille. - Algebrallisten spesifikaatioiden vaiheittainen rakentaminen. - Näkymien ominaisuudet ja niiden toteutus. - Kyselykielen teoria. - Relaatiolausekkeiden ekvivalenssiongelmien ratkaisemattomuudesta. - Nimen hakemisto. - Luettelo erotuomareista. - Osallistuvien kirjoittajien osoitteet. Kieli: englanti