minimal cover algorithm in dbms