Quelltext der Seite Ronald Fagin

[[Datei:Fagin.jpg|mini|Ronald Fagin]]
'''Ronald Fagin''' (* [[1. Mai]] [[1945]] in [[Oklahoma City]])<ref>Lebens- und Karrieredaten nach ''American Men and Women of Science'', Thomson Gale 2004</ref> ist ein [[Vereinigte Staaten|US-amerikanischer]] [[Informatiker]].

== Leben ==
Fagin studierte am [[Dartmouth College]] und wurde 1973 an der [[University of California, Berkeley]], bei [[Robert Vaught]] promoviert. Danach ging er in die Forschung zu [[IBM]], zuerst am [[Thomas J. Watson Research Center]] und ab 1975 am [[IBM Almaden Research Center]] in [[San José (Kalifornien)|San José]] ([[Kalifornien]]). Er ist dort in der Gruppe zu Grundlagen der Informatik (''Foundations of Computer Science'').

== Werk ==
1973 bewies er in seiner Dissertation den [[Satz von Fagin]] der [[Deskriptive Komplexitätstheorie|deskriptiven Komplexitätstheorie]] und endlichen [[Modelltheorie]].

Er ist für grundlegende Resultate in der Theorie der [[Datenbank]]en bekannt, zum Beispiel seine weithin akzeptierte Definition der vierten Normalform in der Theorie [[Relationale Datenbank|relationaler Datenbanken]], seine Theorie azyklischer Datenbanksysteme oder Arbeiten über ungenaue (''fuzzy'') Abfragen von Datenbanken (siehe zum Beispiel [[Top-N-Anfrage]]). Er ist einer der Erfinder von ''extendible [[Hashfunktion|Hashing]]''.

Er ist auch für ein grundlegendes wahrscheinlichkeitstheoretisches Resultat zur Logik bekannt. 1976<ref>Fagin ''Probabilities on Finite Models'', Journal of Symbolic Logic, Band 41, 1976, S. 50–58.</ref> bewies er, dass die [[Prädikatenlogik]] über endlichen Strukturen ein 0–1 Gesetz (''zero one law'') erfüllt<ref>Das heißt, mit der Prädikatenlogik gebildete Sätze über eine Menge von Strukturen D gelten für ''fast alle'' oder ''fast keine'' der Strukturen, asymptotisch mit Wahrscheinlichkeit 1 oder 0.</ref>, unabhängig bewiesen von Y. Glebsky und seinen Studenten D. Kogan, M. Liogonki, V. Talanov 1969<ref>Kibernetika, Band 2, 1969, S. 31–42.</ref> in der Sowjetunion. Dies war der erste 0-1-Satz in der Logik.

2012 erhielt Fagin den [[W. Wallace McDowell Award]] und 2004 den ACM SIGMOD Edgar F. Codd Innovation Award<ref>{{Webarchiv|url=http://www.sigmod.org/sigmod-awards/award-people/ronald-fagin |wayback=20110611062640 |text=Codd Award |archiv-bot=2024-04-28 21:23:44 InternetArchiveBot }}</ref>. Er ist [[IBM Fellow]] und Mitglied der IBM Academy of Technology und erhielt acht IBM Outstanding Innovation Awards, den IBM Outstanding Technical Achievement Award, den IBM Corporate Award und zwei IBM-Preise für Patente. 1985 erhielt er den Best Paper Award der International Joint Conference on Artificial Intelligence, 2001 den Best Paper Award des ACM Symposium on Principles of Database Systems und 2010 den Best Paper Award der International Conference on Database Theory. Außerdem ist er [[Institute of Electrical and Electronics Engineers|IEEE]] Fellow, [[Association for Computing Machinery|ACM]] Fellow und Mitglied der [[American Association for the Advancement of Science]]. Er ist Ehrendoktor der [[Universität Paris]]. Für 2014 wurde ihm mit [[Moni Naor]] und [[Amnon Lotem]] der [[Gödel-Preis]] von ACM und EATCS zugesprochen für ihre Arbeit ''Optimal Aggregation Algorithms for Middleware''<ref>J. Comput. Syst. Sci., Band 66, 2003, S. 614–656</ref>, die den ''Treshold Algorithmus'' und ''Instance Optimality'' einführte. Ferner wurde er 2014 in die [[American Academy of Arts and Sciences]] aufgenommen, 2020 in die [[National Academy of Sciences]].

== Schriften ==
* mit J. Y. Halpern, Y. Moses, [[Moshe Y. Vardi]]: ''Reasoning about Knowledge'', MIT Press 1995, 2003.

== Weblinks ==
{{Commonscat}}
* [http://www.almaden.ibm.com/cs/people/fagin/ Homepage]
* {{MathGenealogyProject|id=32725}}

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=1137269294|LCCN=n/94/93177|VIAF=9081102}}

{{SORTIERUNG:Fagin, Ronald}}
[[Kategorie:Informatiker]]
[[Kategorie:Ehrendoktor einer Universität in Frankreich]]
[[Kategorie:IBM Fellow]]
[[Kategorie:IEEE Fellow]]
[[Kategorie:Mitglied der American Academy of Arts and Sciences]]
[[Kategorie:Fellow der American Association for the Advancement of Science]]
[[Kategorie:Mitglied der National Academy of Sciences]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1945]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Fagin, Ronald
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=US-amerikanischer Informatiker
|GEBURTSDATUM=1. Mai 1945
|GEBURTSORT=[[Oklahoma City]]
|STERBEDATUM=
|STERBEORT=
}}