A Logical Formalization of Integrity Policies for Database Management Systems.

Frédéric Cuppens Claire Saurel A Logical Formalization of Integrity Policies for Database Management Systems. 231-254 1998 conf/tc11-5/1998 IICIS db/conf/tc11-5/iic1998.html#CuppensS98