title: integrating reliable memory in databases. authors: w ng , p chen. venue: vldb. year: 1997
title: integrity checking in deductive databases. authors: r kowalsky , f sadri , p soper. venue: proc . of the 13th vldb , brighton ,. year: nan