Gerome Miklau Dan Suciu Modeling Integrity in Data Exchange. 41-54 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3178&spage=41 2004 conf/sdmw/2004 Secure Data Management db/conf/sdmw/sdmw2004.html#MiklauS04