MatBaseにおける存在および非存在制約の強制について

MatBaseは存在と非存在制約を自動生成し、コード化する。