本モジュールは線分、浮動小数点区間を表現するseg
データ型を実装します。
seg
は区間の終端内の不確定性を表すことができ、特に実験計測の表現に有用です。
計測の幾何は数値の連続における点より通常より複雑です。 計測は通常、多少あいまいな制限を持つ連続の部分部分となります。 不確実性と不規則性のため、さらに、タンパク質を安定させる温度範囲など計測される値は本質的に何らかの状態を示す区間となる可能性があるため、計測は区間として現れます。
一般的な見方を使うと、こうしたデータは値の組合せではなく区間としてデータを格納する方が便利なようです。 実際、ほとんどのアプリケーションでより効率的であると判明してさえいます。
一般的な見方をさらに進めると、制限の曖昧さは、伝統的な数値データ型を使用することで情報がある程度損失してしまうことを暗示しています。 これを考えてみましょう。 計測機器で6.50と読み取り、読み取ったデータをデータベースに格納します。 それを取り出す時にどうなるでしょう。 見てみましょう。
test=> select 6.50 :: float8 as "pH"; pH --- 6.5 (1 row)
計測という世界では6.50は6.5と同じではありません。 時としてこれが致命的な違いになる場合があります。 実験者は信頼する桁を書き出し(公開し)ます。 6.50は実際には、6.5というより大きくよりあいまいな区間に含まれるあいまいな区間です。 2つに共通するものは(おそらく)その中央の値だけでしょう。 私達は厳密にこうした異なるデータ項目が同じものとして現れることを好みません。
まとめ? 任意の可変精度を持つ区間の制限を記録できる特別なデータ型を持つことは素晴らしいことでしょう。 各データ要素が独自の精度を記録するという意味での可変です。
以下を見てください。
test=> select '6.25 .. 6.50'::seg as "pH"; pH ------------ 6.25 .. 6.50 (1 row)
区間の外部表現は、1つまたは2つの浮動小数点値を範囲演算子(..
または...
)で結び付けた形になります。
他にも、中央値と正負の偏差として指定することも可能です。
省略可能な確実性指示子(<
、>
、~
)を格納することもできます。
(しかし、確実性指示子はすべての組み込みの演算子で無視されます。)
表 F.27に許される表現についての概要を、表 F.28にいくつか例を示します。
表 F.27では、x
、y
、delta
は浮動小数点数値を表します。
delta
以外のx
とy
の前に確実性指示子を付与することができます。
表F.27 seg
外部表現
| 単一値(幅0の区間) |
| x からy までの区間
|
| x - delta からx + delta までの区間
|
| 下限値x を持つ閉じていない区間
|
.. | 上限値x を持つ閉じていない区間
|
表F.28 有効なSEG
入力の例
5.0 | 幅0のセグメントを作成します(こうすると点になります)。 |
~5.0 | 幅0のセグメントを作成し、データ内に~ を記録します。
~ はseg 型の演算では無視されますが、コメントとして保持されます。
|
<5.0 | 5.0という点を作成します。
< は無視されますが、コメントとして保持されます。
|
>5.0 | 5.0という点を作成します。
> は無視されますが、コメントとして保持されます。
|
5(+-)0.3 | 4.7 .. 5.3 という区間を作成します。
(+-) という記述は保持されないことに注意してください。
|
50 .. | 50以上のすべて |
.. 0 | 0以下のすべて |
1.5e-2 .. 2E-2 | 0.015 .. 0.02 という区間を作成します |
1 ... 2 | 1...2 、1 .. 2 、1..2 と同じです(範囲演算子前後の空白は無視されます)。
|
データソースで...
が広く使用されるため、..
の代わりの綴りとして許可されています。
残念なことにこれにより解析上の曖昧性が生じました。
0...23
の上限が23
なのか0.23
なのかが明確ではありません。
これは、seg
の入力において、少なくとも1つの桁を数値内の小数点の前に書くことを要求することで解決されます。
健全性検査としてseg
は、5 .. 2
のような、下限値が上限値より大きな区間を拒絶します。
内部的にseg
値には32ビット浮動小数点数値の組合せが格納されます。
これは7桁以上の有効桁を持つ数値が切り詰められることを意味します。
有効桁が正確に7桁、または7桁未満の数値は元の精度が保たれます。 つまり、問い合わせが0.00を返す場合、後ろに続く0は書式付けのための見かけのものではないことが確実です。 これは元のデータの精度を反映します。 前にある0の数は精度には影響しません。 0.0067は2有効桁のみを持つものと考えられます。
seg
モジュールにはseg
値用のGiSTインデックス演算子クラスが含まれます。
GiST演算子クラスでサポートされる演算子を表 F.29に示します。
表F.29 Seg GiST演算子
演算子 | 説明 |
---|---|
[a, b] << [c, d] | [a, b]が完全に[c, d]の左側に存在します。 つまり、b <cならば[a, b] << [c, d]は真です。 さもなくば偽です。 |
[a, b] >> [c, d] | [a, b]が完全に [c, d]の右側に存在します。 つまり、a > dならば[a, b] >> [c, d]は真、さもなくば偽です。 |
[a, b] &< [c, d] | 重なるまたは左側。 これは「右側にはみださない」ととらえた方がいいかもしれません。 b <= dならば真です。 |
[a, b] &> [c, d] | 重なるか右側。 これは「左側にはみださない」ととらえた方がいいかもしれません。 a >= cならば真です。 |
[a, b] = [c, d] | 同一。 セグメント[a, b]と [c, d]が同一、つまり、a == bかつc == dです。 |
[a, b] && [c, d] | セグメント[a, b]と[c, d]に重なりがあります。 |
[a, b] @> [c, d] | セグメント[a, b]はセグメント[c, d]を包含します。つまり、a <= cかつb >= dです。 |
[a, b] <@ [c, d] | セグメント[a, b]はセグメント[c, d]に包含されます。つまり、a >= cかつb <= dです。 |
(PostgreSQL 8.2以前では、包含演算子@>
および<@
はそれぞれ@
および~
という名前でした。
以前の名前もまだ利用できますが、廃止予定であり、いずれなくなります。
以前の名前は、コアの幾何データ型で以前従っていた規約と反対であることに注意してください。)
以下の例のように、標準B-tree演算子も提供されます。
演算子 | 説明 |
---|---|
[a, b] < [c, d] | より小さい |
[a, b] > [c, d] | より大きい |
これらの演算子はソート以外の実用的な目的に対して大きな意味を持ちません。 これらの演算子はまず(a)と(c)を比べ、等しければ(b)と(d)を比べます。 論理的にはほとんどの場合優れたソート処理と思えます。 こうした型をORDER BYで使用したい場合に有用です。
使用方法の例はリグレッションテストのsql/seg.sql
を参照してください。
(+-)
を通常の範囲に変換する機構は、境界で有効な桁数を決定するという点で完全に正確ではありません。
例えば以下のように、結果の区間に10の冪乗が含まれる場合、下限値に余計な桁を追加します。
postgres=> select '10(+-)1'::seg as seg; seg --------- 9.0 .. 11 -- should be: 9 .. 11
R-treeインデックスの性能は入力値の初期の順序に大きく依存する可能性があります。
seg
列で入力テーブルをソートすることは非常に役に立つでしょう。
例としてsort-segments.pl
スクリプトを参照してください。
原作者:Gene Selkov, Jr. <selkovjr@mcs.anl.gov>
,
Mathematics and Computer Science Division, Argonne National Laboratory.
GiST (http://gist.cs.berkeley.edu/)の要旨(gist)を説明していただいたJoe Hellerstein博士(http://db.cs.berkeley.edu/jmh/)に感謝します。 また、自分の世界を作成できるようにし、静かに生活できるようにしてもらった、過去から現在までのすべてのPostgres開発者に感謝します。 データベース研究を長年誠実にサポートしてくれたArgonne LabとU.S. Department of Energyにも感謝します。