The notation of TPCH7 unified.