Thanks for this example of using referential integrity constraints that reference   superkeys ... just what I was looking for.