Ronald Fagin

Ronald Fagin is an American computer scientist noted for foundational work in database theory, finite model theory, and logic in computer science. He developed seminal results linking logic, complexity, and database dependencies and held research positions at prominent institutions. His work influenced the development of query languages, constraint theory, and the theoretical underpinnings of modern data management.

Early life and education

Fagin was born in Chicago and completed undergraduate and graduate studies at the University of Illinois at Urbana–Champaign. At Illinois he worked under advisors connected to the lineage of Alonzo Church, Kurt Gödel, and Stephen Cole Kleene, and interacted with researchers linked to Noam Chomsky, Richard Hamming, and John Backus. He earned a Ph.D. in computer science, joining a cohort influenced by breakthroughs from Donald Knuth, Edsger W. Dijkstra, Tony Hoare, and contemporaries at institutions like MIT, Stanford University, and Princeton University.

Academic career and positions

Fagin held positions at IBM Research and later at AT&T Bell Laboratories, collaborating with scientists from Bell Labs who had ties to Claude Shannon, John Bardeen, and William Shockley. He was a faculty member at Yale University and spent visiting appointments at research centers associated with Columbia University, Carnegie Mellon University, Rutgers University, and University of California, Berkeley. He served on program committees for conferences such as ACM SIGMOD, PODS, STOC, and FOCS, and engaged with initiatives involving National Science Foundation, DARPA, and international bodies including European Research Council.

Research contributions and theorems

Fagin proved what is now known as Fagin's theorem, characterizing the complexity class NP (complexity) via existential second-order logic, linking results of Stephen Cook, Leonid Levin, and descriptive complexity theory advanced by Neil Immerman and Róbert Szelepcsényi. He produced impossibility and undecidability results for data dependencies that built on work by E. F. Codd, Hugh Darwen, and David Maier. His contributions to the theory of dependencies, embedding theorems, and closure properties influenced research by Alfred Aho, Jeff Ullman, Michael Rabin, and Dana Scott. Fagin introduced and analyzed notions related to locality and preservation theorems connecting to classics by Jerzy Łoś, Łukasiewicz, and Alfred Tarski. His work on probabilistic reasoning and knowledge representation intersected with research from Judea Pearl, Ronald Rivest, and Leslie Valiant. Collaborations and joint papers involved coauthors such as Moshe Y. Vardi, David Maier, Jeffrey Ullman, and Alfred Aho. He contributed to the formal foundations of query languages that influenced SQL, Datalog, and research communities around SIGMOD and VLDB.

Awards and honors

Fagin received recognition including election to the National Academy of Engineering and fellowships from ACM and IEEE; his honors parallel awards granted to peers such as Michael Stonebraker, Jim Gray, and Donald Knuth. He received prizes and keynote invitations at conferences like PODS, ICDT, and IJCAI, similar to laureates such as John McCarthy, Marvin Minsky, and Herbert A. Simon. He was awarded distinctions by industrial research labs including IBM and Bell Labs and held honorary appointments comparable to those held by Leslie Lamport and Barbara Liskov.

Selected publications

- "A Machine Program for Theorem Proving" — early work in automated reasoning related to research from Allen Newell, Herbert A. Simon, and John McCarthy. - "Degrees of acyclicity for hypergraphs and relational database schemes" — influential in schema theory alongside papers by E. F. Codd, David Maier, and Alfred Aho. - "On the Expressive Power of SQL" — connecting to developments in IBM System R, Ingres, and work by Mike Stonebraker. - "Impossibility of Certain Dependency Implication Problems" — related to results by Jeffrey Ullman and David Maier. - "Finite Model Theory and Descriptive Complexity" — foundational synthesis alongside authors like Neil Immerman and Moshe Vardi.

Category:American computer scientists Category:Database researchers Category:Fellows of the Association for Computing Machinery Category:1945 births Category:Living people