ALICE: an assertion language for integrity constraint expression | IEEE Conference Publication | IEEE Xplore