Indeed, SQL is a declarative language. It'd be quite shocking if short circuiting were happening.