В роботі вводиться програмна алгебра, носієм якої виступають функції, визначені на табличних структурах даних - таблицях, записах, елементах записів. Сигнатура алгебри складається з композицій суперпозиції, розгалуження, взяття повного образу. Визначається базовий варіант оператора SELECT мови SQL, і показується його виразність в цій алгебрі, а також будуються функції, що задають деякі операції реляційної алгебри Кодда.