Bogdan Cautis Serge Abiteboul Tova Milo Reasoning about XML Update Constraints. 2006 conf/bda/2006 BDA db/conf/bda/bda2006.html#CautisAM06