factbase 0.5.2 → 0.7.0

data/Gemfile.lock

@@ -55,7 +55,7 @@ GEM
     crass (1.0.6)
     date (3.4.1)
     decoor (0.0.1)
-    diff-lcs (1.5.1)
+    diff-lcs (1.6.0)
     docile (1.4.1)
     drb (2.2.1)
     erubi (1.13.1)
@@ -66,9 +66,10 @@ GEM
       pp (>= 0.6.0)
       rdoc (>= 4.0.0)
       reline (>= 0.4.2)
-    json (2.9.1)
+    json (2.10.1)
     language_server-protocol (3.17.0.4)
-    logger (1.6.5)
+    lint_roller (1.1.0)
+    logger (1.6.6)
     loofah (2.24.0)
       crass (~> 1.0.2)
       nokogiri (>= 1.12.0)
@@ -79,17 +80,17 @@ GEM
       builder
       minitest (>= 5.0)
       ruby-progressbar
-    nokogiri (1.18.2-arm64-darwin)
+    nokogiri (1.18.3-arm64-darwin)
       racc (~> 1.4)
-    nokogiri (1.18.2-x64-mingw-ucrt)
+    nokogiri (1.18.3-x64-mingw-ucrt)
       racc (~> 1.4)
-    nokogiri (1.18.2-x86_64-darwin)
+    nokogiri (1.18.3-x86_64-darwin)
       racc (~> 1.4)
-    nokogiri (1.18.2-x86_64-linux-gnu)
+    nokogiri (1.18.3-x86_64-linux-gnu)
       racc (~> 1.4)
     others (0.0.3)
     parallel (1.26.3)
-    parser (3.3.7.0)
+    parser (3.3.7.1)
       ast (~> 2.4.1)
       racc
     pp (0.6.2)
@@ -99,7 +100,7 @@ GEM
       date
       stringio
     racc (1.8.1)
-    rack (3.1.8)
+    rack (3.1.10)
     rack-session (2.1.0)
       base64 (>= 0.1.0)
       rack (>= 3.0.0)
@@ -124,13 +125,13 @@ GEM
       zeitwerk (~> 2.6)
     rainbow (3.1.1)
     rake (13.2.1)
-    rdoc (6.11.0)
+    rdoc (6.12.0)
       psych (>= 4.0.0)
     regexp_parser (2.10.0)
     reline (0.6.0)
       io-console (~> 0.5)
-    rexml (3.4.0)
-    rspec-core (3.13.2)
+    rexml (3.4.1)
+    rspec-core (3.13.3)
       rspec-support (~> 3.13.0)
     rspec-expectations (3.13.3)
       diff-lcs (>= 1.2.0, < 2.0)
@@ -138,7 +139,7 @@ GEM
     rspec-mocks (3.13.2)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.13.0)
-    rspec-rails (7.1.0)
+    rspec-rails (7.1.1)
       actionpack (>= 7.0)
       activesupport (>= 7.0)
       railties (>= 7.0)
@@ -147,26 +148,33 @@ GEM
       rspec-mocks (~> 3.13)
       rspec-support (~> 3.13)
     rspec-support (3.13.2)
-    rubocop (1.71.0)
+    rubocop (1.72.2)
       json (~> 2.3)
-      language_server-protocol (>= 3.17.0)
+      language_server-protocol (~> 3.17.0.2)
+      lint_roller (~> 1.1.0)
       parallel (~> 1.10)
       parser (>= 3.3.0.2)
       rainbow (>= 2.2.2, < 4.0)
       regexp_parser (>= 2.9.3, < 3.0)
-      rubocop-ast (>= 1.36.2, < 2.0)
+      rubocop-ast (>= 1.38.0, < 2.0)
       ruby-progressbar (~> 1.7)
       unicode-display_width (>= 2.4.0, < 4.0)
     rubocop-ast (1.38.0)
       parser (>= 3.3.1.0)
