title: effective timestamping in databases. authors: k torp , c jensen , r snodgrass. venue: vldb j.. year: 2000
title: integrity checking in deductive databases. authors: r kowalsky , f sadri , p soper. venue: proc . of the 13th vldb , brighton ,. year: nan