factbase 0.7.5 → 0.9.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7a3adc3cc2aec38609bd1d98b4266e18db6d3fc9e0e9eb3714f9772bf6bfee60
-  data.tar.gz: 7eae0cf3bbd8b1d432971f051ad08be1f39df640245d2b0f565c14a95a436aa1
+  metadata.gz: d9aeae89fbcf5e3c1b74f475a8ad001867869d29eab8b861a26b07a2fee9db93
+  data.tar.gz: 0c20ed8b499cb495ca438621b30c24c9c837a73c8cffdde812ecacabc7b9a49c
 SHA512:
-  metadata.gz: ee55ea6c2b5c2bd780c5b241bc16c14a2151adcb44829ec15b71c6e6fa614f9c9776e11d7c0bf76e2693a9141c745a0a233946e7b09b9961dc042f2ab22d412a
-  data.tar.gz: 59c44e45b9a6f2bbfe70a7fe1e649fba6c3af8b9d04e9d225289cd32d7736db1e37a138f53ed300b5639fdadbe9cef448750c9033c08aad10f4d5e13c0587e91
+  metadata.gz: 5f342a46704cdfa9f4355726fd7ca98f6a20d44090fd84c70e69189167abb97c378aca6f52fb295e736acbe4f501d61c65dd93ae833338327be8e81c9bb8f9a7
+  data.tar.gz: 0ec8785757ba4a370e0b1f50b3a7d50271e5245278b23d1b6a45618c90676517bf45763af7f5b150c606c22571992fcd15a95e771e661d2f62308add8e97d93a

data/.rubocop.yml

@@ -27,7 +27,7 @@ Layout/MultilineMethodCallIndentation:
 Metrics/AbcSize:
   Enabled: false
 Metrics/BlockLength:
-  Max: 30
+  Max: 50
 Metrics/CyclomaticComplexity:
   Max: 25
 Metrics/PerceivedComplexity:

data/Gemfile

@@ -10,7 +10,7 @@ gem 'minitest', '5.25.4', require: false
 gem 'minitest-reporters', '1.7.1', require: false
 gem 'rake', '13.2.1', require: false
 gem 'rspec-rails', '7.1.1', require: false
-gem 'rubocop', '1.73.1', require: false
+gem 'rubocop', '1.73.2', require: false
 gem 'rubocop-minitest', '>0', require: false
 gem 'rubocop-performance', '>0', require: false
 gem 'rubocop-rake', '>0', require: false

data/Gemfile.lock

@@ -100,7 +100,7 @@ GEM
       date
       stringio
     racc (1.8.1)
-    rack (3.1.10)
+    rack (3.1.11)
     rack-session (2.1.0)
       base64 (>= 0.1.0)
       rack (>= 3.0.0)
@@ -148,7 +148,7 @@ GEM
       rspec-mocks (~> 3.13)
       rspec-support (~> 3.13)
     rspec-support (3.13.2)
-    rubocop (1.73.1)
+    rubocop (1.73.2)
       json (~> 2.3)
       language_server-protocol (~> 3.17.0.2)
       lint_roller (~> 1.1.0)
@@ -218,7 +218,7 @@ DEPENDENCIES
   minitest-reporters (= 1.7.1)
   rake (= 13.2.1)
   rspec-rails (= 7.1.1)
-  rubocop (= 1.73.1)
+  rubocop (= 1.73.2)
   rubocop-minitest (> 0)
   rubocop-performance (> 0)
   rubocop-rake (> 0)

data/README.md

