Hypothetical reasoning with modalities on some integrity constraints | IEEE Conference Publication | IEEE Xplore