1. Abrao, M.A., Bouchou, B., Halfeld-Ferrari, M., Laurent, D., Musicante, M.A.: Update validation for XML in the presence of schema, key and foreign key constraints. Technical report, Université François Rabelais Blois-Tours-Chinon (2004) (to appear)
2. Arenas, M., Fan, W., Libkin, L.: On verifying consistency of XML specifications. In: ACM Symposium on Principles of Database System (2002)
3. Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated update management for XML integrity constraints. In: Programming Language Technologies for XML, PLANX 2002 (2002)
4. Benedikt, M., Chan, C.-Y., Fan, W., Freire, J., Rastogi, R.: Capturing both types and constraints in data integration. In: SIGMOD, San Diego, CA, ACM Press (ed.) (2003)
5. Lecture Notes in Computer Science;B. Bouchou,2003