title: the role of integrity constraints in database interoperation. authors: m vermeer , p apers. venue: vldb. year: 1996
title: knowledge-based integrity constraint validation. authors: x qian , g wiederhold. venue: vldb ,. year: 1986.0