semester fk constraint check