A Logic of Type Relations and its Applications to Relational Databases

Wendy MacCaull, Ewa Orlowska. A Logic of Type Relations and its Applications to Relational Databases. Journal of Logic and Computation, 16(6):789-815, 2006. [doi]

Abstract

Abstract is missing.