Ronald Fagin (born 1945) is an American mathematician and computer scientist, and IBM Fellow at the IBM Almaden Research Center. He is known for his work...

(4NF) is a normal form used in database normalization. Introduced by Ronald Fagin in 1977, 4NF is the next level of normalization after Boyce–Codd normal...

second-order logic is precisely the complexity class NP. It was proven by Ronald Fagin in 1973 in his doctoral thesis, and appears in his 1974 paper. The arity...

theory. The first main result of descriptive complexity was Fagin's theorem, shown by Ronald Fagin in 1974. It established that NP is precisely the set of...

1895 Larry Fagin (1937 – 2017), American poet, editor, publisher, and teacher Lucas Fagin (born 1980), Argentinian composer Ronald Fagin (born 1945)...

Z is a superkey for R. The fifth normal form was first described by Ronald Fagin in his 1979 conference paper Normal forms and relational database operators...

(born Ronald Moodnick; 8 January 1924 – 11 June 2015) was an English actor, composer, singer and writer. He was best known for his portrayal of Fagin in...

Cocke, Alan Cobham, Edgar F. Codd, Don Coppersmith, Wallace Eckert, Ronald Fagin, Horst Feistel, Jeanne Ferrante, Zvi Galil, Ralph E. Gomory, Jim Gray...

Szolovits; What Is a Knowledge Representation? AI Magazine, 14(1):17-33,1993 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi Reasoning About Knowledge...

263–276. doi:10.1007/s00145-004-0312-y. MR 2090557. S2CID 3350730. Fagin, Ronald; Lotem, Amnon; Naor, Moni (2003). "Optimal aggregation algorithms for...