Relational databases have quickly come to be regarded as a natural and efficient way of organizing information. Duplicate data can be eliminated and powerful set-theoretic operations can be used to manipulate data. But finding the right relations for a database is not yet a trivial step for the uninitiated. This book presents a comprehensive logic programming implementation of the relational design methodology. It employs TURBO Prolog to test and establish computational viability of the relevant algorithms. It also presents the expert system prototype of a user interface, designed especially for builders of computerized databases who may have no formal training in database design.