Density-bounded direct-relation membership over one selected Datahike DB.
Compact candidate spans use one endpoint-local ordered prefix. Sparse spans use exact full-tuple seeks. The operation never calls d/db, resolves schema, changes descriptor endpoints, or evaluates permission expressions.
Density-bounded direct-relation membership over one selected Datahike DB. Compact candidate spans use one endpoint-local ordered prefix. Sparse spans use exact full-tuple seeks. The operation never calls d/db, resolves schema, changes descriptor endpoints, or evaluates permission expressions.
Optional observation-only atom for dimensional batch telemetry.
Optional observation-only atom for dimensional batch telemetry.
(dense-span? ordered)The checked physical choice. Clojure integer subtraction cannot overflow; the public batch contract has already bounded every EID to the portable exact domain.
The checked physical choice. Clojure integer subtraction cannot overflow; the public batch contract has already bounded every EID to the portable exact domain.
(direct-match-many? db {:keys [candidates] :as request})Executes one already-normalized batch and returns decisions in the original candidate order. Any cancellation or provider failure escapes before the result vector is returned.
Executes one already-normalized batch and returns decisions in the original candidate order. Any cancellation or provider failure escapes before the result vector is returned.
The dense range kernel seeks from the batch's first candidate, and only a direct DB can honor that bound: temporal and filter wrappers fall back to exact visible datoms, where a range scan would realize and sort the whole endpoint prefix. Wrapped bases therefore always take the exact-probe kernel, whose realization is bounded by the candidate count on every admissible basis kind.
The dense range kernel seeks from the batch's first candidate, and only a direct DB can honor that bound: temporal and filter wrappers fall back to exact visible datoms, where a range scan would realize and sort the whole endpoint prefix. Wrapped bases therefore always take the exact-probe kernel, whose realization is bounded by the candidate count on every admissible basis kind.
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 |