Deductive and Knowledge Databases