Con
PostgreSQL è possibile imporre che i valori della colonna seguente:
tempo TIMESTAMP NOT NULL,
oltre che ad essere non nulli siano anche progressivi?
Tabella:
CREATE TABLE spostamenti (
id SERIAL PRIMARY KEY,
id_utente INT NOT NULL,
CHECK (id_utente > 0),
latitudine DOUBLE PRECISION NOT NULL,
CHECK (latitudine >= -90.0 AND latitudine <= 90.0),
longitudine DOUBLE PRECISION NOT NULL,
CHECK (longitudine >= -180.0 AND longitudine <= 180.0),
tempo TIMESTAMP NOT NULL,
velocita DOUBLE PRECISION,
CHECK (velocita >= 0.0),
FOREIGN KEY (id_utente) REFERENCES utenti (id) ON DELETE CASCADE
);