結果 : domain integrity constraints example