@@ -208,37 +208,34 @@ This is the result of the benchmark:
 
 <!-- benchmark_begin -->
 ```text
-
-
-Benchmarking, please wait a few seconds...
                                                                    user     system      total        real
-insert 500 facts                                               0.017487   0.000000   0.017487 (  0.017560)
-export 500 facts                                               0.000517   0.000024   0.000541 (  0.000542)
-import 10456 bytes (500 facts)                                 0.000404   0.000000   0.000404 (  0.000404)
-insert 10 facts                                                0.001825   0.000000   0.001825 (  0.001826)
-query 10 times w/txn                                           0.049619   0.003999   0.053618 (  0.053621)
-query 10 times w/o txn                                         0.043671   0.000000   0.043671 (  0.043673)
-modify 10 attrs w/txn                                          0.030897   0.000975   0.031872 (  0.031875)
-delete 10 facts w/txn                                          0.012024   0.000013   0.012037 (  0.012038)
-(and (eq what 'issue-was-closed') (exists... -> 200            7.836740   0.018246   7.854986 (  7.855478)
-(and (eq what 'issue-was-closed') (exists... -> 200/txn        8.817858   0.014003   8.831861 (  8.832345)
-(and (eq what 'issue-was-closed') (exists... -> zero          10.051354   0.017001  10.068355 ( 10.069083)
-(and (eq what 'issue-was-closed') (exists... -> zero/txn      10.667497   0.016002  10.683499 ( 10.684435)
-(gt time '2024-03-23T03:21:43Z')                               0.008827   0.000000   0.008827 (  0.008827)
-(gt cost 50)                                                   0.009784   0.000002   0.009786 (  0.009789)
-(eq title 'Object Thinking 5000')                              0.008519   0.000000   0.008519 (  0.008523)
-(and (eq foo 42.998) (or (gt bar 200) (absent zzz)))           0.013591   0.000000   0.013591 (  0.013595)
-(eq id (agg (always) (max id)))                                0.021419   0.000000   0.021419 (  0.021423)
-(join "c<=cost,b<=bar" (eq id (agg (always) (max id))))        0.141201   0.000000   0.141201 (  0.141216)
-delete!                                                        0.004025   0.000000   0.004025 (  0.004027)
-Taped.append() x50000                                          0.038128   0.001997   0.040125 (  0.040130)
-Taped.each() x125                                              1.510154   0.001001   1.511155 (  1.511313)
-Taped.delete_if() x375                                         0.883123   0.000000   0.883123 (  0.883229)
+insert 20000 facts                                             0.561512   0.006100   0.567612 (  0.567669)
+export 20000 facts                                             0.021207   0.001926   0.023133 (  0.023136)
+import 411017 bytes (20000 facts)                              0.030268   0.004025   0.034293 (  0.034298)
+insert 10 facts                                                0.041799   0.003981   0.045780 (  0.045783)
+query 10 times w/txn                                           1.949384   0.022040   1.971424 (  1.971572)
+query 10 times w/o txn                                         0.766215   0.000000   0.766215 (  0.766298)
+modify 10 attrs w/txn                                          1.831320   0.019013   1.850333 (  1.850663)
+delete 10 facts w/txn                                          0.720217   0.000982   0.721199 (  0.721265)
+(and (eq what 'issue-was-closed') (exists... -> 200            2.699199   0.003986   2.703185 (  2.703395)
+(and (eq what 'issue-was-closed') (exists... -> 200/txn        2.711764   0.003998   2.715762 (  2.716000)
+(and (eq what 'issue-was-closed') (exists... -> zero           4.091858   0.003001   4.094859 (  4.095101)
+(and (eq what 'issue-was-closed') (exists... -> zero/txn       4.156396   0.003004   4.159400 (  4.159589)
+(gt time '2024-03-23T03:21:43Z')                               0.104266   0.001002   0.105268 (  0.105284)
+(gt cost 50)                                                   0.090716   0.000000   0.090716 (  0.090721)
+(eq title 'Object Thinking 5000')                              0.005533   0.000002   0.005535 (  0.005536)
+(and (eq foo 42.998) (or (gt bar 200) (absent zzz)))           0.053251   0.000002   0.053253 (  0.053255)
+(eq id (agg (always) (max id)))                                0.300388   0.000000   0.300388 (  0.300414)
+(join "c<=cost,b<=bar" (eq id (agg (always) (max id))))        1.254507   0.002999   1.257506 (  1.257555)
+delete!                                                        0.051979   0.000000   0.051979 (  0.051982)
+Taped.append() x50000                                          0.028540   0.000000   0.028540 (  0.028543)
+Taped.each() x125                                              1.332618   0.000000   1.332618 (  1.332645)
+Taped.delete_if() x375                                         0.815309   0.000000   0.815309 (  0.815348)
 ```
 
 The results were calculated in [this GHA job][benchmark-gha]
