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.