Рэймонд Бойс

Рэймонд Бойс (англ. Raymond Boyce; 23 июля 1921 — 30 июля 1974) — американский учёный в области информатики и лингвистики, один из пионеров теории реляционных баз данных. Наиболее известен как соавтор нормальной формы Бойса — Кодда (BCNF), одного из фундаментальных понятий нормализации баз данных, и как один из разработчиков языка SEQUEL (предшественника SQL). Его вклад в теорию реляционных моделей данных оказал значительное влияние на развитие систем управления базами данных (СУБД).

Биография

Ранние годы и образование

Рэймонд Ф. Бойс родился 23 июля 1921 года в Нью-Йорке. О его ранних годах известно немного. Он получил степень бакалавра в области математики в Колумбийском университете, а затем степень магистра по математике в том же университете. В 1952 году он получил степень доктора философии (Ph.D.) по математике в Университете Пенсильвании, защитив диссертацию на тему, связанную с теорией чисел. Впоследствии его интересы сместились в сторону лингвистики и информатики.

Карьера в IBM

В 1960-х годах Бойс начал работать в исследовательской лаборатории IBM в Йорктаун-Хайтс, Нью-Йорк. В IBM он занимался проблемами автоматической обработки естественного языка и создания систем управления данными. В 1970 году он присоединился к группе, занимавшейся разработкой реляционной модели данных под руководством Эдгара Ф. Кодда.

В 1972 году совместно с Коддом Бойс опубликовал работу «A Relational Model of Data for Large Shared Data Banks» (часть II), в которой впервые была предложена и формально определена нормальная форма Бойса — Кодда (BCNF). Эта работа стала важным шагом в развитии теории нормализации, так как BCNF устраняла некоторые аномалии, которые не могли быть обработаны более ранними нормальными формами (например, третьей нормальной формой). Бойс также внёс вклад в разработку языка SEQUEL (Structured English Query Language), который впоследствии лёг в основу SQL.

Поздние годы и смерть

После ухода из IBM в 1973 году Бойс работал в компании «Applied Data Research» (ADR), где занимался разработкой коммерческих систем управления базами данных. Он скончался 30 июля 1974 года в возрасте 53 лет от осложнений, связанных с диабетом. Его вклад в теорию реляционных баз данных был признан посмертно.

Научный вклад

Нормальная форма Бойса — Кодда (BCNF)

Нормальная форма Бойса — Кодда (BCNF) является одной из ключевых концепций в теории нормализации реляционных баз данных. Она была разработана как уточнение третьей нормальной формы (3NF) для устранения определённых типов аномалий, связанных с функциональными зависимостями.

Определение: Отношение (таблица) находится в BCNF тогда и только тогда, когда для каждой нетривиальной функциональной зависимости X → Y (где X — множество атрибутов, Y — атрибут) X является суперключом отношения. Иными словами, все детерминанты (левые части функциональных зависимостей) должны быть ключами.

Значение: BCNF гарантирует, что в таблице отсутствуют избыточности, связанные с неключевыми атрибутами, которые зависят от части ключа или от других неключевых атрибутов. Это позволяет избежать аномалий вставки, обновления и удаления данных. Например, если в таблице хранятся данные о преподавателях и их курсах, BCNF предотвращает ситуацию, когда один преподаватель может быть связан с курсом, который он не ведёт, или когда изменение названия курса требует обновления множества строк.

Отличие от 3NF: В отличие от 3NF, BCNF требует, чтобы все функциональные зависимости имели в качестве детерминанта суперключ, а не только ключ. Это делает BCNF более строгой формой, которая исключает некоторые случаи, когда 3NF допускает избыточность.

Язык SEQUEL

Бойс был одним из разработчиков языка SEQUEL (Structured English Query Language), который был создан в IBM в начале 1970-х годов. SEQUEL предназначался для работы с реляционными базами данных и был ориентирован на удобство использования для непрограммистов. Впоследствии он был переименован в SQL (Structured Query Language) и стал стандартом для реляционных СУБД. Бойс внёс вклад в разработку синтаксиса и семантики языка, в частности, в конструкции для выборки данных (SELECT), фильтрации (WHERE) и объединения таблиц (JOIN).

Другие работы

Помимо работ в области баз данных, Бойс занимался исследованиями в области автоматической обработки естественного языка. Он разрабатывал алгоритмы для синтаксического анализа и перевода текстов, а также участвовал в проектах по созданию систем машинного перевода. Его работы в этой области, хотя и менее известны, также оказали влияние на развитие компьютерной лингвистики.

Влияние и наследие

Влияние на теорию баз данных

Вклад Рэймонда Бойса в теорию реляционных баз данных является фундаментальным. Нормальная форма Бойса — Кодда (BCNF) является обязательным этапом в проектировании нормализованных баз данных. Она используется в учебных курсах по базам данных и в практической разработке СУБД. Многие современные системы управления базами данных, такие как MySQL, PostgreSQL, Oracle, и Microsoft SQL Server, поддерживают концепции, лежащие в основе BCNF, хотя и не всегда строго её реализуют.

Признание

Хотя Бойс не получил широкого признания при жизни, его работы были оценены посмертно. В 2019 году он был включён в Зал славы ACM SIGMOD (Special Interest Group on Management of Data) за вклад в развитие реляционных баз данных. Его имя часто упоминается в учебниках по базам данных наряду с именами Эдгара Кодда, Кристофера Дейта и других пионеров.

Критика и ограничения

Несмотря на важность BCNF, она не является универсальным решением для всех проблем нормализации. BCNF может приводить к потере некоторых функциональных зависимостей, которые могут быть важны для целостности данных. В таких случаях может быть предпочтительнее использовать третью нормальную форму (3NF) или другие формы нормализации, такие как четвёртая нормальная форма (4NF) или пятая нормальная форма (5NF). Кроме того, строгая нормализация до BCNF может приводить к увеличению количества таблиц и усложнению запросов, что в некоторых случаях может снижать производительность.

Интересные факты

• Бойс был известен своим педантичным подходом к математической точности в определении реляционных моделей.
• Его работа над SEQUEL была частью проекта System R, который стал прототипом первой реляционной СУБД.
• Несмотря на то, что Бойс умер молодым, его вклад в информатику продолжает влиять на разработку баз данных спустя десятилетия.
• В честь Бойса названа одна из нормальных форм, что является редким признанием для учёного в области информатики.

Источники

• Codd, E. F. (1970). A Relational Model of Data for Large Shared Data Banks. Communications of the ACM, 13(6), 377-387.
• Boyce, R. F., & Codd, E. F. (1972). A Relational Model of Data for Large Shared Data Banks (Part II). Proceedings of the 1972 ACM SIGFIDET Workshop on Data Description, Access and Control.
• Date, C. J. (2003). An Introduction to Database Systems (8th ed.). Addison-Wesley.
• Elmasri, R., & Navathe, S. B. (2016). Fundamentals of Database Systems (7th ed.). Pearson.
• Chamberlin, D. D., & Boyce, R. F. (1974). SEQUEL: A Structured English Query Language. Proceedings of the 1974 ACM SIGFIDET Workshop on Data Description, Access and Control.
• ACM SIGMOD. (2019). SIGMOD Awards.