Projektowanie schematu bazy danych: cykle i dekompozycja. - W kierunku projektowania acyklicznych schematów baz danych. - Minimalne pokrycie schematów acyklicznych baz danych. - Eliminacja cykli w schematach baz danych. - Metoda dekompozycji cyklicznych baz danych. - Dekompozycja pozioma do obsługi wyjątków od zależności funkcjonalnych. - Ograniczenia integralności. - Kompilowanie programów do sprawdzania ograniczeń na podstawie formuł pierwszego rzędu. - Zastosowania różnic skończonych do kontroli integralności bazy danych i optymalizacji zapytań/transakcji. - Rodzina języków temporalnych do opisu ograniczeń przejścia. - Niekompletne informacje. - Rozumowanie niemonotoniczne i bazy danych. - O algebraicznym przetwarzaniu zapytań w logicznych bazach danych. - Abstrakcyjne typy danych dla formalnych specyfikacji i widoków. - Stopniowa konstrukcja specyfikacji algebraicznych. - Właściwości widoków i ich implementacja. - Teoria języka zapytań. - O nierozstrzygalności problemów równoważności dla wyrażeń relacyjnych. - Indeks nazw. - Lista sędziów. - Adresy autorów współpracujących. Język: angielski