title: space optimization in deductive databases. authors: d srivastava , s sudarshan , r ramakrishnan , j naughton. venue: acm trans . database syst .. year: 1995
title: integrity checking in deductive databases. authors: a oliv. venue: proceedings of the seventeenth vldb. year: nan