Detecting Logical Bugs of DBMS with Coverage-based Guidance