Návrh databázovej schémy: Cykly a rozklad. - Smerom k navrhovaniu acyklických databázových schém. - Minimálne pokrytie acyklických databázových schém. - Odstránenie cyklov v databázových schémach. - Metóda rozkladu pre cyklické databázy. - Horizontálny rozklad na spracovanie výnimiek z funkčných závislostí. - Obmedzenia integrity. - Kompilácia programov na kontrolu obmedzení zo vzorcov prvého rádu. - Aplikácie konečného rozlišovania na kontrolu integrity databázy a optimalizáciu dotazov/transakcií. - Rodina časových jazykov na opis prechodových obmedzení. - Neúplné informácie. - Nemonotónne uvažovanie a databázy. - O spracovaní algebraických dotazov v logických databázach. - Abstraktné dátové typy pre formálne špecifikácie a pohľady. - Postupná konštrukcia algebraických špecifikácií. - Vlastnosti pohľadov a ich implementácia. - Teória dotazovacieho jazyka. - O nerozhodnuteľnosti problémov ekvivalencie pre vzťahové výrazy. - Index mien. - Zoznam rozhodcov. - Adresy prispievajúcich autorov. Jazyk: angličtina