決定論的関数と非決定論的関数

適用対象: SQL Server Azure SQL データベースAzure SQL Managed Instance

決定論的関数は、特定の入力値のセットを使用して呼び出され、データベースの同じ状態が与えられるたびに、常に同じ結果を返します。 非決定的関数は、アクセスするデータベースの状態が変わらない場合でも、特定の入力値セットを使用して呼び出されるたびに異なる結果を返す場合があります。 たとえば、AVG 関数は、上記の制限を前提として常に同じ結果を返しますが、現在の datetime 値を返す GETDATE 関数によって返される結果は常に異なります。

関数を呼び出す計算列のインデックスを使用するか、関数を参照するインデックス付きビューを使用して、SQL Server データベース エンジンが関数の結果にインデックスを作成する機能を決定するユーザー定義関数には、いくつかのプロパティがあります。 関数の決定性は、このようなプロパティの 1 つです。 たとえば、ビューが非決定的関数を参照している場合、ビューにクラスター化インデックスを作成することはできません。 関数の決定性など、関数のプロパティの詳細については、「 ユーザー定義関数」を参照してください。

決定論的関数は スキーマ バインドである必要があります。 決定論的関数を SCHEMABINDING 作成するときは、 句を使用します。

この記事では、組み込みのシステム関数の決定性と、拡張ストアド プロシージャの呼び出しが含まれている場合のユーザー定義関数の決定論的プロパティへの影響について説明します。

関数が決定論的かどうかを判断する

関数のオブジェクト プロパティに対してクエリを実行することで、関数が is_deterministic 決定論的かどうかを確認できます。 次の例では、関数 Sales.CalculateSalesTax が決定論的かどうかを判断します。

SELECT OBJECTPROPERTY(OBJECT_ID('Sales.CalculateSalesTax'), 'IsDeterministic');

組み込みの関数の決定性

組み込み関数の決定性に影響を与えることはできません。 各組み込み関数は、SQL Serverによって関数がどのように実装されるかに基づいて決定論的または非決定論的です。 たとえば、クエリで ORDER BY 句を指定しても、そのクエリで使用される関数の決定性は変わりません。

FORMAT を除き、組み込みの文字列関数はすべて決定的関数になります。 これらの関数の一覧については、「 文字列関数 (Transact-SQL)」を参照してください。

文字列関数以外のカテゴリに属する次の組み込み関数は、常に決定的関数になります。

  • ABS
  • ACOS
  • ASIN
  • ATAN
  • ATN2
  • CEILING
  • COALESCE
  • COS
  • COT
  • DATALENGTH
  • [DATEADD]
  • DATEDIFF
  • DAY
  • DEGREES
  • EXP
  • FLOOR
  • ISNULL
  • ISNUMERIC
  • LOG
  • LOG10
  • MONTH
  • NULLIF
  • POWER
  • RADIANS
  • ROUND
  • SIGN
  • SIN
  • SQRT
  • SQUARE
  • TAN
  • YEAR

次の関数は常に決定論的であるとは限りませんが、決定論的な方法で指定されている場合は、計算列のインデックス付きビューまたはインデックスで使用できます。

機能 説明
すべての集計関数 OVER 句と ORDER BY 句で指定されていない限り、すべての集計関数は決定的です。 これらの関数の一覧については、「 集計関数 (Transact-SQL)」を参照してください。
CAST datetimesmalldatetime、または sql_variantと共に使用しない場合は、決定的関数になります。
CONVERT 以下の条件に該当しない場合は決定的関数になります。

ソースの型が sql_variantであること。

変換先の型が sql_variant であり、変換元の型が非決定的であること。

変換元または変換先の型が datetime または smalldatetimeであり、他の変換元または変換先の型が文字列で、非決定的スタイルが指定されていること。 決定的にするには、スタイル パラメーターを定数にする必要があります。 また、スタイルが 20 および 21 以外で 100 以下の場合は非決定的です。 スタイルが 101 以上で、106、107、109、113 以外の場合は決定的です。
CHECKSUM CHECKSUM(*) を除く決定論的。
ISDATE CONVERT 関数と共に使用され、CONVERT スタイル パラメーターが指定されており、スタイルが 0、100、9、または 109 と等しくない場合にのみ決定的関数になります。
RAND RAND は、 seed パラメーターが指定されている場合にのみ決定的です。

構成、カーソル、メタデータ、セキュリティ、およびシステム統計関数はすべて、非決定的関数です。 これらの関数の一覧を表示できます。

他のカテゴリに属する次の組み込み関数は、常に非決定的関数になります。

  • @@CONNECTIONS
  • @@CPU_BUSY
  • @@DBTS
  • @@IDLE
  • @@IO_BUSY
  • @@MAX_CONNECTIONS
  • @@PACKET_ERRORS
  • @@PACK_RECEIVED
  • @@PACK_SENT
  • @@TIMETICKS
  • @@TOTAL_ERRORS
  • @@TOTAL_READ
  • @@TOTAL_WRITE
  • AT TIME ZONE
  • CUME_DIST
  • CURRENT_TIMESTAMP
  • DENSE_RANK
  • FIRST_VALUE
  • FORMAT
  • GETDATE
  • GETUTCDATE
  • GET_TRANSMISSION_STATUS
  • LAG
  • LAST_VALUE
  • LEAD
  • MIN_ACTIVE_ROWVERSION
  • NEWID
  • NEWSEQUENTIALID
  • NEXT VALUE FOR
  • NTILE
  • PARSENAME
  • PERCENTILE_CONT
  • PERCENTILE_DISC
  • PERCENT_RANK
  • RAND
  • RANK
  • ROW_NUMBER
  • TEXTPTR

関数から拡張ストアド プロシージャを呼び出す

拡張ストアド プロシージャはデータベースに副作用を及ぼす可能性があるため、拡張ストアド プロシージャを呼び出す関数は非決定的関数です。 副作用とはデータベースのグローバル状態の変更を指し、たとえば、テーブルの更新や、ファイルやネットワークなどの外部リソースの更新 (ファイルの変更、電子メール メッセージの送信) などが挙げられます。 ユーザー定義関数から拡張ストアド プロシージャを実行するときに、一貫性のある結果セットを返す必要はありません。 データベースに副作用を生み出すユーザー定義関数は推奨されません。

関数内から呼び出されると、拡張ストアド プロシージャは結果セットをクライアントに返すことはできません。 クライアントに結果セットを返すすべてのオープン データ サービス API のリターン コードは、FAIL になります。

拡張ストアド プロシージャは、SQL Serverに接続できます。 ただし、プロシージャは、拡張ストアド プロシージャを呼び出した元の関数と同じトランザクションに参加できません。

バッチまたはストアド プロシージャからの呼び出しと同様に、拡張ストアド プロシージャは、SQL Serverが実行されている Microsoft Windows セキュリティ アカウントのコンテキストで実行されます。 拡張ストアド プロシージャの所有者は、プロシージャを実行する権限を他のユーザーに許可するときに、このセキュリティ コンテキストのアクセス許可を考慮する必要があります。

関連項目