Исследовано современное состояние проблемы обеспечения эффективности функционирования систем управления базами данных (СУБД) с позиции моделей и методов, предназначенных для оптимизации запросов. На основании анализа особенностей процесса проектирования СУБД, основных моделей данных, основных понятий, используемых при оценке сложности алгоритмов, показано, что в этом контексте следует рассматривать именно связку "БД - СУБД". Охарактеризованы основные два типа математических моделей, предназначенных для теоретического анализа эффективности функционирования связки "БД - СУБД" в терминах анализа сложности операций. Во-первых, это модели, конструируемые в терминах формальной теории, построенной на основе синтеза математической логики, теории моделей и прикладной теории алгоритмов. Во-вторых, это модели многомерных связок "БД - СУБД", конструируемые в терминах теории категорий (что, в частности, дает возможность эффективно использовать язык схем). Рассмотрена эволюция методов "оптимизации запросов" (являющихся, по своей сути, эвристическими методами) в контексте развития моделей связок "БД - СУБД".

  Повний текст PDF - 463.095 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"