A general procedure to check conjunctive query containment