Logic and Databases: The Roots of Relational Theory