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. In Sushil Jajodia, William List, Graeme W. McGregor, Leon Strous, editors, Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, Second Working Conference on Integrity and Internal Control in Information Systems: Bridging Business Requirements and Research Results, Warrenton, Virginia, USA, Novembe. Volume 136 of IFIP Conference Proceedings, pages 231-254, Kluwer, 1998.

Abstract

Abstract is missing.