порядок проверки условий в SQL

[Алексей++]

к примеру, имеется условие вида

where a and b

где a и b - это некие выражения, вертающие булево значение.
Если a не выполнилось, будет ли обработано выражение b или нет ? (хочется как в c++ - однако )

или даже ели a ложно, то b тоже вычислится (съев при этом кусочек вычислительных мощей) ?

[Алексей++]

забыл уточнить: в b используется переменная, которая и проверяется в a. То есть если a ложно, то выражение b становится не нужным.
И хочется вместо ветвления через if всё записать одной строкой

[McZim]

where a and b обрабатывается как единое целое, условие выполнится только тогда, когда и a и b вернут то что удовлетворяет условию

[Алексей++]

короче, насколько понимаю, дважды писать половину всё равно придётся )

[RXL]

Алексей1153++, ты только описываешь логическое выражение, а как, что и в каком порядке выполняется - целиком зависит от сервера БД и его оптимизатора запросов.

Нельзя написать "половину". "A" и "A AND B" - совершенно разные выражения.

[Dimka]

Если выражения:

Код:

A And B
A Or B

нужно интерпретировать в смысле:

Код: (Text)

A AndThen B
A OrElse B

В MS SQL Server это можно реализовать через условный оператор:

Код: (Text)

CASE WHEN A = 1 THEN B ELSE 0 END = 1
CASE WHEN A = 1 THEN 1 ELSE B END = 1

[RXL]

dimka, аналогичные конструкции есть в Oracle и MySQL. Синтаксис тот же.

[Алексей++]

о, спасибо ) Только вопрос:
CASE ....END  - это понятно,а что делает "=1" в конце строки ?

[Алексей++]

всё, допёр ))

[Алексей++]

A VARCHAR(1000) - строка, входной параметр, содержит строку вида '~N1~N2~...~N3~'

Код:

...
for select  F1, F2, F3....... FN from T
       where D 
    into   :F1,:F2,:F3.......:FN  do begin.....end

(D - ещё какое то условие). Строка длиннющая, поэтому то и не хочется дважды повторять

с использованием переменной-фильтра с ветвлением это выглядит кошмарно:

Код:

if(:A is NULL) then
  ...
  for select  F1, F2, F3....... FN from T
         where D 
      into   :F1,:F2,:F3.......:FN  do begin.....end
else
  ...
  for select  F1, F2, F3....... FN from T
         where D and not(:A containing '~'||T.ID||'~')
      into   :F1,:F2,:F3.......:FN  do begin.....end

можно записать общее условие так:

Код:

where D and :A is NULL   OR  D and not(:A containing '~'||T.ID||'~')

или, то есть

where D and (:A is NULL  OR  not(:A containing '~'||T.ID||'~'))

как теперь последнюю строку через case слабать ?

Код:

case when :A is NULL
then
   D
else
   D and not(:A containing '~'||T.ID||'~')
end

так ?
(D тоже не короткое, но тут уже было бы терпимо )) )

компилятор ругается на знак сравнения, который внутри D ...