Key correlation mining by simultaneous monotone and anti-monotone constraints checking