Logic and databases : the roots of relational theory - Date, C. J. (Trafford Publishing, 2007)