関係代数 - mrsekut-p

関係代数

relational algebra, RA

relational modelにおいて、集合論と一階述語論理に基づいて関係として表現出されたデータを扱う

らしい

関連

ブール代数

HRRは関係代数をベースにしてるらしい

プログラミングとの関連

Semigroupoidを調べてたら出てきた

https://link.springer.com/chapter/10.1007/11828563_16

https://www.researchgate.net/publication/324817101_Relation_Algebra_as_Programming_Language_using_the_Ampersand_Compiler

https://github.com/AmpersandTarski/Ampersand

http://ampersandtarski.github.io/

https://ja.wikipedia.org/wiki/関係代数_(関係モデル)

https://en.wikipedia.org/wiki/Relation_algebra