Shouldn't Natural JOINs Follow FK Constraints?

[David E. Wheeler <david(at)justatheory(dot)com>]

Howdy,

I just saw this in the docs:

> Finally, NATURAL is a shorthand form of USING: it forms a USING list  
> consisting of exactly those column names that appear in both input  
> tables. As with USING, these columns appear only once in the output  
> table.

That sounds useful if I happen to have named my columns exactly the  
same between the two tables, but couldn't a NATURAL JOIN follow the FK  
constraints, instead? That would be so much more useful and much less  
magical, I should think.

Thanks,

David