スパイダーの装飾と演算

装飾の種類 付与 忘却
leg order structure ordering unordering
leg bipartite structure bi-partitioning fusioning
in-out structure in-out assignment in-out forgetting

割り当てと忘却を使うと:

  • order assignment ←→ order forgetting
  • bi-partition assignment ←→ bi-partition forgetting
  • in-out assignment ←→ in-out forgetting

装飾の割り当て〈付与〉と忘却〈剥奪 | 削除〉以外の演算〈操作〉:

演算 別名
足切り 射影, 周辺化
自己ルーピング トレース
併置 直積, クロスジョイン, テンソル
分断 分割
シャフル 置換, 入れ替え, 換
足の統合 減, 余対角
ジョイン リンク, カット
制限 絞り込み, 内包的記法, 条件付け

制限は、条件で作られる理想テーブル〈仮想テーブル〉と実テーブルとの共通部分。