O modelo relacional, que foi o primeiro modelo de banco de dados formal, é embasado na lógica de predicados e na teoria dos conjuntos.