Tvrzení o závislostech (2)

• Tv.: Problémy příslušnosti pro obecné závislosti nejsou ekvivalentní pro konečné a nekonečné relace. Oba problémy jsou neřešitelné.

• Tv.: Problémy příslušnosti pro FZ a IZ je neřešitelný.

• Tv.: Nechť  obsahuje pouze FZ a unární IZ. Pak problém příslušnosti pro konečné i nekonečné relace je řešitelný v polynomiálním čase.