Interactive relational database design. A logic programming implementation (Q1187708)

The book introduces a relational database design tool, an expert system written in TURBO Prolog. This expert system is designed to assist a non- expert user in developing a database which would satisfy design constraints up to the fourth or fifth normal form. Among the selected algorithm are the Gottlob's algorithm for the projection of functional dependencies, Ullman's algorithm for testing dependency preservation and method to produce the Boyce-Codd normal form. E-R modelling type semantics are employed to handle multivalued and project-join dependencies. The book has 4 introductory chapters concerning database design, methods and models, the relational database model and relational database design methodologies. In addition, in appendix B a typical database design session is given, and in appendix C the TURBO Prolog program listing is presented.