Re: Automated Normalization

The article was:

Normalization of relations and PROLOG; S. Ceri and G. Gottlob; Communications of the ACM Vol 29, No. 6 (Jun. 1986), Pages 524 - 544.

The Prolog code in the book is horrible, using assert and retract all over the place ...

You may want to look at a database textbook, e.g., J.D. Ullmans Principles of Database and Knowledge Base Systems Vol. 1, 1988, for the theory behind most of the algorithms implemented in the above article. Original work on the topic can be found in various issues of ACM Transaction on Database Systems (ToDS), e.g. Phil Bernstein's Synthesizing 3rd Normal Form Relations from 1976, a ToDS article bei Bernstein and Beeri in 1979 or 1980, as well as several decomposition algorithms published in 1980/1981 in ToDS by Y.E. Lien, Carlo Zaniolo and others.

H.L.J. Steinschuld schrieb in Nachricht
<8nbuna$8ifp4$1_at_reader4.wxs.nl>...
>End of the eightiies there was an Article in the CACM wich descibes a
 Prolog
>implementation of a rmalization algoritm.
[...] Received on Fri Aug 18 2000 - 22:22:57 CEST