場合によっては、バイナリツリーやフォレスト、または他の代数的タイプのデータ項目のセットを格納する必要があります。それは何らかの方法で行われる可能性があります。また、SQLのみを使用して、このデータに対していくつかの変換（たとえば、バイナリツリーのリバランス）を実行すると便利です。
型とそれらの間の純粋関数を（MLのような言語またはHaskellのような言語で）宣言し、SQLにコンパイルする方法に興味があります。うまくいけば、hedge_unionなどの標準アルゴリズムのコードを再利用できるようになります。存在しますか？たぶん、このコンパイラはすでに実装されているか（ただし、グーグルできません）、SQLなどでコードを抽出できるCoqのライブラリが存在します。