DF圏 ： ドメインのタプルを対象として、基本ライブラリ関数を射とするデカルトモノイド圏 DR圏 ： ドメインのタプルを対象として、関係を射とする圏 ER圏 ： ドメインと実体の混合タプルを対象として、関係を射とする圏 指標は、 DF指標＝DFスキーマ DR指標…