Kent Laver

• Semantic and syntactic properties of universal relation scheme data bases