Cтраница 1
Современная прикладная алгебра имеет корни в ( чистой) современной алгебре и в символической логике. Последняя, в свою очередь, возникла из интроспективной психологии. [1]
Таким образом, она использует обратную связь с внешним миром как критерий правильности и источник новых идей; она не довольствуется одной интроспекцией и внутренней логической непротиворечивостью. Кроме того, если чистая математика прежде всего занимается дедукциями, естественно вытекающими из двух основных понятий: множества и функции, то современная прикладная алгебра опирается на три основных понятия: множества, функции и вычислимости. [2]
При этом достигается высокая степень взаимной независимости прикладных программ и БД, и модель данных максимально приближена к языку пользователя. Значительные преимущества реляционного подхода связаны с представлением БД в виде совокупности отношений. Такое представление, являясь простым и естественным, дает возможность применить аппарат современной прикладной алгебры и математической логики к задачам проектирования БД и построению простых средств общения пользователей-непрограммистов с БД. [3]