-    rubocop-minitest (0.36.0)
-      rubocop (>= 1.61, < 2.0)
-      rubocop-ast (>= 1.31.1, < 2.0)
-    rubocop-performance (1.23.1)
-      rubocop (>= 1.48.1, < 2.0)
-      rubocop-ast (>= 1.31.1, < 2.0)
-    rubocop-rspec (3.4.0)
-      rubocop (~> 1.61)
+    rubocop-minitest (0.37.1)
+      lint_roller (~> 1.1)
+      rubocop (>= 1.72.1, < 2.0)
+      rubocop-ast (>= 1.38.0, < 2.0)
+    rubocop-performance (1.24.0)
+      lint_roller (~> 1.1)
+      rubocop (>= 1.72.1, < 2.0)
+      rubocop-ast (>= 1.38.0, < 2.0)
+    rubocop-rake (0.7.1)
+      lint_roller (~> 1.1)
+      rubocop (>= 1.72.1)
+    rubocop-rspec (3.5.0)
+      lint_roller (~> 1.1)
+      rubocop (~> 1.72, >= 1.72.1)
     ruby-progressbar (1.13.0)
     securerandom (0.4.1)
     simplecov (0.22.0)
@@ -178,7 +186,7 @@ GEM
       simplecov (~> 0.19)
     simplecov-html (0.13.1)
     simplecov_json_formatter (0.1.4)
-    stringio (3.1.2)
+    stringio (3.1.5)
     tago (0.0.2)
     thor (1.3.2)
     threads (0.4.1)
@@ -193,7 +201,7 @@ GEM
     useragent (0.16.11)
     yaml (0.4.0)
     yard (0.9.37)
-    zeitwerk (2.7.1)
+    zeitwerk (2.7.2)
 
 PLATFORMS
   arm64-darwin-22
@@ -209,11 +217,12 @@ DEPENDENCIES
   minitest (= 5.25.4)
   minitest-reporters (= 1.7.1)
   rake (= 13.2.1)
-  rspec-rails (= 7.1.0)
-  rubocop (= 1.71.0)
-  rubocop-minitest (= 0.36.0)
-  rubocop-performance (= 1.23.1)
-  rubocop-rspec (= 3.4.0)
+  rspec-rails (= 7.1.1)
+  rubocop (= 1.72.2)
+  rubocop-minitest (> 0)
+  rubocop-performance (> 0)
+  rubocop-rake (> 0)
+  rubocop-rspec (> 0)
   simplecov (= 0.22.0)
   simplecov-cobertura (= 2.1.0)
   threads (= 0.4.1)

data/LICENSES/MIT.txt

@@ -0,0 +1,21 @@
+(The MIT License)
+
+Copyright (c) 2024-2025 Yegor Bugayenko
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the 'Software'), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

data/README.md

