RANDOM は、与えられたシード x を使用して生成されたランダム数 FLOAT BINARY(53) を戻します。 x を省略すると、ランダム数は、シードを与えた 最後の RANDOM 呼び出しのシードに基づくか、シードを与えた RANDOM がこれ までに呼び出されていない場合は、デフォルトの初期シード 1 に基づいて生成されます。
|
0 < x < 2,147,483,646 でなければ ERROR 条件が発生します。
RANDOM によって生成される値は、0 < random(x) < 1 で 0 と 1 の間に 均等に分散します。値は、下記のとおり乗算合同式法を使用して生成されます。
seed(x) = mod(950706376 * seed(x - 1), 2147483647) random(x) = seed(x) / 2147483647
シードは、マルチスレッド化アプリケーションの各スレッド内ではなく、プログラム・レベルで維持されます。