factbase 0.19.4 → 0.19.5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: bc6cb6bd378d266fcaa401091228e6dc4084474f5f16e89c9fb29dd56d577c77
-  data.tar.gz: 8c1e86c86b01371f159d29c0187a263598d7d5b6c2949200b7813dff22fd6fca
+  metadata.gz: dd4224329381f390e0d8262e6868f1edf6b4f0ae07c972bf0d22fdc7581b0ea9
+  data.tar.gz: 92d79cb596b6b9dc647555c60b0ce7ddc30d270b7b7bdccf1cd8e0a1db4190ce
 SHA512:
-  metadata.gz: afa7d0dd3cace0292ce9de22c102dfed04772f568f9ad725e5d937024918b6c2c103a87221bbee3e3902167f0c3ec886567cb791593e8693e2723e66fa2d62f7
-  data.tar.gz: 55891ef31903c5d07a6d153bb23bff4264e3d2c414ed4655e2388702d51d1bcdcb75a490f40b8e62007a32dbe571ee0146ab190b890bb5935ad9393d215e0e54
+  metadata.gz: 7a2a9b52b2576c634702c057b2399dc985c6582c7f371c4feae37c8d794f68a3c71ac4467aed8d05becb00e8b63a5fa8cef2b20882455f2ecc6199d215888ce6
+  data.tar.gz: 88c27d05a03f5bf0270ad713ab76a3f592ecb4128f5d16e284fbf3f910f7e443f961c184b5f658647b4caafa4ccac83c2fcdd5c1578c2d6f1d7ac1e6c12dae46

data/README.md

