列のすべての値が一意であることを必要とする整合性制約。