1. Al-Anzi, F. S. and Spooner, D. L.: 1994, Modeling behavior, a step towards defining functionally correct views of complex objects in concurrent engineering, International Conference on Knowledge Management.
2. Brawner, J., MacKellar, B., Peckham, J. and Vorbach, J.: 1997, Automatic generation of update rules to enforce consistency constraints in design databases, Proceedings of 7th IFIP 2.7 Working Conference on Database Semantics (DS-7).
3. Brawner, J. and Vorbach, J.: 1998, An algorithmic logic approach to formalizing database update semantics, Journal of Applied Non-Classical Logics (to appear).
4. Ceri, S. and Widom, J.: 1991, Deriving production rules for incremental view maintenance, Proceedings of the 17th VLDB Conference, pp. 577–589.
5. Dayal, U. and Bernstein, P. A.: 1978, On the updatability of relational views, Proceedings of the Fourth Very Large Database Conference