title: space optimization in deductive databases. authors: d srivastava , s sudarshan , r ramakrishnan , j naughton. venue: acm trans . database syst .. year: 1995
title: integrity constraints checking in deductive databases. authors: vldb.org. venue: vldb ,. year: 1991.0