Say we have two types of tools: hammers and wrenches. We have a list of work orders, and we want to track what tool was used for the hammering and what was used for the wrenching. The problem is that ...

I think the logic is too complicated for a CHECK constraint, and I haven't managed to get a user-defined function to work it that context so it may not be possible that way.