Fixed Function Tableau Hot! Jun 2026
For $\mu$-formulae (least fixed points), an infinite loop indicates failure. The formula must eventually "escape" the recursion. For $\nu$-formulae (greatest fixed points), an infinite loop indicates success, provided the loop satisfies the property (typically guarded by a modal operator).
The in Tableau is a type of Level of Detail (LOD) expression that allows you to calculate values at a specific level of granularity, completely independent of the dimensions currently used in your visualization. While standard calculations in Tableau change their results as you add or remove fields from your chart, a FIXED expression "locks" the calculation to the dimensions you specify. Syntax and Structure fixed function tableau
FIXED LODs are calculated before standard Dimension Filters but after Context Filters. This means if you want a filter to affect your FIXED calculation, you must right-click it and select "Add to Context". For $\mu$-formulae (least fixed points), an infinite loop
as a logical formula: ∀ input ∈ Domain: Output(input) = Expected(input) The in Tableau is a type of Level
The standard rules act identically to classical modal tableaux: