Объект исследования: процесс проверки реляционных выражений на корректность. Цель работы - анализ возможных подходов к построению системы автоматизированной проверки работ по реляционной алгебре и разработка прототипа. В процессе работы проводились исследования возможных подходов к проверке реляционных выражений на корректность. В результате разработаны способы повышения качества проверки с использованием существующего подхода - автоматизированного тестирования. Повышение качества обусловлено детальной проработкой тестовых данных и большим количеством тестов. Также разработан новый подход. Качество проверки работ с использованием этого подхода обусловлено применением правил преобразования. Оба подхода применимы для проверки реляционных выражений. Разработанный прототип позволяет сократить время на проверку работ по реляционной алгебре.