IO (3)

• Klasifikace závislostí:

• typované (1 proměnná není ve více sloupcích)

• plné, vnořené

• generující řádky, generující rovnosti

• funkční

• inkluzní (obecně jsou vnořené, netypované)

• šablonové (q=1, B je pozitivní literál)

• ...