SQLx: raw SQL в Rust

Учитывая, что программа компилируется для запуска везде,

Что значит "везде"? Я так понимаю, что подобные программы пишутся под конкретную БД и завязаны на структуру конкретной БД.

Построение плана запроса в рантайме кратно снижает производительность. Из личной практики - в использумом у нас языке есть т.н. "embedded sql" - возможность вставлять в код sql запросы. Не какими-то инстансами, на напрямую:

        exec sql declare curRDMS12Clients cursor for
                 with Holders as
                      (
                        select F0UCUS1,
                               F0UCLC1,
                               F0UCUS2,
                               F0UCLC2
                          from F0UPF F0U
                          join FPKPF FPK  on (FPKSCON, FPKCTP) = (F0U.F0USCON, 'F')
                        where (F0UCUS2 <> F0UCUS1 or F0UCLC2 <> F0UCLC1)
                          and F0UCD >= :$PDate
                          and F0USCID in ('00', '01', '02', '03', '14', '16')
                          and F0USCON like 'P%'
                      ),
                       
                      CheckOwner as
                      (
                        select RDKCUS OWNCUS,
                               RDKCLC OWNCLC,
                               RDKSER OWNSER,
                               RDKNUM OWNNUM,
                               RDKOPN OWNOPN,
                               RDKEDT OWNEDT
                          from RDKPF RDK1
                         where (RDKUCD, RDKSDL, RDKOSN) =
                               ('001', 'Y', 'Y')
                           and RDKEDT < :$PDate
                      ),
                       
                      CheckHolder as
                      (
                        select RDKCUS HLDCUS,
                               RDKCLC HLDCLC,
                               RDKSER HLDSER,
                               RDKNUM HLDNUM,
                               RDKOPN HLDOPN,
                               RDKEDT HLDEDT
                          from RDKPF RDK2
                         where (RDKUCD, RDKSDL, RDKOSN) =
                               ('001', 'Y', 'Y')
                           and RDKEDT <= :$FDate
                           and not exists
                                   (
                                     select SCAN
                                       from SCPF
                                      where (SCAN, SCAI17, SCAI30, SCAI80) =
                                            (RDK2.RDKCUS, 'N', 'N', 'N')
                                        and SCNANC in ('40817', '40820', '42301', '42601')
                                   )
                           and (
                                 (RDK2.RDKEDT >= :$PDate and
                                  not exists
                                      (
                                        select RDKMCUS
                                          from RDKMPF
                                         where (RDKMCUS, RDKMCLC, RDKMSER, RDKMNUM, RDKMUCD, RDKMTP) =
                                               (RDK2.RDKCUS, RDK2.RDKCLC, RDK2.RDKSER, RDK2.RDKNUM, '001', 'I')
                                      )
                                  ) or
                                  (RDK2.RDKEDT < :$PDate and
                                  not exists
                                      (
                                        select RDKMCUS
                                          from RDKMPF
                                         where (RDKMCUS, RDKMCLC, RDKMSER, RDKMNUM, RDKMUCD, RDKMTP) =
                                               (RDK2.RDKCUS, RDK2.RDKCLC, RDK2.RDKSER, RDK2.RDKNUM, '001', 'J')
                                      )
                                  )
                               )
                      )
                  
                 select F0UCUS1,
                        F0UCLC1,
                        F0UCUS2,
                        F0UCLC2,
                        coalesce(HLDSER, ''),
                        coalesce(HLDNUM, ''),
                        coalesce(HLDOPN, 0),
                        coalesce(HLDEDT, 0),
                        coalesce(OWNSER, ''),
                        coalesce(OWNNUM, ''),
                        coalesce(OWNOPN, 0),
                        coalesce(OWNEDT, 0),
                        cast (case
                                when (HLDEDT is not null and HLDEDT >= :$PDate)
                                  then 'Y'
                                else 'N'
                              end as char(1)) FLAGI,
                        cast (case
                                when (HLDEDT is not null and HLDEDT < :$PDate)
                                  then 'Y'
                                else 'N'
                              end as char(1)) FLAGJ,
                        cast (case
                                when OWNEDT is not null
                                  then 'Y'
                                else 'N'
                              end as char(1)) FLAGH
                   from Holders
               left join CheckHolder on (HLDCUS, HLDCLC) = (Holders.F0UCUS2, Holders.F0UCLC2)
               left join CheckOwner  on (OWNCUS, OWNCLC) = (Holders.F0UCUS1, Holders.F0UCLC1)
                   where HLDSER is not null
                      or (OWNSER is not null and
                          not exists
                              (
                                select RDKMCUS
                                  from RDKMPF
                                 where (RDKMCUS, RDKMCLC, RDKMSER, RDKMNUM, RDKMUCD, RDKMTP) =
                                       (Holders.F0UCUS2, Holders.F0UCLC2, CheckOwner.OWNSER, CheckOwner.OWNNUM, '001', 'H')
                              ));