@@ -64,6 +64,30 @@ if f[n].nil?
 end
 ```
 
+You can make a factbase log all operations:
+
+```ruby
+require 'loog'
+require 'factbase/looged'
+log = Loog::VERBOSE
+fb = Factbase::Looged.new(Factbase.new, log)
+f = fb.insert
+```
+
+You can also count the amount of changes made to a factbase:
+
+```ruby
+require 'loog'
+require 'factbase/tailled'
+log = Loog::VERBOSE
+fb = Factbase::Tailled.new(Factbase.new, log)
+f = fb.insert
+churn = fb.churn
+assert churn.inserted == 1
+```
+
+## Terms
+
 There are some boolean terms available in a query
 (they return either `true` or `false`):
 
@@ -185,18 +209,24 @@ This is the result of the benchmark:
 <!-- benchmark_begin -->
 | Action | Seconds | Details |
 | --- | --: | --- |
-| `fb.insert()` | 7.874 | Inserted 100000 facts |
-| `(gt time '2024-03-23T03:21:43Z')` | 0.072 | Found 100000 fact(s) |
-| `(gt cost 50)` | 0.069 | Found 50030 fact(s) |
-| `(eq title 'Object Thinking 5000')` | 0.051 | Found 1 fact(s) |
-| `(and (eq foo 42.998) (or (gt bar 200) (absent zzz)))` | 0.059 | Found 2 fact(s) |
-| `(eq id (agg (always) (max id)))` | 0.131 | Found 1 fact(s) |
-| `(join "c<=cost,b<=bar" (eq id (agg (always) (max id))))` | 0.695 | Found 100000 fact(s) |
-| `.export()` + `.import()` | 1.931 | 11407636 bytes |
+| `fb.insert()` | 1.883 | Inserted 25000 facts |
+| `(gt time '2024-03-23T03:21:43Z')` | 0.201 | 25000 facts x100 |
+| `(gt cost 50)` | 0.175 | 12430 facts x100 |
+| `(eq title 'Object Thinking 5000')` | 0.129 | 1 facts x100 |
+| `(and (eq foo 42.998) (or (gt bar 200) (absent zzz)))` | 0.157 | 0 facts x100 |
+| `(eq id (agg (always) (max id)))` | 0.268 | 1 facts x100 |
+| `(join "c<=cost,b<=bar" (eq id (agg (always) (max id))))` | 1.844 | 25000 facts x100 |
+| txn: `query()` | 19.358 | modified 0 facts |
+| txn: `insert()` | 0.059 | modified 100 facts |
+| txn: `add()` | 16.223 | modified 3 facts |
+| txn: `delete!()` | 3.573 | modified 12439 facts |
+| `.export()` + `.import()` | 0.369 | 1451040 bytes |
+| `(gt cost 3)` | 0.030 | Deleted 12395 fact(s) |
+| `(gt bar 1)` | 0.001 | Deleted 363 fact(s) |
 
 The results were calculated in [this GHA job][benchmark-gha]
-on 2025-01-27 at 16:51,
+on 2025-02-24 at 13:32,
 on Linux with 4 CPUs.
 <!-- benchmark_end -->
 
-[benchmark-gha]: https://github.com/yegor256/factbase/actions/runs/12994018323
+[benchmark-gha]: https://github.com/yegor256/factbase/actions/runs/13499241189

data/REUSE.toml

@@ -0,0 +1,25 @@
+# SPDX-FileCopyrightText: Copyright (c) 2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+version = 1
+[[annotations]]
+path = [
+    "**/*.jpg",
+    "**/*.json",
+    "**/*.md",
+    "**/*.pdf",
+    "**/*.png",
+    "**/*.svg",
+    "**/.gitignore",
+    ".gitattributes",
+    ".gitignore",
+    ".gitleaksignore",
+    ".pdd",
+    ".xcop",
+    "Gemfile.lock",
+    "README.md",
+    "renovate.json",
+]
+precedence = "override"
+SPDX-FileCopyrightText = "Copyright (c) 2025 Yegor Bugayenko"
+SPDX-License-Identifier = "MIT"

data/Rakefile

@@ -1,24 +1,7 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require 'rubygems'
 require 'rake'
@@ -32,7 +15,7 @@ def version
   Gem::Specification.load(Dir['*.gemspec'].first).version
 end
 
-task default: %i[clean test rubocop yard copyright]
+task default: %i[clean test rubocop yard]
 
 require 'rake/testtask'
 desc 'Run all unit tests'
@@ -61,11 +44,3 @@ desc 'Run benchmark script'
 task :benchmark do
   ruby 'benchmarks/simple.rb'
 end
-
-task :copyright do
-  sh "grep -q -r '#{Date.today.strftime('%Y')}' \
-    --include '*.rb' \
-    --include '*.txt' \
-    --include 'Rakefile' \
-    ."
-end

data/benchmarks/simple.rb

@@ -1,25 +1,8 @@
 #!/usr/bin/env ruby
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require 'benchmark'
 require 'time'
@@ -49,7 +32,7 @@ end
 
 def query(fb, query)
   total = 0
-  runs = 10
+  runs = 100
   time =
     Benchmark.measure do
       runs.times do
@@ -58,8 +41,21 @@ def query(fb, query)
     end
   {
     title: "`#{query}`",
-    time: (time.real / runs).round(6),
-    details: "Found #{total} fact(s)"
+    time: time.real.round(6),
+    details: "#{total} facts x#{runs}"
+  }
+end
+
+def delete(fb, query)
+  total = 0
+  time =
+    Benchmark.measure do
+      total = fb.query(query).delete!
+    end
+  {
+    title: "`#{query}`",
+    time: time.real.round(6),
+    details: "Deleted #{total} fact(s)"
   }
 end
 
@@ -79,16 +75,51 @@ def impex(fb)
   }
 end
 
