Logic and Data Bases