Stefano Ceri Georg Gottlob Normalization of Relations and PROLOG. 524-544 1986 29 Commun. ACM 6 db/journals/cacm/cacm29.html#CeriG86 http://doi.acm.org/10.1145/5948.5952 CACMs1/CACM29/P0524.pdf