Jak najít první volné časy zahájení z rezervací v Postgres

Upravené schéma

CREATE EXTENSION btree_gist;
CREATE TYPE timerange AS RANGE (subtype = time);  -- create type once

-- Workers
CREATE TABLE worker(
   worker_id serial PRIMARY KEY
 , worker text NOT NULL
);
INSERT INTO worker(worker) VALUES ('JOHN'), ('MARY');

-- Holidays
CREATE TABLE pyha(pyha date PRIMARY KEY);

-- Reservations
CREATE TABLE reservat (
   reservat_id serial PRIMARY KEY
 , worker_id   int NOT NULL REFERENCES worker ON UPDATE CASCADE
 , day         date NOT NULL CHECK (EXTRACT('isodow' FROM day) < 7)
 , work_from   time NOT NULL -- including lower bound
 , work_to     time NOT NULL -- excluding upper bound
 , CHECK (work_from >= '10:00' AND work_to <= '21:00'
      AND work_to - work_from BETWEEN interval '15 min' AND interval '4 h'
      AND EXTRACT('minute' FROM work_from) IN (0, 15, 30, 45)
      AND EXTRACT('minute' FROM work_from) IN (0, 15, 30, 45)
    )
 , EXCLUDE USING gist (worker_id WITH =, day WITH =
                     , timerange(work_from, work_to) WITH &&)
);
INSERT INTO reservat (worker_id, day, work_from, work_to) VALUES 
   (1, '2014-10-28', '10:00', '11:30')  -- JOHN
 , (2, '2014-10-28', '11:30', '13:00'); -- MARY

-- Trigger for volatile checks
CREATE OR REPLACE FUNCTION holiday_check()
  RETURNS trigger AS
$func$
BEGIN
   IF EXISTS (SELECT 1 FROM pyha WHERE pyha = NEW.day) THEN
      RAISE EXCEPTION 'public holiday: %', NEW.day;
   ELSIF NEW.day < now()::date OR NEW.day > now()::date + 31 THEN
      RAISE EXCEPTION 'day out of range: %', NEW.day;
   END IF;

   RETURN NEW;
END
$func$ LANGUAGE plpgsql STABLE; -- can be "STABLE"

CREATE TRIGGER insupbef_holiday_check
BEFORE INSERT OR UPDATE ON reservat
FOR EACH ROW EXECUTE PROCEDURE holiday_check();

Hlavní body

• Nepoužívejte char(n) . Spíše varchar(n) , nebo ještě lépe varchar nebo jen text .

  • Nějaké nevýhody používání datového typu "text" pro ukládání řetězců?

• Jako primární klíč nepoužívejte jméno pracovníka. Není nutně jedinečný a může se změnit. Místo toho použijte náhradní primární klíč, nejlépe serial . Také provádí záznamy v reservat menší, indexy menší, dotazy rychleji, ...

• Aktualizace: Pro levnější úložiště (8 bajtů místo 22) a jednodušší manipulaci ukládám začátek a konec jako time nyní a za běhu vytvořte rozsah pro omezení vyloučení:

  EXCLUDE USING gist (worker_id WITH =, day WITH =
                    , timerange(work_from, work_to) WITH &&)
  

• Protože vaše rozsahy nikdy nemohou překročit hranici data podle definice by bylo efektivnější mít samostatné date sloupec (day v mé implementaci) a časové rozmezí . Typ timerange není dodáván ve výchozích instalacích, ale lze jej snadno vytvořit. Tímto způsobem můžete značně zjednodušit svá kontrolní omezení.

• Použít EXTRACT('isodow', ...) pro zjednodušení s výjimkou nedělí

• Předpokládám, že chcete povolit horní hranice '21:00'.

• Předpokládá se, že hranice zahrnují spodní hranici a vylučují horní hranici.

• Kontrola, zda nové/aktualizované dny leží do měsíce od „nyní“, není IMMUTABLE . Přesunuto z CHECK omezení na spoušť - jinak byste mohli narazit na problémy s výpisem / obnovením! Podrobnosti:

  • Při obnově výpisu deaktivujte všechna omezení a kontroly tabulek

Strana
Kromě zjednodušení vstupních a kontrolních omezení jsem očekával timerange ušetříte 8 bajtů úložiště ve srovnání s tsrange od time zabírá pouze 4 bajty. Ale ukázalo se, že timerange zabírá 22 bajtů na disku (25 v RAM), stejně jako tsrange (nebo tstzrange ). Můžete tedy použít tsrange také. Princip dotazu a omezení vyloučení jsou stejné.

Dotaz

Zabaleno do funkce SQL pro pohodlnou manipulaci s parametry:

CREATE OR REPLACE FUNCTION f_next_free(_start timestamp, _duration interval)
  RETURNS TABLE (worker_id int, worker text, day date
               , start_time time, end_time time) AS
$func$
   SELECT w.worker_id, w.worker
        , d.d AS day
        , t.t AS start_time
        ,(t.t + _duration) AS end_time
   FROM  (
      SELECT _start::date + i AS d
      FROM   generate_series(0, 31) i
      LEFT   JOIN pyha p ON p.pyha = _start::date + i
      WHERE  p.pyha IS NULL   -- eliminate holidays
      ) d
   CROSS  JOIN (
      SELECT t::time
      FROM   generate_series (timestamp '2000-1-1 10:00'
                            , timestamp '2000-1-1 21:00' - _duration
                            , interval '15 min') t
      ) t  -- times
   CROSS  JOIN worker w
   WHERE  d.d + t.t > _start  -- rule out past timestamps
   AND    NOT EXISTS (
      SELECT 1
      FROM   reservat r
      WHERE  r.worker_id = w.worker_id
      AND    r.day = d.d
      AND    timerange(r.work_from, r.work_to) && timerange(t.t, t.t + _duration)
      )
   ORDER  BY d.d, t.t, w.worker, w.worker_id
   LIMIT  30  -- could also be parameterized
$func$ LANGUAGE sql STABLE;

Volejte:

SELECT * FROM f_next_free('2014-10-28 12:00'::timestamp, '1.5 h'::interval);

SQL Fiddle nyní na Postgres 9.3.

Vysvětlete

• Funkce trvá _start timestamp jako minimální čas zahájení a _duration interval . Dejte pozor, abyste na začátku vyloučili pouze dřívější časy den, ne následující dny. Nejjednodušší přidáním dne a času:t + d > _start .
  Chcete-li rezervovat rezervaci začínající "nyní", stačí předat now()::timestamp :

  SELECT * FROM f_next_free(`now()::timestamp`, '1.5 h'::interval);
  

• Poddotaz d generuje dny počínaje vstupní hodnotou _day . Bez svátků.

• Dny jsou křížově spojeny s možnými časovými rozsahy generovanými v dílčím dotazu t .
• To je křížově připojeno ke všem dostupným pracovníkům w .
• Konečně odstraňte všechny kandidáty, kteří kolidují se stávajícími rezervacemi, pomocí NOT EXISTS anti-semi-join, a zejména operátor překrývání && .

Související:

• Jak se dělá matematika data, která ignoruje rok? (pro příklad matematiky data)
• Zabránění sousedním /překrývající se položky s EXCLUDE v PostgreSQL
• Vypočítat práci hodin mezi 2 daty v PostgreSQL