E. F. Codd and Relational Theory