Dotaz na tranzitivní uzávěr (8)

• v i je buď bk=ai, bi =bk +c, bk=bi +c

• provedou se substituce za bk

• výsledky se upraví na TRUE

• nebo FALSE

• nebo bt=bj +g

• a přidají se: bi aj pro s-c  j s, resp.

• bi aj pro 1  j c