Od DRK k relační algebře

• 2. A’ má alespoň jeden operátor a indukční hypotéza platí pro všechny podformule z A’ s méně operátory než A’.

• • A’(u1,...,umA1(u1,...,un) A2(u1,...,up). Pak pro výrazy adom(A)m {u|Ai(u)} existují rel. výrazy Ei. Transformace vede na .
  • Př.: A’(u1,u2,u3,u4) A1(u1,u3,u4) A2(u2,u4)
  • (E1E) [1,4,2,3](E2EE) [3,1,4,2]
  • A’(u1,...,umA1(u1,...,um). Pak pro výraz
  • adom(A)m {u|A1(u)} existuje rel. výraz E1. Transformace vede na -, tj. Em - E1
  • A’(u1,...,um)  um+1A1(u1,...,um, um+1). Pak pro výraz adom(A)m+1 {u|A1(u)} existuje rel. výraz E1. Transformace vede na , tj. E11,2,...,m

• Jestliže A’ A, pak odpověď se nezmění.