Рональд Фейгин

Материал из Циклопедии
Перейти к: навигация, поиск

Рональд Фейгин

Ronald Fagin
Ronald Fagin, IBM Researcher.jpg
Дата рождения 1945
Место рождения Оклахома-Сити, США













Рональд Фейгин (Роналд Фэгин, Роналд Фагин, Рональд Фагин, англ. Ronald Fagin) — американский математик и компьютерный ученый[1][2].

[править] Биография

Рональд Фейгин родился в 1945 году в Оклахома-сити.

Посещал среднюю школу Северо-Западного класса. Затем получил диплом бакалавра в Дартмутском колледже.

В 1973 году получил степень доктора философии по математике в Калифорнийском университете в Беркли.

С 1973 года работает в IBM.

В 1979 году показал, что любая переменная отношения может быть подвергнута декомпозиции без потерь на эквивалентный набор переменных отношения в 5НФ (Пятая нормальная форма — одна из возможных нормальных форм отношения реляционной базы данных), то есть 5НФ всегда достижима.

В 1981 году предложил Доменно-ключевую нормальную форму (DKNF) — одну из возможных нормальных форм таблицы реляционной базы данных.

В 2014 году Роналд Фэгин, Амнон Лотем и Мони Наор получили премию Гёделя — за алгоритмы оптимальной агрегации для Middleware (связующее программное обеспечение).

[править] Труды

  • Fagin, Ronald, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT press (1995). Paperback edition (2003).
  • Fagin, Ronald. "Generalized first-order spectra and polynomial-time recognizable sets". Complexity of Computation, ed. R. Karp, SIAM-AMS Proceedings, Vol. Vol. 7 (1974):43-73.
  • Fagin, Ronald, Jurg Nievergelt, Nicholas J. Pippenger, and H. Raymond Strong. "Extendible hashing—a fast access method for dynamic files." ACM Transactions on Database Systems (TODS) 4.3 (1979): 315-344.
  • Fagin, Ronald, Amnon Lotem, and Moni Naor. "Optimal aggregation algorithms for middleware." Journal of Computer and System Sciences 66 (2003): 614-656. (Special issue for selected papers from the 2001 ACM Symposium on Principles of Database Systems).
  • Fagin, Ronald, Phokion Kolaitis, Renee J Miller, and Lucian Popa. Data exchange: semantics and query answering, Theoretical Computer Science 336 (2005): 89-124. (Special issue for selected papers from the 2003 International Conference on Database Theory).

[править] Примечания


Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты