Kent Bryan Laver

1955 – *

• Semantic and syntactic properties of universal relation scheme data bases