1. ABITEBOUL, S., and VIANU, V. (1989), ‘A Transaction-Based Approach to Rela- tional Database Specification’, Journal of the ACM
36 (4), 758–789.
2. BRIALES, M., and DE TROYER, O. (1991), Object-Oriented Integrity Enforcement in a Relational Environment, in ‘British National Conference on Databases, BNCOD’91’, Wolverhampton, UK, pp. 38–68.
3. CHUNG, K., RIOS-ZERTUCHE, D., NIXON, B., and MYLOPOULOS, J. (1988), Process Management and Assertion Enforcement for a Semantic Data Model, in ‘Extending Database Technology, EDBT’88’, Springer-Verlag, Lecture Notes in Computer Science, No 303, pp. 469–487.
4. COOPER, R., and QIN, Z. (1992), A graphical Data Modelling Program with Constraint Specification and Management, in ‘British National Conference on Databases, BNCOD’92’, Springer-Verlag, Lecture Notes in Computer Science, No 618, pp. 192–208.
5. CORI’E, P., and PRESENZA, D. (1992), Understanding Data Behavior from its Static Structure, in ‘The 5th International Conference on Putting into Practice Methods and Tools for Information System Design’, Nantes, France, pp. 291–302.