Ekvivalence relačních jazyků

• 2. indukcí podle počtu operátorů 

• Pro operátorů - triviální

• E()E() a E obsahuje nejvýše selekce, které jsou jednoduché. Pak 

• E()E() a E obsahuje nejvýše selekce, které jsou jednoduché. Pak E() E(E(

• Př.: ER((A1A3 A2 A3) ) )

• pak  A2 (A1A3  A2A3)

• a E‘R(A1A2)R(A1A3 ) (A2 A3)