Tranzitivní uzávěr relace funkcionálně

• Př.: Mějme schéma relace

• LETADLA(Z, D, ODLET, PŘÍLET)

• Úkol: vyjádřit SPOJE s přestupy

• Řešení: SPOJE* je dána jako NPB rovnice

• SPOJE = LETADLA (LETADLA SPOJE)

• (2=547)1, 6, 3, 8

• Tv.: Každý výraz relační algebry neobsahující rozdíl je aditivní ve všech svých proměnných.

• Pz.:

• nemonotónní výraz může mít NPB,

• je-li ve výrazu rozdíl, nemusí být výraz nemonotónní.