1. Asirelli, P., Inverardi, P. and Plagenza, G. (1996) Integrity constraints as views in deductive databases. Proc. of the 6th Int. Workshop on Foundations of Models and Languages for Data and Objects: Integrity in Databases, Schloss Dagstuhl, Germany.
2. Bertino, E., Catania, B. and Bressan, S. (1997) Integrity constraint checking in Chimera. Proc. of the 2nd Int. Workshop on Constraints Database Systems, Delphi, Greece, 160–86.
3. Bidoit, N. and De Amo, S. (1994) Contraintes dynamiques d’inclusion et schemas transactionnels. Ingénierie des systèmes d’information, 2 (1), 83–113.
4. Bidoit, N. and De Amo, S. (1995) A first step towards implementing dynamic algebraic dependencies. Proc. of the 5th Int. Conference on Database Theory, Prague, Czech Republic, 308–21.
5. Bry, F., Decker, H. and Manthey, R. (1988) A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. Proc. First Int. Conference on Extending Database Technology, Venice, Italy, 488–505.