diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-11 01:59:19 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-11 01:59:19 -0300 |
| commit | de3249dcfcff5c628f77da3c3d1e65f5fe8b0d7f (patch) | |
| tree | ace65e0207ba40efd988beadd54d48d32413244d /lib/algebra.ml | |
| parent | e1d28558d0c19003690be4d6c29fcf2421d577c5 (diff) | |
| download | Sakura-de3249dcfcff5c628f77da3c3d1e65f5fe8b0d7f.tar.gz Sakura-de3249dcfcff5c628f77da3c3d1e65f5fe8b0d7f.zip | |
todos
Diffstat (limited to 'lib/algebra.ml')
| -rw-r--r-- | lib/algebra.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/algebra.ml b/lib/algebra.ml index f03aa53..a1970bd 100644 --- a/lib/algebra.ml +++ b/lib/algebra.ml @@ -24,6 +24,12 @@ module Make(Storage : Management.Physical.S) = struct match rel.Relation.generator with | Some gen -> gen | None -> + (* TODO: Avoid materializing all tuple hashes/tuples at once. + Current implementation calls tuple_hashes rel which loads all hashes + into memory, then load_tuples which loads all tuples. This defeats + lazy evaluation and scales badly (fails for billions of tuples). + Replace with paginated tuple_hashes or Merkle streaming to load + hashes/tuples on demand in chunks. *) let hashes = Ops.tuple_hashes rel in (match Ops.load_tuples storage hashes with | Error _ -> (fun _pos -> Generator.Error ("Failed to load: " ^ rel.Relation.name)) |