Discovery and application of check constraints in DB2 | IEEE Conference Publication | IEEE Xplore