далее

          exec sql open curRDMS12Clients;

и затем

 exec sql fetch curRDMS12Clients for :sqlRows rows into :dsSQLData;

где dsSQLData массив структур

      dcl-ds t_dsSQLData qualified template;
        CUS1 char(6)     inz;
        CLC1 char(6)     inz;
        CUS2 char(6)     inz;
        CLC2 char(6)     inz;
        HSER char(10)    inz;
        HNUM char(35)    inz;
        HOPN zoned(7: 0) inz;
        HEDT zoned(7: 0) inz;
        OSER char(10)    inz;
        ONUM char(35)    inz;
        OOPN zoned(7: 0) inz;
        OEDT zoned(7: 0) inz;
        FLGI char(1)     inz;
        FLGJ char(1)     inz;
        FLGH char(1)     inz;
      end-ds;

      dcl-ds dsSQLData  likeds(t_dsSQLData) dim(sqlRows);

Куда блоками по sqlRows элементов читаются данные в цикле.

Тип zoned в нашем языке соответствует типу numeric в SQL (есть и остальные - packed соответствует decimal, поддерживаются date, time, varchar, timestamp).

Так вот, есть два варианта - "статический", как выше, где план запроса готовится на этапе компиляции и где-то там сохраняется, и "динамический", когда формируем строку запроса в коде, а потом

  exec sql declare SqlStatement1 statement;
  exec sql prepare SqlStatement1 from :sqlTxt1;
  exec sql declare currACY1 cursor for SqlStatement1;

Недавно как раз столкнулся - динамический запрос выполнялся 15 минут, при этом данные начинали поступать только через 13 минут. Аналогичный статический запрос выполнялся 5 минут, данные начали поступать через 5-6 секунд.

Ну или вот сегодняшнее внедрение. Оптимизация sql - там как раз первод с динамики на статику и еще немного шаманства

Последний столбец - время выполнения. Вчера была старая версия, на динамике, сегодня новая, на статике. Разница в три раза.

Это к вопросу о производительности (кстати, процессорных ресурсов оно тоже потребляет меньше).

Что же до типов данных - в языке уж точно найдётся куда эти типы отобразить, всё же это современный ЯП где можно вводить свои типы данных. 

Во что обходится "введение своего типа и отображение в него"? Это ведь тоже не бесплатно.

Одно дело когда у нас в языке есть поддержка нужных типов - достаточно просто прочитать запись в байтовый буфер (структуру) и затем сразу работать с ее полями напрямую, и совсем другое, когда нужно что-то куда-то "отображать" с затратой на это дополнительного времени и ресурсов процессора. И, кстати, numeric и decimal, при внешней схожести, все-таки разные типы данных - в памяти они по разному предстваляются.

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

То что описано выше для RUST есть и в других языках (SQLite для С, для Borland Delphi и C++ Builder были наборы компонент для работы с InterBase/FireBird...) и для небольших БД все это вполне удовлетворительно работало. Но как только речь заходит от терабайтных объемах где в таблице может быть несколько сотен миллионов записей а в выборку запросто может "влететь" несколько десятков миллионов записей и все это один из тысяч одновременно работающих на сервере процессов - тут уже нужно что-то посерьезнее.