与えられたスキーマ:
MACHINE_TYPE { マシンの種類 } MACHINE { machine, machine_type } SORT_PLAN { sort_plan, machine_type } SCHEDULE { day_of_week, machine, sort_plan }
およびビジネス ルール:
ソート計画は、同じ machine_type の任意のマシンに割り当てることができます。
SCHEDULE で、 machineとsort_planによって参照されるタプルが同じmachine_typeを持つように強制するにはどうすればよいですか?
スキーマは、必要に応じて変更できます。