リレーショナルデータベースを使用した代数データ型のモデリング

Question

OCaml/F＃/ SML/Haskellにアプリケーションを作成し、リレーショナルデータベースにデータを保持したいとします。製品タイプ（レコードとタプル）をリレーションにマップするのは簡単ですが、バリアントタイプをリレーションシップにどのようにマップしますか？

具体的には、次のような型をリレーショナルデータベースにどのように保持しますか？

(* OCaml *) 
type t = 
    | Foo 
    | Bar of string 
    | Baz of int * int * int 

Answer 1

私は面倒ですが、私は合計で各製品のテーブルを作成します。あなたも厳しいあなたをしている場合

CREATE TABLE foo (id uuid PRIMARY KEY REFERENCES envelope); 

CREATE TABLE bar (id uuid PRIMARY KEY REFERENCES envelope, 
        s text NOT NULL); 

CREATE TABLE baz (id uuid PRIMARY KEY REFERENCES envelope, 
        a integer NOT NULL, 
        b integer NOT NULL, 
        c integer NOT NULL); 

そして：

CREATE TABLE foo (id uuid PRIMARY KEY); 

CREATE TABLE bar (id uuid PRIMARY KEY, 
        s text NOT NULL); 

CREATE TABLE baz (id uuid PRIMARY KEY, 
        a integer NOT NULL, 
        b integer NOT NULL, 
        c integer NOT NULL); 

はおそらく、各タイプのレコードと一緒にいくつかのメタデータを格納したい：

CREATE TABLE envelope (id uuid PRIMARY KEY, 
         t timestamptz NOT NULL DEFAULT now(), 
         by text NOT NULL DEFAULT sessions_user); 

そして、これは外部キー制約を示唆します の型の名前を持つty列を格納し、これを使用して複合外部キーを構築することができます。 （LedgerSMBブログで"Where Not to Use Table Inheritance"として記載されている ）