From cf0fffed43d0ca7618cd0013411151e057b7a32a Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 18 May 2026 12:35:26 -0300 Subject: RNT interface Co-authored-by: Estevan Castilho --- docs/icl-quantification.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/icl-quantification.org') diff --git a/docs/icl-quantification.org b/docs/icl-quantification.org index 7a81551..0a3ba90 100644 --- a/docs/icl-quantification.org +++ b/docs/icl-quantification.org @@ -101,8 +101,8 @@ Generator-based relations with no tree return ~Some []~. The materialisation path: 1. ~Merkle.keys tree~ — loads all tuple hashes. -2. For each hash: ~Storage.load_raw~ → ~Storable.Tuple.of_bytes~ → attribute hash list. -3. For each attribute hash: ~Storage.load_raw~ → ~Marshal.from_bytes~. +2. For each hash: ~Storage.load_raw~ -> ~Storable.Tuple.of_bytes~ -> attribute hash list. +3. For each attribute hash: ~Storage.load_raw~ -> ~Marshal.from_bytes~. This eagerly materialises the *entire* quantifier relation into memory before evaluation begins. For a relation of cardinality /n/ with /k/ attributes each, -- cgit v1.2.3