Prove and rewrite restrictions through inert derived-table projections.
Only typed current databases, ordinary base relations, identity-preserving scalar column projections and built-in integral equality are admitted. An unproved shape keeps the normal materializer. The returned expression owns its nodes; the shared parser AST is read-only.
Prove and rewrite restrictions through inert derived-table projections. Only typed current databases, ordinary base relations, identity-preserving scalar column projections and built-in integral equality are admitted. An unproved shape keeps the normal materializer. The returned expression owns its nodes; the shared parser AST is read-only.
(additional-where outer item schema db {:keys [cte-names] :or {cte-names #{}}})Return an owned restriction for an eligible explicit derived FROM item.
The parent WHERE remains in place. Existing child WHERE/ON and every projected item must be inert; only proven integral comparisons are duplicated. No rows, bound values, shared AST nodes or new parameter indices enter this rewrite.
Return an owned restriction for an eligible explicit derived FROM item. The parent WHERE remains in place. Existing child WHERE/ON and every projected item must be inert; only proven integral comparisons are duplicated. No rows, bound values, shared AST nodes or new parameter indices enter this rewrite.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |