Hallo alle zusammen, kann mir mal jemand erklären warum eine Relation wie vorfahre(Vorfahr, Nachfahr), die ja meiner Meinung nach eine m:n Relation ist, nicht auch eine funktionale(1:m) und auch eine m:1 Relation ist.

Viele Grüße

Guck dir doch mal die Definition im Skript (Prolog Teil2 S. 66) an.
1:m heisst meines Erachtens doch, dass du jedem Nachfahren einen eindeutigen Vorfahren zuordnen kannst. m:1 würde dann heissen, dass du jedem Vorfahren nur einen eindeutigen Nachfahren zuordnen kannst. Macht das Sinn?

Jetzt mit dem eindeutig schon. ich habe mir das immer so vorgestellt, dass m:n aus 1:m und m:1 gebildet wird. Aber so ist es jetzt verständlich.

Danke