Thread View: alt.pl.matematyka
2 messages
2 total messages
Started by sznury
Wed, 13 Apr 2005 14:52
Domknięcie funkcyjne [bazy danych - teoria ]
Author: 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
Re: Domknięcie funkcyjne [bazy danych - teoria ]
Author: Stachu 'Dozzie' K.
Date: Wed, 13 Apr 2005 17:21
Date: Wed, 13 Apr 2005 17:21
29 lines
1882 bytes
1882 bytes
On 13.04.2005, sznury <marthin@o2.pl> wrote:
> 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
Heh, wiedziałem, że jesteś z Wrocławia (a przynajmniej tu studiujesz).
Po pierwsze, z poprzedniego podpunktu zadania masz, że
cl(X) \subset cl(cl(X)), czyli musisz jeszcze pokazać, że
cl(cl(X)) \subset cl(X).
Zauważ, że (\forall X \in R) ( X -> cl(X) ). W szczególności
cl(X) -> cl(cl(X)). Teraz możesz skorzystać z aksjomatu
o przechodniości. Wybierz sobie teraz dowolny element cl(cl(X)) i pokaż,
że musi się znajdować w cl(X).
Szczegółowego rozwiązania nie podam, bo co to by była za zabawa?
--
Feel free to correct my English
Stanislaw Klekot
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads