Database Dependency Discovery: A Machine Learning Approach
Logic and Databases: A Deductive Approach