-
primes()– 2 から始まる素数を昇順で含む、単一のprimeカラム (UInt64) を持つ無限テーブルを返します。LIMIT(必要に応じてOFFSETも) を使用して行数を制限します。 -
primes(N)– 2 から始まる最初のN個の素数を含む、単一のprimeカラム (UInt64) を持つテーブルを返します。 -
primes(N, M)–N番目の素数 (0 始まり) から始まるM個の素数を含む、単一のprimeカラム (UInt64) を持つテーブルを返します。 -
primes(N, M, S)– 素数のインデックスにおいてステップSで、N番目の素数 (0 始まり) から始まるM個の素数を含む、単一のprimeカラム (UInt64) を持つテーブルを返します。返される素数は、索引N, N + S, N + 2S, ..., N + (M - 1)Sに対応します。Sは>= 1である必要があります。
system.primes システムテーブルに似ています。
次のクエリは同等です:
例
p >= 10^15 を満たし、p を 65537 で割った余りが 1 となる最初の素数 p を見つけてください。
注記
- 最も高速なのは、既定のステップ (
1) を使用する単純な範囲クエリとポイントフィルタクエリです。たとえば、primes(N)やprimes() LIMIT Nです。これらの形式では、最適化された素数ジェネレーターにより、非常に大きな素数も効率よく計算できます。 - 境界のないソース (
primes()/system.primes) では、prime BETWEEN ...、prime IN (...)、prime = ...のような単純な値フィルタを生成中に適用し、探索対象の値の範囲を絞り込めます。たとえば、次のクエリはほぼ瞬時に実行されます。
- この値域最適化は、
WHEREを伴う範囲指定付きの table function (primes(N)、primes(offset, count[, step])) には適用されません。これらのバリアントは素数のインデックスによって有限の table を定義するため、意味論を保つには、その table の生成後にフィルタを評価する必要があるためです。 - 0 以外の offset や 1 より大きい step (
primes(offset, count)/primes(offset, count, step)) を使用すると、内部で追加の素数を生成して読み飛ばす必要が生じることがあるため、遅くなる場合があります。offset や step が不要であれば、省略してください。