Extensões não-lógicas dos cálculos relacionais