title: temporal conditions and integrity constraints in active database systems. authors: a sistla , o wolfson. venue: sigmod conference. year: 1995
title: integrity constraint and rule maintenance in temporal deductive knowledge bases. authors: d plexousakis. venue: nan. year: nan