K-relations

K-relation

データベース関連の用語らしい

2.1 $\mathcal{K}-relations$

(可換)半環 $\mathcal{K}=(\mathbb{K},\oplus ,\otimes ,0,1)$ は集合 $\mathbb{K}$ に2つのバイナリ演算からなる代数的構造.

• i.e: $(\mathbb{K},\oplus ,0)$ は可換モノイド
• i.e: $(\mathbb{K},\otimes ,1)$ は可換モノイド

例

${\mathcal{K}}_{\mathbb{B}}=(\mathbb{B},\vee ,\wedge ,\mathrm{false},\mathrm{true})$ , $\mathbb{B}=\{\mathrm{true},\mathrm{false}\}$

参考文献

• On database query languages for K-relations - ScienceDirect