DAX形式语义的官方规范何处可查？现有资料为何缺乏精准定义？

你的核心理解正确性判断 #

你的整体理解方向完全准确，仅需修正几个细节：

• 第4点：CALCULATETABLE并非不返回结果，它会返回在修改后的筛选上下文/数据模型关系下计算出的表；USERELATIONSHIP是临时激活指定关系，作为CALCULATE/CALCULATETABLE的筛选参数生效，本身不单独返回结果。
• 第5点的表述完全正确，这类迭代函数（SUMX/MAXX等）的第二个参数是延迟求值的表达式，会在迭代的每一行上下文环境中计算，这是DAX与纯函数式语言的核心差异之一。
• 第6点的语法糖规则准确，CALCULATE的简单筛选条件（如[column]=99）确实会被解析为对应的FILTER(ALL(...))形式，这是DAX语法简化的设计。

DAX本质是面向分析的声明式语言，仅在语法层面借鉴了函数式语言的形式，但其核心依赖隐式上下文（筛选上下文、行上下文）的机制，完全不符合纯函数式语言的“引用透明”“无副作用”特性，你的这个核心判断是完全正确的。

精准描述DAX语义的公开参考资料 #

目前有几类资料能达到你要求的精度：

• 《DAX权威指南》（英文原名：The Definitive Guide to DAX）
  由DAX领域专家Marco Russo和Alberto Ferrari撰写，书中系统且精准地定义了DAX的核心概念：筛选上下文、行上下文、上下文转换、迭代函数的延迟求值机制等，完全覆盖你提到的所有细节，是目前最权威的DAX语义参考资料。
• 微软官方DAX文档核心概念章节
  官方文档中专门有针对DAX核心语义的结构化讲解，详细定义了上下文切换、筛选器交互、函数求值逻辑等内容，是官方层面的精准说明。
• DAX Patterns核心原理板块
  该板块除了函数参考，还包含对DAX底层语义的深度解析，以实际场景为载体讲解上下文机制、语法糖规则等细节，精度符合你的需求。

内容的提问来源于stack exchange，提问作者dami