Predicate derivation and monotonicity detection in DB2 UDB | IEEE Conference Publication | IEEE Xplore