title: further improvements on integrity constraint checking for stratifiable deductive databases s lee , t ling vldb 1996. authors: nan. venue: nan. year: nan
title: integrity checking in deductive databases. authors: r kowalsky , f sadri , p soper. venue: proc . of the 13th vldb , brighton ,. year: nan