Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration. - Amitavo Islam; Wesley Phoa (TACS, 1994)