Аннотация:
Задача логического проектирования реляционной базы данных понимается как задача поиска возможных разложений ее универсального отношения. Для случая, когда каждое утверждение целостности задает схему некоторого разложения универсального отношения, строится система правил вывода новых схем разложений, входящих в замыкание исходного множества схем разложений.