#jeffrey ullman #databases #automata theory #turing award