Logic-Based Knowledge Discovery in Database