МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ПОДДЕРЖКИ ПРОЦЕССА УПРАВЛЕНИЯ СХЕМОЙ РЕЛЯЦИОННОЙ БАЗЫ ДАННЫХ В ЗАДАЧАХ ГОРИЗОНТАЛЬНОГО МАСШТАБИРОВАНИЯ


УДК 004.67
DOI: 10.26102/2310-6018/2019.25.2.006

Д.Д. Громей, Е.В. Лебеденко


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

Ключевые слова: система управления базами данных, оптимизация запросов, параллельная обработка данных, конкурентные запросы.

Полный текст статьи:
GromeyLebedenko_2_19_1.pdf