title: further improvements on integrity constraint checking for stratifiable deductive databases. authors: s lee , t ling. venue: vldb. year: 1996
title: integrity constraints in active database system. authors: ap sistla , owt conditions. venue: proceedings of acm sigmod ,. year: nan