Что это означает, что недетерминированные пользовательские функции могут использоваться детерминированным образом?

BOL фактически указывает:

Следующие функции не всегда являются детерминированными, но могут использоваться в индексированных представлениях или индексах для вычисляемых столбцов, если они определены детерминированным образом.

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

E.g.

CAST — детерминированный, если не используется с datetime, smalldatetime или sql_variant.

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

Например, когда вы создаете таблицу

CREATE TABLE [dbo].[deterministicTest](
    [intDate] [int] NULL,
    [dateDateTime] [datetime] NULL,
    [castIntToDateTime]  AS (CONVERT([datetime],[intDate],0)),
    [castDateTimeToInt]  AS (CONVERT([int],[dateDateTime],0)),
    [castIntToVarchar]  AS (CONVERT([varchar],[intDate],0))
) ON [PRIMARY]

вы можете применить индекс к castIntToVarchar, но если вы попытаетесь добавить индекс к castDateTimeToInt или castIntToDateTime, вы получите следующую ошибку:

Столбец castDateTimeToInt (castIntToDateTime) в таблице dbo.deterministicTest нельзя использовать в индексе или статистике или в качестве ключа секции, поскольку он недетерминирован.

Таким образом, dateTime нельзя использовать ни в качестве исходного, ни в качестве целевого формата функции CONVERT, если вы хотите оставаться детерминированным.

То, что функция является детерминированной, означает, что она всегда гарантированно возвращает одно и то же выходное значение для одних и тех же входных аргументов.

Я предполагаю, что использование недетерминированной функции детерминированным образом означает, что вы гарантируете, что диапазон аргументов, которые вы передадите функции, таков, что возвращаемое значение будет детерминированным, т.е. зависит только от этих аргументов.

Что это означает на практике, зависит от того, что делает функция и в каком смысле она недетерминирована.

Пример:

RAND(1)  // deterministic, always returns the same number

против:

RAND()   // non-deterministic, returns new random number on each call

Обратите внимание, что здесь используется определение слова «детерминированный» в статье MSDN.

Определения BOL должны гласить:

«Детерминированные функции всегда возвращают один и тот же результат в одной и той же строке всякий раз, когда они вызываются с определенным набором входных значений (строкой) и при одном и том же состоянии базы данных.

Другими словами, детерминированные функции всегда возвращают один и тот же результат для любого конкретного фиксированного значения из своего домена (в данном случае домен — это строка).

Недетерминированные функции могут возвращать разные результаты каждый раз, когда они вызываются с определенным набором входных значений (строкой), даже если состояние базы данных, к которому они обращаются, остается прежним.

В этом случае недетерминированные функции

а) Возвращать разные значения при каждом вызове.

б) Зависят от значений вне строки, к которой они применяются.

Примеры группы a): NEWID(), GETDATE(), GETUTDATE(), RAND() без указания начального числа.

Примеры группы b): GET_TRANSMISSION_STATUS(), LAG(), RANK(), DENSE_RANK(), ROW_NUMBER(), NTILE(), SUM(), если они указаны с предложениями OVER и ORDER BY. ”

Обратите внимание, что некоторые авторы используют другое определение детерминированных функций что может привести к путанице.