-on 2025-03-03 at 15:04,
+on 2025-03-12 at 08:03,
 on Linux with 4 CPUs.
 <!-- benchmark_end -->
 
-[benchmark-gha]: https://github.com/yegor256/factbase/actions/runs/13633891920
+[benchmark-gha]: https://github.com/yegor256/factbase/actions/runs/13806425302

data/REUSE.toml

@@ -4,6 +4,9 @@
 version = 1
 [[annotations]]
 path = [
+    "**.json",
+    "**.md",
+    "**.txt",
     "**/*.csv",
     "**/*.jpg",
     "**/*.json",
@@ -13,13 +16,15 @@ path = [
     "**/*.svg",
     "**/*.txt",
     "**/*.vm",
+    "**/.DS_Store",
     "**/.gitignore",
+    "**/.pdd",
     "**/CNAME",
+    "**/Gemfile.lock",
+    ".DS_Store",
     ".gitattributes",
     ".gitignore",
-    ".gitleaksignore",
     ".pdd",
-    ".xcop",
     "Gemfile.lock",
     "README.md",
     "renovate.json",

data/Rakefile

@@ -15,7 +15,7 @@ def version
   Gem::Specification.load(Dir['*.gemspec'].first).version
 end
 
-task default: %i[clean test rubocop yard benchmark]
+task default: %i[clean test rubocop yard]
 
 require 'rake/testtask'
 desc 'Run all unit tests'
@@ -42,7 +42,14 @@ end
 
 desc 'Benchmark them all'
 task :benchmark do
+  require_relative 'lib/factbase'
   fb = Factbase.new
+  require_relative 'lib/factbase/cached/cached_factbase'
+  fb = Factbase::CachedFactbase.new(fb)
+  require_relative 'lib/factbase/indexed/indexed_factbase'
+  fb = Factbase::IndexedFactbase.new(fb)
+  require_relative 'lib/factbase/sync/sync_factbase'
+  fb = Factbase::SyncFactbase.new(fb)
   require 'benchmark'
   Benchmark.bm(60) do |b|
     Dir['benchmark/bench_*.rb'].each do |f|

data/benchmark/bench_factbase.rb

@@ -6,7 +6,7 @@
 require_relative '../lib/factbase'
 
 def bench_factbase(bmk, fb)
-  total = 500
+  total = 20_000
   bmk.report("insert #{total} facts") do
     total.times do
       fact = fb.insert

data/fixtures/stories/agg.yml

@@ -0,0 +1,17 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+facts:
+  - name: Jeff
+    dob: 1979
+  - name: Walter
+    dob: 1976
+  - name: Maude
+    dob: 1983
+queries:
+  - query: (agg (lt dob 1980) (max dob))
+    one: 1979
+  - query: (agg (always) (min dob))
+    one: 1976
+  - query: (agg (and (eq name "Jeff") (lt dob 2025)) (min dob))
+    one: 1979

data/fixtures/stories/always.yml

@@ -0,0 +1,16 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: Jeff Lebowski
+    age: 41
+  - name: Walter Sobchak
+    age: 45
+  - name: Maude Lebowski
+    age: 31
+queries:
+  - query: (always)
+    size: 3
+  - query: (not (always))
+    size: 0

data/fixtures/stories/as.yml

@@ -0,0 +1,16 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: Jeff
+    dob: 1979
+  - name: Walter
+    dob: 1976
+  - name: Maude
+    dob: 1983
+queries:
+  - query: (as age (minus 2025 dob))
+    size: 3
+  - query: (as gender "m/f")
+    size: 3

data/fixtures/stories/count.yml

@@ -0,0 +1,18 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: Jeff
+    age: 41
+  - name: Walter
+    age: 45
+  - name: Maude
+    age: 31
+queries:
+  - query: (count)
+    one: 3
+  - query: (agg (eq name "Jeff") (count))
+    one: 1
+  - query: (agg (gt age 40) (count))
+    one: 2

data/fixtures/stories/eq.yml

@@ -0,0 +1,30 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - foo: 42
+    bar: 33
+  - name: Jeff Lebowski
+    age: 41
+  - name: Maude
+    friends: [Jeff, Donny]
+queries:
+  - query: (eq foo 42)
+    size: 1
+  - query: (not (eq foo 42))
+    size: 2
+  - query: (eq foo "42")
+    size: 0
+  - query: (not (eq foo "42"))
+    size: 3
+  - query: (eq foo 10)
+    size: 0
+  - query: (eq friends "Jeff")
+    size: 1
+  - query: (eq friends "Donny")
+    size: 1
+  - query: (eq name "Jeff Lebowski")
+    size: 1
+  - query: (eq bar "Hello")
+    size: 0

data/fixtures/stories/gt.yml

@@ -0,0 +1,18 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: Jeff Lebowski
+    age: 41
+  - name: Walter Sobchak
+    age: 45
+  - name: Maude Lebowski
+    age: 31
+queries:
+  - query: (gt age 40)
+    size: 2
+  - query: (not (gt age 40))
+    size: 1
+  - query: (and (gt age 30) (matches name "^M.*$"))
+    size: 1

data/fixtures/stories/join.yml

@@ -0,0 +1,19 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: Jeff
+  - name: Walter
+  - name: Maude
+  - person: Jeff
+    age: 41
+  - person: Walter
+    age: 45
+queries:
+  - query: (and (join 'age<=age' (eq person $name)) (exists age))
+    size: 4
+  - query: (and (join 'age' (eq person $name)) (exists age))
+    size: 4
+  - query: (and (join 'x<=age' (eq age (agg (exists person) (max age)))) (eq x 45))
+    size: 5

data/fixtures/stories/max.yml

@@ -0,0 +1,14 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: Jeff
+    age: 41
+  - name: Walter
+    age: 45
+  - name: Maude
+    age: 31
+queries:
+  - query: (max age)
+    one: 45

data/fixtures/stories/min.yml

@@ -0,0 +1,14 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: Jeff Lebowski
+    age: 41
+  - name: Walter Sobchak
+    age: 45
+  - name: Maude Lebowski
+    age: 31
+queries:
+  - query: (min age)
+    one: 31

data/fixtures/stories/nth.yml

@@ -0,0 +1,14 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: Jeff
+    cities: [LA, SF]
+  - name: Walter
+    cities: [LA, SF, NYC]
+queries:
+  - query: (eq "NYC" (agg (always) (nth 0 cities)))
+    size: 0
+  - query: (eq "NYC" (agg (always) (nth 1 cities)))
+    size: 2

data/fixtures/stories/or.yml

@@ -0,0 +1,18 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: BMW
+    price: 5600
+  - name: Ford
+    price: 3200
+    owner: Jeff
+  - name: Toyota
+    price: 9800
+    owners: [Jeff, Walter]
+queries:
+  - query: (or (eq price 5600) (gt price 6000))
+    size: 2
+  - query: (or (eq owner "Jeff") (eq owners "Walter"))
+    size: 2

data/fixtures/stories/sprintf.yml

@@ -0,0 +1,12 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - name: Jeff
+    age: 41
+queries:
+  - query: (sprintf "Hello, %s!" "world")
+    one: "Hello, world!"
+  - query: (sprintf "Hello, %s!" (agg (eq age 41) (first name)))
+    one: "Hello, Jeff!"

data/fixtures/stories/sum.yml

@@ -0,0 +1,14 @@
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+facts:
+  - title: Object Thinking
+    price: 29
+  - name: Clean Code
+    price: 27
+  - name: Refactorings
+    price: 41
+queries:
+  - query: (sum price)
+    one: 97

data/lib/factbase/cached/cached_fact.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require 'others'
+require_relative '../../factbase'
+
+# A single fact in a factbase, which is sentitive to changes.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
+# License:: MIT
+class Factbase::CachedFact
+  # Ctor.
+  # @param [Factbase::Fact] origin The original fact
+  # @param [Hash] cache Cache of queries (to clean it on attribute addition)
+  def initialize(origin, cache)
+    @origin = origin
+    @cache = cache
+  end
+
+  # When a method is missing, this method is called.
+  others do |*args|
+    @cache.clear if args[0].to_s.end_with?('=')
+    @origin.send(*args)
+  end
+end

data/lib/factbase/cached/cached_factbase.rb

@@ -0,0 +1,64 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require 'decoor'
+require_relative '../../factbase'
+require_relative '../../factbase/syntax'
+require_relative 'cached_fact'
+require_relative 'cached_query'
+require_relative 'cached_term'
+
+# A factbase with a cache.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
+# License:: MIT
+class Factbase::CachedFactbase
+  decoor(:origin)
+
+  # Constructor.
+  # @param [Factbase] origin Original factbase to decorate
+  # @param [Hash] cache Cache to use
+  def initialize(origin, cache = {})
+    raise 'Wront type of original' unless origin.respond_to?(:query)
+    @origin = origin
+    raise 'Wront type of cache' unless cache.is_a?(Hash)
+    @cache = cache
+  end
+
+  # Insert a new fact and return it.
+  # @return [Factbase::Fact] The fact just inserted
+  def insert
+    @cache.clear
+    Factbase::CachedFact.new(@origin.insert, @cache)
+  end
+
+  # Convert a query to a term.
+  # @param [String] query The query to convert
+  # @return [Factbase::Term] The term
+  def to_term(query)
+    t = @origin.to_term(query)
+    t.redress!(Factbase::CachedTerm, cache: @cache)
+    t
+  end
+
+  # Create a query capable of iterating.
+  # @param [String] term The term to use
+  # @param [Array<Hash>] maps Possible maps to use
+  def query(term, maps = nil)
+    term = to_term(term) if term.is_a?(String)
+    q = @origin.query(term, maps)
+    q = Factbase::CachedQuery.new(q, @cache, self) unless term.abstract?
+    q
+  end
+
+  # Run an ACID transaction.
+  # @return [Factbase::Churn] How many facts have been changed (zero if rolled back)
+  def txn
+    @origin.txn do |fbt|
+      yield Factbase::CachedFactbase.new(fbt, @cache)
+    end
+  end
+end

data/lib/factbase/cached/cached_query.rb

@@ -0,0 +1,61 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative '../../factbase'
+
+# Query with a cache, a decorator of another query.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
+# License:: MIT
+class Factbase::CachedQuery
+  # Constructor.
+  # @param [Factbase::Query] origin Original query
+  # @param [Hash] cache The cache
+  def initialize(origin, cache, fb)
+    @origin = origin
+    @cache = cache
+    @fb = fb
+  end
+
+  # Print it as a string.
+  # @return [String] The query as a string
+  def to_s
+    @origin.to_s
+  end
+
+  # Iterate facts one by one.
+  # @param [Hash] params Optional params accessible in the query via the "$" symbol
+  # @yield [Fact] Facts one-by-one
+  # @return [Integer] Total number of facts yielded
+  def each(fb = @fb, params = nil)
+    return to_enum(__method__, fb, params) unless block_given?
+    key = "each #{@origin}"
+    before = @cache[key]
+    @cache[key] = @origin.each(fb).to_a if before.nil?
+    @cache[key].each do |f|
+      require_relative 'cached_fact'
+      yield Factbase::CachedFact.new(f, @cache)
+    end
+  end
+
+  # Read a single value.
+  # @param [Hash] fb The factbase
+  # @param [Hash] _params Optional params accessible in the query via the "$" symbol (unused)
+  # @return The value evaluated
+  def one(fb = @fb, _params = nil)
+    key = "one: #{@origin}"
+    before = @cache[key]
+    @cache[key] = @origin.one(fb) if before.nil?
+    @cache[key]
+  end
+
+  # Delete all facts that match the query.
+  # @return [Integer] Total number of facts deleted
+  def delete!(fb = @fb)
+    @cache.clear
+    @origin.delete!(fb)
+  end
+end

data/lib/factbase/cached/cached_term.rb

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative '../../factbase'
+
+# Term with a cache.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
+# License:: MIT
+module Factbase::CachedTerm
+  # Does it match the fact?
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @return [bool] TRUE if matches
+  def evaluate(fact, maps, fb)
+    return super unless static? && !abstract?
+    key = [maps.object_id, to_s]
+    before = @cache[key]
+    @cache[key] = super if before.nil?
+    @cache[key]
+  end
+end