Article View: alt.pl.matematyka
Article #317Domknięcie funkcyjne [bazy danych - teoria ]
From: sznury
Date: Wed, 13 Apr 2005 14:52
Date: Wed, 13 Apr 2005 14:52
11 lines
1268 bytes
1268 bytes
Jest taki problem i głowimy się ja i Darek i może ktoś z was coś pomoże...
Nie bede sie dużo rozpisywał, jak ktoś jest w temacie to zapraszam do
współpracy.
Niech cl(X) = {A \in R : F |- X->A}
POkazać, że cl(cl(X)) = cl(X)
R = zbiór atrybutów
F - rodzina zależności funkcyjnych
Do tego aksjomaty Armstronga
Technical Details
Message-ID:
<d3jbvj$5j8$2@nemesis.news.tpi.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.internetia.pl!newsfeed.tpinternet.pl!nemesis.news.tpi.pl!news.tpi.pl!not-for-mailShow Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.internetia.pl!newsfeed.tpinternet.pl!nemesis.news.tpi.pl!news.tpi.pl!not-for-mail From: sznury <marthin@o2.pl> Newsgroups: alt.pl.matematyka Subject: Domknięcie funkcyjne [bazy danych - teoria ] Date: Wed, 13 Apr 2005 16:52:54 +0200 Organization: tp.internet - http://www.tpi.pl/ Lines: 11 Message-ID: <d3jbvj$5j8$2@nemesis.news.tpi.pl> NNTP-Posting-Host: avv116.neoplus.adsl.tpnet.pl Mime-Version: 1.0 X-Trace: nemesis.news.tpi.pl 1113404212 5736 83.27.55.116 (13 Apr 2005 14:56:52 GMT) X-Complaints-To: usenet@tpi.pl NNTP-Posting-Date: Wed, 13 Apr 2005 14:56:52 +0000 (UTC) User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: pl, en-us, en X-Enigmail-Version: 0.90.2.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit