Еквівалентність виразів реляційного числення доменів для ненормалізованих відношень та розширеної реляційної алгебри
Введено означення безпечного виразу реляційного числення доменів для ненормалізованих відношень, доведено теореми про еквівалентність виразів числення доменів для ненормалізованих відношень та виразів розширеної реляційної алгебри. Для доведення теорем використано метод математичної індукції.