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...
10 KB (1,179 words) - 07:19, 13 September 2024
(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...
8 KB (885 words) - 10:12, 6 July 2024
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...
5 KB (599 words) - 05:41, 1 April 2024
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...
7 KB (753 words) - 07:21, 11 April 2024
1895 Larry Fagin (1937 – 2017), American poet, editor, publisher, and teacher Lucas Fagin (born 1980), Argentinian composer Ronald Fagin (born 1945)...
678 bytes (122 words) - 16:34, 16 January 2024
DOWD (Rutgers University), RONALD FAGIN (IBM Research Laboratory) AND RICHARD STATMAN (Rutgers University) On a problem of Fagin concerning multivalued dependencies...
8 KB (1,293 words) - 19:40, 28 September 2024
263–276. doi:10.1007/s00145-004-0312-y. MR 2090557. S2CID 3350730. Fagin, Ronald; Lotem, Amnon; Naor, Moni (2003). "Optimal aggregation algorithms for...
30 KB (2,157 words) - 19:10, 11 August 2024
Cocke, Alan Cobham, Edgar F. Codd, Don Coppersmith, Wallace Eckert, Ronald Fagin, Horst Feistel, Jeanne Ferrante, Zvi Galil, Ralph E. Gomory, Jim Gray...
45 KB (4,395 words) - 00:21, 7 October 2024
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...
39 KB (4,997 words) - 06:23, 15 October 2024
Descriptive complexity theory (section Fagin's theorem)
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...
18 KB (2,543 words) - 22:33, 28 July 2024