Алгоритмы, дискретная математика и пр.'s Journal (original) (raw)

9:20a

Теоркат и оптимизация запросов Еще, можно сказать, с самого начала знакомства с теорией категорий мне показалось, что это - идеальный инструмент для описания запросов к БД и их свойств, а как следствие - и для оптимизации.
Рассматриваю сие в качестве темы для диплома, но меня отталкивает тот факт, что я не могу найти ни одной работы, где бы теоркат использовался в качестве инструмента для оптимизации запросов. Как будто кто-то уже давным-давно доказал, что это невозможно (с чего бы?), и все забили.

Не подкинете ли ссылок на работы по этой теме? Я уже весь изгуглился, нашел много интересного, но все не то. Многие теоркатом описывают саму модель данных, но запросов и оптимизации почему-то нет..