Efficient algorithms for constructing decision trees with constraints