From Checking Integrity Constraints to Temporal Abstraction for Clinical Databases | IEEE Conference Publication | IEEE Xplore