PostgreSQL Antipatterns: Condition volutpat in SQL

SQL non est C++, nec est JavaScript. Aestimatio igitur locutionum logicalium est diversa, et hoc omnino non est idem;

WHERE fncondX() AND fncondY()

= fncondX() && fncondY()

Dum optimizing consilium exsecutionis interrogationis PostgreSQL potest ad placitum "rearrange" est equivalent conditionibusnoli ex illis in singulas tabulas computare, conditionem indicis appositi refer... Denique facillime id existimas. non potest administrare quo ordine fient, an omnino calculi. aequalis conditiones.

Si igitur prioritatem administrare adhuc vis, constitutione debes hae conditiones inaequales cum conditionali expressions и operators.

Data et operans cum illis est basis nostrae VLSI complexuita magni momenti est ut in eis non solum recte, sed etiam efficaciter fiant operationes. Intueamur exempla concreta ubi errorum expressionis aestimatio fieri potest, et ubi efficaciam suam augere valet.

#0: RTFM

Satus exempli gratia ex documentis:

Ordo aestimationee cum magni momenti est, figi potest cum constructione CASE. Exempli gratia, hic modus in sententia nulla divisionem vitare WHERE vacillent;

SELECT ... WHERE x > 0 AND y/x > 1.5;

Salvus optio:

SELECT ... WHERE CASE WHEN x > 0 THEN y/x > 1.5 ELSE false END;

Constructione usus est CASE verbum ab optimizatione tuetur, ita uti debet, cum opus sit.

# I: felis conditione

BEGIN
  IF cond(NEW.fld) AND EXISTS(SELECT ...) THEN
    ...
  END IF;
  RETURN NEW;
END;

Omnia bona videntur, sed ... Nemo investituram promittit SELECT non erit faciendum, si prima conditio falsa est. Reficere cum nested IF:

BEGIN
  IF cond(NEW.fld) THEN
    IF EXISTS(SELECT ...) THEN
      ...
    END IF;
  END IF;
  RETURN NEW;
END;

Nunc diligenter inspiciamus - totum corpus functionis felis evenit ut "involvatur" in IF. Et hoc significat nihil prohibet hanc condicionem ab usu procedendi removere WHEN-conditions:

BEGIN
  IF EXISTS(SELECT ...) THEN
    ...
  END IF;
  RETURN NEW;
END;
...
CREATE TRIGGER ...
  WHEN cond(NEW.fld);

Aditus permittit ut servo cautione facultates serves, si falsa conditio est.

#2: VEL/ET catena

SELECT ... WHERE EXISTS(... A) OR EXISTS(... B)

Alioquin obtineri potest quod utrumque EXISTS verum erit, sed et voluntas supplicium.

Sed si pro certo scimus unam earum esse "verum" multo saepius (vel "falsum" - for AND- catenae) — possibile est aliquo modo "priorem suum augere", ut alter iterum denuo non fungatur?

Evenit ut possibile est - accedere algorithmice prope thema articuli PostgreSQL Antipatterns: Rare introitus ad medium coniungitur.

Iustus 'trudere sub CAUSA' utrumque horum condicionum est:

SELECT ...
WHERE
  CASE
    WHEN EXISTS(... A) THEN TRUE
    WHEN EXISTS(... B) THEN TRUE
  END

In hoc casu non definivimus ELSE-value, id est, si utraque res falsa est CASE reddet NULLquod interpretatur FALSE в WHERE— Conditiones.

Hoc exemplum alio modo componi potest cum gustu et colore;

SELECT ...
WHERE
  CASE
    WHEN NOT EXISTS(... A) THEN EXISTS(... B)
    ELSE TRUE
  END

#3: quomodo [non] conditiones scribere

Duos dies consumpsimus in examinandis rationibus "alieni" excitato huius felis - videamus quare.

Source:

IF( NEW."Документ_" is null or NEW."Документ_" = (select '"Комплект"'::regclass::oid) or NEW."Документ_" = (select to_regclass('"ДокументПоЗарплате"')::oid)
     AND (   OLD."ДокументНашаОрганизация" <> NEW."ДокументНашаОрганизация"
          OR OLD."Удален" <> NEW."Удален"
          OR OLD."Дата" <> NEW."Дата"
          OR OLD."Время" <> NEW."Время"
          OR OLD."ЛицоСоздал" <> NEW."ЛицоСоздал" ) ) THEN ...

Quaestio # I: Inaequalitas non ideo pro NULL

Demus omnia OLD-fields referre NULL. Quæ in ea ventura?

SELECT NULL <> 1 OR NULL <> 2;
-- NULL

Et ex parte operandi conditiones NULL equivalent FALSEde quibus supra.

arbitrium: Usus operator IS DISTINCT FROM ex ROW-operator, integras tabulas statim comparans;

SELECT (NULL, NULL) IS DISTINCT FROM (1, 2);
-- TRUE

Quaestio numeri II: Exsecutio alia eiusdem functionality

Lets comparare:

NEW."Документ_" = (select '"Комплект"'::regclass::oid)
NEW."Документ_" = (select to_regclass('"ДокументПоЗарплате"')::oid)

Cur non extra investments SELECT? Munus to_regclass? Quid est aliud.

Sit fix:

NEW."Документ_" = '"Комплект"'::regclass::oid
NEW."Документ_" = '"ДокументПоЗарплате"'::regclass::oid

Quaestio III: bool praecedentia

Forma lets principium:

{... IS NULL} OR
{... Комплект} OR
{... ДокументПоЗарплате} AND
( {... неравенства} )

Oops... Quae quidem evenit ut in quibuslibet primis duabus conditionibus veritas, tota conditio convertitur. TRUEinaequalitatibus neglectis. Nec hoc omnino quod voluimus.

Sit fix:

(
  {... IS NULL} OR
  {... Комплект} OR
  {... ДокументПоЗарплате}
) AND
( {... неравенства} )

Problema #4 (small): complexus OR conditio unius agri

Profecto quaestiones habuimus in n. 3 ob id quod tres conditiones erant. Sed pro illis una acquirere potes, machinatione adhibita coalesce ... IN:

coalesce(NEW."Документ_"::text, '') IN ('', '"Комплект"', '"ДокументПоЗарплате"')

Ita sumus NULL "capere" et complex OR Non habes cum parenthesi.

in summa

Sit scriptor fix quod nos obtinuit:

IF (
  coalesce(NEW."Документ_"::text, '') IN ('', '"Комплект"', '"ДокументПоЗарплате"') AND
  (
    OLD."ДокументНашаОрганизация"
  , OLD."Удален"
  , OLD."Дата"
  , OLD."Время"
  , OLD."ЛицоСоздал"
  ) IS DISTINCT FROM (
    NEW."ДокументНашаОрганизация"
  , NEW."Удален"
  , NEW."Дата"
  , NEW."Время"
  , NEW."ЛицоСоздал"
  )
) THEN ...

Et cum haec felis functione tantum uti possit UPDATEligulae ex praesentia OLD/NEW in superiori gradu condicionem , tum haec fere accipi potest WHEN-condition ut ostensum est in # I...

Source: www.habr.com