Semantic and syntactic properties of universal relation scheme data bases. - Kent Bryan Laver (1984)