+def txn(fb, scenario, &block)
+  modified = 0
+  time =
+    Benchmark.measure do
+      modified = fb.txn(&block)
+    end
+  {
+    title: "txn: `#{scenario}`",
+    time: time.real,
+    details: "modified #{modified} facts"
+  }
+end
+
 fb = Factbase.new
 rows = [
-  insert(fb, 100_000),
+  insert(fb, 25_000),
   query(fb, '(gt time \'2024-03-23T03:21:43Z\')'),
   query(fb, '(gt cost 50)'),
   query(fb, '(eq title \'Object Thinking 5000\')'),
   query(fb, '(and (eq foo 42.998) (or (gt bar 200) (absent zzz)))'),
   query(fb, '(eq id (agg (always) (max id)))'),
   query(fb, '(join "c<=cost,b<=bar" (eq id (agg (always) (max id))))'),
-  impex(fb)
+  txn(fb, 'query()') do |fbt|
+    100.times do |i|
+      fbt.query("(gt foo #{i})").each.to_a
+    end
+  end,
+  txn(fb, 'insert()') do |fbt|
+    100.times do
+      fbt.insert
+    end
+  end,
+  txn(fb, 'add()') do |fbt|
+    100.times do |i|
+      fbt.query("(gt foo #{i})").each.to_a.first.bar = 55
+    end
+  end,
+  txn(fb, 'delete!()') do |fbt|
+    50.times do |i|
+      fbt.query("(gt foo #{100 - i})").delete!
+    end
+  end,
+  impex(fb),
+  delete(fb, '(gt cost 3)'),
+  delete(fb, '(gt bar 1)')
 ].map { |r| "| #{r[:title]} | #{format('%0.3f', r[:time])} | #{r[:details]} |" }
 
 puts '| Action | Seconds | Details |'

data/factbase.gemspec

@@ -1,24 +1,7 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require 'English'
 require_relative 'lib/factbase'

data/lib/factbase/accum.rb

@@ -1,24 +1,7 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require 'others'
 require_relative '../factbase'
@@ -58,8 +41,8 @@ class Factbase::Accum
       kk = args[1].to_s
       vv = @props[kk].nil? ? [] : @props[kk]
       vvv = @fact.method_missing(*args)
-      vvv = [vvv] unless vvv.nil? || vvv.is_a?(Array)
-      vv += vvv unless vvv.nil?
+      vvv = [vvv] unless vvv.nil? || vvv.respond_to?(:each)
+      vv += vvv.to_a unless vvv.nil?
       vv.uniq!
       vv.empty? ? nil : vv
     elsif @props[k].nil?

data/lib/factbase/churn.rb

@@ -0,0 +1,44 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+# A churn.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
+# License:: MIT
+class Factbase::Churn
+  attr_reader :inserted, :deleted, :added
+
+  def initialize(ins = 0, del = 0, add = 0)
+    @mutex = Mutex.new
+    @inserted = ins
+    @deleted = del
+    @added = add
+  end
+
+  def to_s
+    "#{@inserted}i/#{@deleted}d/#{@added}a"
+  end
+
+  def zero?
+    @inserted.zero? && @deleted.zero? && @added.zero?
+  end
+
+  def append(ins, del, add)
+    @mutex.synchronize do
+      @inserted += ins
+      @deleted += del
+      @added += add
+    end
+  end
+
+  def +(other)
+    Factbase::Churn.new(
+      @inserted + other.inserted,
+      @deleted + other.deleted,
+      @added + other.added
+    )
+  end
+end

data/lib/factbase/fact.rb

@@ -1,24 +1,7 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require 'json'
 require 'time'

data/lib/factbase/flatten.rb

@@ -1,24 +1,7 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require_relative '../factbase'
 

data/lib/factbase/inv.rb

@@ -1,24 +1,7 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require 'others'
 require 'decoor'
@@ -36,10 +19,6 @@ class Factbase::Inv
     @block = block
   end
 
-  def dup
-    Factbase::Inv.new(@fb.dup, &@block)
-  end
-
   def insert
     Fact.new(@fb.insert, @block)
   end
@@ -48,8 +27,10 @@ class Factbase::Inv
     Query.new(@fb.query(query), @block)
   end
 
-  def txn(this = self, &)
-    @fb.txn(this, &)
+  def txn
+    @fb.txn do |fbt|
+      yield Factbase::Inv.new(fbt, &@block)
+    end
   end
 
   # Fact decorator.

data/lib/factbase/light.rb

@@ -0,0 +1,32 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative '../factbase'
+
+# A decorator of a Factbase, that forbids most of the operations.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
+# License:: MIT
+class Factbase::Light
+  attr_reader :cache
+
+  def initialize(fb, cache)
+    @fb = fb
+    @cache = cache
+  end
+
+  def size
+    @fb.size
+  end
+
+  def insert
+    @fb.insert
+  end
+
+  def query(query)
+    @fb.query(query)
+  end
+end