:: The former is logical, the latter physical. The former is
:: implemented by means of the latter. A FK is logical (a
:: constraint), so it needs to be linked to something logical
:: (another constraint), not physical.

So a constraint is just a unique index with some kind of "marker" as well?