Temporal, bitemporal and irreducible relations for PostgreSQL