A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering