Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!wns13feed!worldnet.att.net!207.35.177.252!nf3.bellglobal.com!ursa-nb00s0.nbnet.nb.ca!53ab2750!not-for-mail
From: Bob Badour <bbadour@pei.sympatico.ca>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.databases.theory
Subject: Re: Foreign superkey support
References: <eb7ao5$vn3$1@orkan.itea.ntnu.no>
In-Reply-To: <eb7ao5$vn3$1@orkan.itea.ntnu.no>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 19
Message-ID: <u2SBg.36542$pu3.480823@ursa-nb00s0.nbnet.nb.ca>
Date: Tue, 08 Aug 2006 01:47:06 GMT
NNTP-Posting-Host: 142.176.125.208
X-Complaints-To: abuse@aliant.net
X-Trace: ursa-nb00s0.nbnet.nb.ca 1155001626 142.176.125.208 (Mon, 07 Aug 2006 22:47:06 ADT)
NNTP-Posting-Date: Mon, 07 Aug 2006 22:47:06 ADT
Organization: Sympatico-Subscriber
Xref: dp-news.maxwell.syr.edu comp.databases.theory:44057

Jon Heggland wrote:
> Are there any DMBSs apart from Dataphor that support foreign superkeys
> without undue hassle? SQL systems support them in that a superkey may be
> declared UNIQUE, and thus referred to by a foreign key, but I'm looking
> for more explicit support.
> 
> Or more generally, are there any DBMSs that support inclusion
> dependencies (apart from the special case of foreign keys, naturally)
> directly?
> 
> Or for that matter, how widespread is multi-relvar constraint support
> (apart from foreign keys)? As far as I know, neither Oracle nor MSSQL
> support SQL ASSERTIONs. Are there any DMBSs that do?

It occurs to me a superkey reference implies something less than 3rd 
normal form because any attributes over and above the irreducible key 
will be functionally dependent on the foreign key.

Why include them in the referencing relation at all?
