Тезисы

Если ещё 10 лет назад движение нереляционных СУБД подчёркнуто называлось NoSQL и ходило под лозунгом «SQL is kludge», то сейчас мы видим, что на SQL можно «поговорить» практически с любыми источниками данных: двигаясь от SQL-подобных диалектов (вроде HiveQL, AQL, CQL), возникла целая плеяда SQL-on-Hadoop, среди которых есть способный просверлиться в самые невероятные нереляционные структуры Apache Drill, а в конце августа 2017 появился даже KSQL — SQL-движок над поточником Apache Kafka. И гордость российского NoSQL-субдостроения — Tarantool — также оснастился SQL-движком, а в мире IMDG (резидентных гридов данных) уже речь идёт не просто о поддержке SQL, а ведётся соревнование между движками за полноту соответствия стандартам SQL-99.

Цель доклада — разобраться, что же такого в SQL от реляционной специфики, а что в нём — универсальное, позволяющее его использовать для «общения» с любыми данными. В связи с этим разберём идею Мейера о coSQL — двойственности реляционной модели и модели «семейство столбцов», проведём обзор подходов работы на SQL в условиях бессхемности. Предполагается особо обсудить SQL-федераторы (соединяющие данные из разнородных источников) и средства Hadoop-гибридизации в РСУБД (отдельные из которых позволяют «отогнать» выбранные секции данных в HDFS и продолжать приложениям работать как ни в чём не бывало): именно в таких смешанных условиях наиболее отчётливо проявляются новые проблемы с построением планов запросов, и это важный момент как для разработчиков платформ данных, так и для практиков, их эксплуатирующих. Будет представлен ряд примеров из практики, где обеспечение эффективного плана оказалось неразрешимой задачей без кардинальных мер по перемолке всего хранилища. Одним из перспективных путей преодоления трудностей с планированием SQL-запросов над новыми типами источников представляются современные теоретические наработки по универсальной семантике эквивалентности SQL (HoTTSQL), поверхностное представление которых также планируется включить в доклад.

В заключении будет разобран умозрительный пример использования SQL (с некоторыми дополнительными конструкциями, но без процедурных расширений!) в качестве языка программирования общего назначения и языка командной оболочки. Пример, конечно же, абсурдный, но всем коллегам, уверенным, что SQL никогда не станет тьюринг-полным языком, обязательно участие в дискуссии по итогам.