No modelo relacional formal,