On Covering Attribute Sets by Reducts

For any fixed natural k, there exists a polynomial in time algorithm which for a given decision table Tand given kconditional attributes recognizes if there exist a decision reduct of Tcontaining these kattributes.