@@ -80,6 +80,21 @@ churn = fb.churn
 assert churn.inserted == 1
 ```
 
+Properties are accumulative.
+Setting a property again adds a value instead of overwriting:
+
+```ruby
+f = fb.insert
+f.foo = 42
+f.foo = 43
+assert(f.foo == 42)
+assert(f['foo'] == [42, 43])
+fb.query('(eq foo 43)').each do |f|
+  assert(f.foo == 42)
+  assert(f['foo'].include?(43))
+end
+```
+
 ## Terms
 
 There are some boolean terms available in a query

data/lib/factbase/indexed/indexed_absent.rb

@@ -26,6 +26,10 @@ class Factbase::IndexedAbsent
       end
       entry[:indexed_count] = maps_array.size
     end
-    (maps & []) | entry[:facts]
+    if maps.respond_to?(:ensure_copied!)
+      maps & entry[:facts]
+    else
+      (maps & []) | entry[:facts]
+    end
   end
 end

data/lib/factbase/indexed/indexed_and.rb

@@ -45,7 +45,7 @@ class Factbase::IndexedAnd
       j = tuples.flat_map { |t| entry[:index][t] || [] }.uniq(&:object_id)
       r =
         if maps.respond_to?(:inserted)
-          Factbase::Taped.new(j, inserted: maps.inserted, deleted: maps.deleted, added: maps.added)
+          maps & j
         else
           j
         end

data/lib/factbase/indexed/indexed_eq.rb

@@ -38,7 +38,7 @@ class Factbase::IndexedEq
       end
     j = vv.flat_map { |v| entry[:index][v] || [] }.uniq(&:object_id)
     if maps.respond_to?(:inserted)
-      Factbase::Taped.new(j, inserted: maps.inserted, deleted: maps.deleted, added: maps.added)
+      maps & j
     else
       j
     end

data/lib/factbase/indexed/indexed_exists.rb

@@ -26,6 +26,10 @@ class Factbase::IndexedExists
       end
       entry[:indexed_count] = maps_array.size
     end
-    (maps & []) | entry[:facts]
+    if maps.respond_to?(:ensure_copied!)
+      maps & entry[:facts]
+    else
+      (maps & []) | entry[:facts]
+    end
   end
 end

data/lib/factbase/indexed/indexed_gt.rb

@@ -36,7 +36,11 @@ class Factbase::IndexedGt
     return nil if threshold.nil?
     i = entry[:sorted].bsearch_index { |pair| pair[0] > threshold } || entry[:sorted].size
     result = entry[:sorted][i..].map { |pair| pair[1] }.uniq
-    (maps & []) | result
+    if maps.respond_to?(:ensure_copied!)
+      maps & result
+    else
+      (maps & []) | result
+    end
   end
 
   private

data/lib/factbase/indexed/indexed_lt.rb

@@ -41,7 +41,11 @@ class Factbase::IndexedLt
     return nil if threshold.nil?
     i = entry[:sorted].bsearch_index { |pair| pair[0] >= threshold } || entry[:sorted].size
     result = entry[:sorted][0...i].map { |pair| pair[1] }.uniq
-    (maps & []) | result
+    if maps.respond_to?(:ensure_copied!)
+      maps & result
+    else
+      (maps & []) | result
+    end
   end
 
   private

data/lib/factbase/indexed/indexed_not.rb

@@ -34,6 +34,8 @@ class Factbase::IndexedNot
     r = entry[:facts]
     if r.nil?
       nil
+    elsif maps.respond_to?(:ensure_copied!)
+      maps & r
     else
       (maps & []) | r
     end

data/lib/factbase/indexed/indexed_one.rb

@@ -26,6 +26,10 @@ class Factbase::IndexedOne
       end
       entry[:indexed_count] = maps_array.size
     end
-    (maps & []) | entry[:facts]
+    if maps.respond_to?(:ensure_copied!)
+      maps & entry[:facts]
+    else
+      (maps & []) | entry[:facts]
+    end
   end
 end

data/lib/factbase/indexed/indexed_unique.rb

@@ -4,9 +4,23 @@
 # SPDX-License-Identifier: MIT
 
 # Indexed term 'unique'.
-# @todo #249:30min Improve prediction for 'unique' term. Current prediction is quite naive and
-#  returns many false positives because it just filters facts which have exactly the same set
-#  of keys regardless the values. We should introduce more smart prediction.
+# The @idx[ikey] structure:
+# {
+#   count: Integer (number of facts already processed),
+#   buckets: {
+#     key => {
+#       facts: Array (unique facts found),
+#       seen: Set (composite values already indexed to skip duplicates)
+#     }
+#   }
+# }
+# Example 1: (unique "fruit")
+#   - Apple, Apple, Banana
+#   - count: 3, facts: [Apple, Banana], seen: { [Apple], [Banana] }
+#
+# Example 2: (unique "fruit" "color")
+#   - [Apple, Red], [Apple, Green], [Apple, Red]
+#   - count: 3, facts: [[Apple, Red], [Apple, Green]], seen: { [Apple, Red], [Apple, Green] }
 class Factbase::IndexedUnique
   def initialize(term, idx)
     @term = term
@@ -14,21 +28,29 @@ class Factbase::IndexedUnique
   end
 
   def predict(maps, _fb, _params)
-    return nil if @idx.nil?
-    key = [maps.object_id, @term.operands.first, @term.op]
-    entry = @idx[key]
-    maps_array = maps.to_a
-    if entry.nil?
-      entry = { facts: [], indexed_count: 0 }
-      @idx[key] = entry
+    operands = @term.operands.map(&:to_s)
+    bucket_key = operands.join('|')
+    idx_key = [maps.object_id, @term.op.to_s, bucket_key]
+    entry = (@idx[idx_key] ||= { buckets: {}, count: 0 })
+    feed(maps.to_a, entry, operands, bucket_key)
+    bucket = entry[:buckets][bucket_key]
+    if maps.respond_to?(:ensure_copied!)
+      maps & (bucket[:facts] || [])
+    else
+      (maps & []) | (bucket[:facts] || [])
     end
-    if entry[:indexed_count] < maps_array.size
-      props = @term.operands.map(&:to_s)
-      maps_array[entry[:indexed_count]..].each do |m|
-        entry[:facts] << m if props.all? { |p| !m[p].nil? }
-      end
-      entry[:indexed_count] = maps_array.size
+  end
+
+  private
+
+  def feed(facts, entry, operands, bucket_key)
+    entry[:buckets][bucket_key] ||= { facts: [], seen: Set.new }
+    bucket = entry[:buckets][bucket_key]
+    (facts[entry[:count]..] || []).each do |fact|
+      composite_val = operands.map { |o| fact[o] }
+      next if composite_val.any?(&:nil?)
+      bucket[:facts] << fact if bucket[:seen].add?(composite_val)
     end
-    (maps & []) | entry[:facts]
+    entry[:count] = facts.size
   end
 end

data/lib/factbase/lazy_taped.rb

@@ -62,7 +62,7 @@ class Factbase::LazyTaped
   end
 
   def <<(map)
-    ensure_copied
+    ensure_copied!
     @maps << map
     @inserted.append(map.object_id)
   end
@@ -81,7 +81,7 @@ class Factbase::LazyTaped
   end
 
   def delete_if
-    ensure_copied
+    ensure_copied!
     @maps.delete_if do |m|
       r = yield m
       @deleted.append(@pairs[m].object_id) if r
@@ -108,7 +108,7 @@ class Factbase::LazyTaped
     join(other, &:|)
   end
 
-  def ensure_copied
+  def ensure_copied!
     return if @copied
     @pairs = {}.compare_by_identity
     @maps =
@@ -121,13 +121,14 @@ class Factbase::LazyTaped
   end
 
   def get_copied_map(original_map)
-    ensure_copied
+    ensure_copied!
     @maps.find { |m| @pairs[m].equal?(original_map) }
   end
 
   private
 
   def join(other)
+    ensure_copied!
     n = yield (@maps || @origin).to_a, other.to_a
     raise 'Cannot join with another Taped' if other.respond_to?(:inserted)
     raise 'Can only join with array' unless other.is_a?(Array)

data/lib/factbase/version.rb

@@ -9,5 +9,5 @@
 # License:: MIT
 class Factbase
   # Current version of the gem (changed by .rultor.yml on every release)
-  VERSION = '0.19.4' unless const_defined?(:VERSION)
+  VERSION = '0.19.5' unless const_defined?(:VERSION)
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: factbase
 version: !ruby/object:Gem::Version
-  version: 0.19.4
+  version: 0.19.5
 platform: ruby
 authors:
 - Yegor Bugayenko