色々と困る

SQL 純粋リレーショナル 檜山
update modification update
? update mutation

ちなみに、modificationは圏論の2-transforだし。

SQL 純粋リレーショナル 檜山
table relation table
relationship - relation

代数/論理的なモデルに関しては

SQL 純粋リレーショナル 檜山
- relational logic -
- relational algebra -
- - table algebra

それと

純粋リレーショナル 束論
join meet
union join

テーブル代数については、後で述べる。