title: thémis : a database programming language handling integrity constraints. authors: anne doucet , véronique benzaken. venue: vldb j.. year: 1995
title: temporal conditions and integrity constraints in active database systems. authors: a. prasad sistla , ouri wolfson. venue: international conference on management of data. year: 1995