Database Schemaontwerp: cycli en decompositie. - Naar het ontwerpen van acyclische databaseschema's. - Minimale bedekking van acyclische databaseschema's. - Het elimineren van cycli in databaseschema's. - Een decompositiemethode voor cyclische databases. - Horizontale decompositie voor het afhandelen van uitzonderingen op functionele afhankelijkheden. - Integriteit beperkingen. - Het samenstellen van programma's voor het controleren van beperkingen op basis van formules van de eerste orde. - Toepassingen van eindige differentiëring op database integrity control en query/transaction-optimalisatie. - Een familie van temporele talen voor de beschrijving van overgangsbeperkingen. - Onvolledige informatie. - Niet-monotoon redeneren en databases. - Over algebraïsche queryverwerking in logische databases. - Abstracte gegevenstypen voor formele specificaties en weergaven. - Stapsgewijze opbouw van algebraïsche specificaties. - Eigenschappen van aanzichten en de uitvoering ervan. - Vraag taaltheorie. - Over de onbeslisbaarheid van equivalentieproblemen voor relationele uitdrukkingen. - Naam index. - Lijst van referenten. - Adressen van bijdragende auteurs. Taal: Engels