SYSTEM/U: A database system based on the universal relation assumptionHenry F. KorthGabriel M. Kuperet al.1984ACM Transactions on Database Systems (TODS)