Email Record: Foundations of deductive databases and logic programming /