Re: Constraints and Functional Dependencies



mAsterdam wrote:
paul c wrote:
...
I think nothing at all should be read into the names.

I think that is an overly structuralist point of view.
...

In that case overly structualist means logical and merely structuralist presumably falls short of being logical. I fail to see how an implementation can read anything into the names other than their position in a structure, eg., in some syntax. An implementation presumably expresses the logical theory in play. In Codd's case the theory is FOL plus his extensions, neither of which attach import to choice of names.

p
.