🚀 go-pugleaf

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