Программирование м: практический курс — купить, читать онлайн. «Юрайт»

Образец PBIX — демо дизайна запроса.pbix

Пример проекта PBIX, который показывает, как писать и структурировать запросы в расширенном сценарии.

Образец PBIT — состав команды НФЛ.pbit

Эти файлы шаблонов Power BI Desktop позволяют выбрать команду НФЛ, а затем импортировать данные об игроках этой команды из списка на их общедоступном веб-сайте.

Система типа Power Query M — PowerQuery M

• Статья
• 09.
  08.2022
• 8 минут на чтение

Язык формул Power Query M — это полезный и выразительный язык гибридных данных. Но у него есть некоторые ограничения. Например, нет строгого соблюдения системы типов. В некоторых случаях требуется более строгая проверка. К счастью, M предоставляет встроенную библиотеку с поддержкой типов, позволяющую сделать возможной более строгую проверку.

Разработчики должны иметь полное представление о системе типов, чтобы делать это с любой универсальностью. И хотя спецификация языка Power Query M хорошо объясняет систему типов, она оставляет несколько сюрпризов. Например, для проверки экземпляров функций требуется способ сравнения типов на совместимость.

При более тщательном изучении системы типа М многие из этих вопросов могут быть прояснены, а разработчики получат возможность создавать необходимые им решения.

Знание исчисления предикатов и наивной теории множеств должно быть достаточным для понимания используемых обозначений.

ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ

(1) B := { true ; false }
B — типичный набор логических значений

(2) N := { допустимые идентификаторы M }
N — набор всех допустимых имен в M. Это определено в другом месте.

(3) P := ⟨ B , T ⟩
P — набор параметров функции. Каждый из них, возможно, является необязательным и имеет тип. Имена параметров не имеют значения.

(4) P ^N : = ⋃ _0≤IN ⟨ I , P ^I ⟩ ^{P IS}

. последовательности из n параметров функции.

(5) P ^* := ⋃ _0≤i≤∞ P ⁱ
P ^* — набор всех возможных последовательностей параметров функций, начиная с длины 0 и выше.

(6) F := ⟨ B , N , T ⟩
F множество всех полей записи. Каждое поле, возможно, является необязательным, имеет имя и тип.

(7) F ^N : = ∏ _0≤i≤n F
F ^N – это сет.

(8) F ^* := ( ⋃ _0≤i≤∞ F ^{i { 07 F ) ⟨ b ₁ , n ​​ ₁ , t ₁ ⟩, ⟨ b ₂ , n ​​ ₂ , t ₂ ⟩ ∈ F ⋀ n ​​ ₁ = n ​​ ₂ }
F * — множество всех наборов (любой длины) полей записи, за исключением наборов, в которых несколько полей имеют одинаковое имя.}

(9) C := ⟨ N , T ⟩
C — набор типов столбцов для таблиц. Каждый столбец имеет имя и тип.

(10) C ^N ⊂ ⋃ _0≤i≤n ⟨ I , C ⟩
C ^{, C ⟩
C , C ⟩
C , C . типы.}

(11) C ^* := ( ⋃ _0≤i≤∞ C ⁱ ) ∖ { C ^м | ⟨ a , ⟨ n ​​ ₁ , t ₁ ⟩⟩, ⟨ b , ⟨ n ​​ ₂ , t ₂ ⟩⟩ ∈ C ^m ⋀ n ​​ ₁ = n ​​ ₂ }
C ^* — множество всех комбинаций (любой длины) типов столбцов, за исключением тех, где несколько столбцов имеют одно и то же имя.

M Типы

(12) T _F : = ⟨ P , P ^* ⟩
Тип функции. или более параметров функции.

(13) T _L :=〖 T 〗
Тип списка обозначается заданным типом (называемым «типом элемента»), заключенным в фигурные скобки. Поскольку в метаязыке используются фигурные скобки, 〖 〗 В этом документе используются скобки .

(14) T _R := ⟨ B , F ^* ⟩ ^* ⟩
A поля записи.

(15) T _R ^o := ⟨ true , F ⟩

(16) T _R ^• := ⟨ false , F ⟩
T _R ^o и T _R ^• являются сокращенными обозначениями для открытых и закрытых типов записей соответственно.

(17) T _T := C ^*
Тип таблицы — это упорядоченная последовательность нулевого или более типов столбцов, где нет конфликтов имен.

(18) T _P := { любой; никто; нулевой; логический; число; время; дата; дата-время; дата и время; продолжительность; текст; двоичный; тип; список; записывать; стол; функция; любой ненулевой }
Примитивный тип является одним из этого списка M ключевых слов.

(19) T _N := { t _n , u ∈ T | t _n = u+null } = nullable t
Любой тип может быть дополнительно помечен как допускающий значение NULL с помощью ключевого слова “nullable” .

(20) T := T _F ∪ T _L ∪ T _R ∪ T _T ∪ T _P ∪ T _N
Набор всех типов – это союз из этих шести сетов:
. Типы записей, типы таблиц, примитивные типы и типы, допускающие значение NULL.

ФУНКЦИИ

Необходимо определить одну функцию: NonNullable : T ← T
Эта функция принимает тип и возвращает эквивалентный тип, за исключением того, что он не соответствует нулевому значению.

ИДЕНТИФИКАЦИИ

Некоторые идентичности необходимы для определения некоторых особых случаев, а также могут помочь прояснить вышеизложенное.

(21) nullable any = any
(22) nullable anynonnull = any
(23) nullable null = null
(24) nullable none = null
(25) nullable nullable t ∈ T = nullable t
(26) NonNullable (nullable t ∈ T ) = NonNullable ( t ) (27) Необнуляемый (любой) = anynonnull

СОВМЕСТИМОСТЬ ТИПОВ

Как определено в другом месте, М-тип совместим с другим М-типом тогда и только тогда, когда все значения, соответствующие первому типу, также соответствуют второму типу.

Здесь определяется отношение совместимости, которое не зависит от соответствующих значений и основано на свойствах самих типов. Предполагается, что это отношение, как определено в этом документе, полностью эквивалентно исходному семантическому определению.

Отношение «совместимо с» : ≤ : B ← T × T
В приведенном ниже разделе строчные буквы t всегда будут представлять M-тип, элемент T .

A Φ будет представлять подмножество F ^* или C ^* .

(28) t ≤ t
Это отношение рефлексивно.

(29) т _а ≤ T _B ∧ T _B ≤ T _C → T _A ≤ T _C
74.

(30) нет ≤ t ≤ любой
M типов образуют решетку над этим отношением; none — нижняя, any — верхняя.

(31) t _a , t _b ∈ T _N ∧ T _A ≤ T _A → NONLULABLE ( T _A ) ≤ НЕВЕСТНЫЙ ( T _B