Релационна СУБД - структурата на данните удовлетворява релационния модел на данните и позволява да се извършват с тях операции в съответствие с правилата на релационната алгебра (РА)...

While системата (WS) е формален модел, притежаващ минимален функционално пълен набор от предикати и примитиви. Този модел се доближава до интуитивната представа за елементарност на стъпките на алгоритъма, но това го прави в голяма степен неефективен...