Ziyang Hu
|
f579b971da
|
vector functions
|
1 year ago |
|
Ziyang Hu
|
4bdc9a5bd1
|
bump rocksdb version
|
1 year ago |
|
Ziyang Hu
|
f10cbfe019
|
hnsw indexing ops
|
1 year ago |
|
Ziyang Hu
|
ef92dd62f4
|
fix leak
|
1 year ago |
|
Ziyang Hu
|
44ee2e939a
|
use ndarray to represent vector
|
1 year ago |
|
Ziyang Hu
|
a67dcda7bc
|
format
|
1 year ago |
|
Ziyang Hu
|
833d155027
|
vec values and typings
|
1 year ago |
|
Ziyang Hu
|
01b5dfca9b
|
additional types
|
1 year ago |
|
Ziyang Hu
|
5a64821eca
|
resolves https://github.com/cozodb/cozo/issues/49
|
1 year ago |
|
Ziyang Hu
|
473774fc75
|
Merge branch 'main' into dev
|
2 years ago |
|
Ziyang Hu
|
5f38aa35ca
|
bump version
|
2 years ago |
|
Ziyang Hu
|
b517b396c9
|
Merge branch 'main' into dev
|
2 years ago |
|
Ziyang Hu
|
6750c9083c
|
fix import with JSON
|
2 years ago |
|
Ziyang Hu
|
2744673c0a
|
Merge branch 'dev' of gitee.com:cozodb/cozo into dev
|
2 years ago |
|
Ziyang Hu
|
9e743f0310
|
fixed rules support namespace
|
2 years ago |
|
Ziyang Hu
|
7bb09a27c0
|
Merge branch 'main' into dev
|
2 years ago |
Goldstein
|
07af70899c
|
add FixedRulePayload::inputs_count()
|
2 years ago |
|
Ziyang Hu
|
6233111fa5
|
fix typo and improve example
As discussed in https://github.com/cozodb/cozo/issues/37
|
2 years ago |
|
Ziyang Hu
|
f97c497d31
|
make imperative scripts stoppable
|
2 years ago |
|
Ziyang Hu
|
f975f2eec0
|
forbid unregister default rules
|
2 years ago |
|
Ziyang Hu
|
f8af23a19e
|
disallow destroying relations with indices
|
2 years ago |
|
Ziyang Hu
|
b07e28c420
|
disallow destroying relations with indices
|
2 years ago |
|
Ziyang Hu
|
0b0830d1ba
|
use axum for server; implement callback SSE
|
2 years ago |
|
Ziyang Hu
|
b30ebf7b77
|
fix compilation
|
2 years ago |
|
Ziyang Hu
|
99a12b6868
|
multi-transactions
|
2 years ago |
|
Ziyang Hu
|
91ebe758c1
|
make DB Clone again
|
2 years ago |
|
Ziyang Hu
|
9ccb891233
|
formatting
|
2 years ago |
|
Ziyang Hu
|
6411e42e9c
|
improve python API
|
2 years ago |
|
Ziyang Hu
|
525cfeff59
|
Don't go through JSON
|
2 years ago |
|
Ziyang Hu
|
8bff4eb92e
|
change channel fixed rule signature
|
2 years ago |
|
Ziyang Hu
|
5bb68486f5
|
Python callbacks and fixed rules
|
2 years ago |
|
Ziyang Hu
|
a5ad6b5633
|
change language APIs to match the new Rust API
|
2 years ago |
|
Ziyang Hu
|
e374f5afe1
|
fixed rules can now be unregistered at will
|
2 years ago |
|
Ziyang Hu
|
cbf53bfbef
|
Listing fixed rules
|
2 years ago |
|
Ziyang Hu
|
5326a16595
|
db does not need to be Clone
|
2 years ago |
|
Ziyang Hu
|
6938b98be4
|
multiple returns
|
2 years ago |
|
Ziyang Hu
|
1f5949e4a3
|
simple fixed rule
|
2 years ago |
|
Ziyang Hu
|
e98942aa78
|
be conservative in index selection
|
2 years ago |
|
Ziyang Hu
|
b1a585fdea
|
remove outdated test parts
|
2 years ago |
|
Ziyang Hu
|
359b58246c
|
better inline docs
|
2 years ago |
|
Ziyang Hu
|
3c83761ec6
|
better inline docs
|
2 years ago |
|
Ziyang Hu
|
4545fbfe0b
|
better inline docs
|
2 years ago |
|
Ziyang Hu
|
890ef14f80
|
better inline docs
|
2 years ago |
|
Ziyang Hu
|
c880c6a330
|
better inline docs
|
2 years ago |
|
Ziyang Hu
|
caa41419ae
|
more guardrails for preventing messing up indices
|
2 years ago |
|
Ziyang Hu
|
6a5f55db64
|
fix doc link
|
2 years ago |
|
Ziyang Hu
|
bcf37ddc52
|
expanded the public API
|
2 years ago |
|
Ziyang Hu
|
b91e456237
|
update dependencies
|
2 years ago |
|
Ziyang Hu
|
348f17b2cf
|
restructure code
|
2 years ago |
|
Ziyang Hu
|
758f7392f0
|
tests for custom fixed rules
|
2 years ago |
|
Ziyang Hu
|
bf48a44030
|
tests for index
|
2 years ago |
|
Ziyang Hu
|
de9cfb2bd8
|
fix old collection
|
2 years ago |
|
Ziyang Hu
|
b9bd7bbcb0
|
improve tests for triggers
|
2 years ago |
|
Ziyang Hu
|
2ddb91ad9f
|
version check on startup
|
2 years ago |
|
Ziyang Hu
|
e7fd785584
|
disable callbacks for WASM
|
2 years ago |
|
Ziyang Hu
|
a6a9419a35
|
implemented index
|
2 years ago |
|
Ziyang Hu
|
a375eff792
|
index creation and deletion; fix trigger decoding
|
2 years ago |
|
Ziyang Hu
|
92928dfef2
|
index op parser
|
2 years ago |
|
Ziyang Hu
|
4e99083664
|
prepare for index locks
|
2 years ago |
|
Ziyang Hu
|
381f024ac4
|
RwLock -> ShardedLock
|
2 years ago |
|
Ziyang Hu
|
172280a3a7
|
fix callbacks not running
|
2 years ago |
|
Ziyang Hu
|
798facf94d
|
implemented callbacks
|
2 years ago |
|
Ziyang Hu
|
4437800bdf
|
path mess
|
2 years ago |
|
Ziyang Hu
|
523cc8a2ac
|
simplify imperative scripts
|
2 years ago |
|
Ziyang Hu
|
f6ac1a63d5
|
imperative scripts
|
2 years ago |
|
Ziyang Hu
|
8c8840957a
|
implemented imperative script
|
2 years ago |
|
Ziyang Hu
|
e795a2cb9a
|
prepare for imperative scripts
|
2 years ago |
|
Ziyang Hu
|
e4d082ddc4
|
fix mod precedence
|
2 years ago |
|
Ziyang Hu
|
f9725edcad
|
fix conditional jumps
|
2 years ago |
|
Ziyang Hu
|
f9be50cab7
|
rename stuff
|
2 years ago |
|
Ziyang Hu
|
c110f3be45
|
use stack-based bytecodes instead of tree-walking for evaluating expressions
|
2 years ago |
|
Ziyang Hu
|
985c0d758a
|
Merge branch 'dev' of gitee.com:cozodb/cozo into dev
|
2 years ago |
|
Ziyang Hu
|
5963b35aac
|
replace yields with temp stores
|
2 years ago |
|
Ziyang Hu
|
722175e2ff
|
prepare for imperative scripts
|
2 years ago |
|
Ziyang Hu
|
0c7f2a3d27
|
python wrapper no longer goes through strings
|
2 years ago |
|
Ziyang Hu
|
c3c674950f
|
cleanup of type conversion
|
2 years ago |
|
Ziyang Hu
|
2d5921a4e8
|
extract error format function
|
2 years ago |
|
Ziyang Hu
|
7914885889
|
bump version
|
2 years ago |
|
Ziyang Hu
|
ba333c3883
|
Do not use JSON for intermediate results
|
2 years ago |
|
Ziyang Hu
|
14c9813fd4
|
shorter WASM32 conditional tests
|
2 years ago |
|
Ziyang Hu
|
46f4e8e0fe
|
deterministic ordering even with parallelism
|
2 years ago |
|
Ziyang Hu
|
5dba39143d
|
revert skip
|
2 years ago |
|
Ziyang Hu
|
3eece2ca3d
|
skip rayon if only one rule
|
2 years ago |
|
Ziyang Hu
|
ac54a7cb08
|
make clippy happy
|
2 years ago |
|
Ziyang Hu
|
cb8ce96995
|
make store-tx parallel
|
2 years ago |
|
Ziyang Hu
|
07c9415f37
|
parallel execution
|
2 years ago |
|
Ziyang Hu
|
16240209db
|
rewrite semi-naive, suggestive of parallel execution
|
2 years ago |
|
Ziyang Hu
|
83683fcdd5
|
decrease mutability further
|
2 years ago |
|
Ziyang Hu
|
853c1f3713
|
bump version
|
2 years ago |
|
Ziyang Hu
|
a754a3b701
|
Ctrl-C kills current query in REPL
|
2 years ago |
|
Ziyang Hu
|
4b33e9e848
|
import data from file or URL
|
2 years ago |
|
Ziyang Hu
|
1bd9a0c2bb
|
fix panic when running pagerank on empty graph
|
2 years ago |
|
Ziyang Hu
|
285c9a57ad
|
update docs
|
2 years ago |
|
Ziyang Hu
|
cc7f6ccbd3
|
update readme
|
2 years ago |
|
Ziyang Hu
|
687f2ad1c0
|
bump rocksdb version
|
2 years ago |
|
Ziyang Hu
|
2b5c15d556
|
update URLs
|
2 years ago |
|
Ziyang Hu
|
8d7bb9e454
|
new `to_int` conversion function
|
2 years ago |
|
Ziyang Hu
|
936eee48c1
|
assertions are "closed", whereas retractions are "open".
|
2 years ago |
|
Ziyang Hu
|
54dc0bcc9b
|
fix function for wasm
|
2 years ago |
|
Ziyang Hu
|
e2fed657d3
|
make additional engines compile
|
2 years ago |
|
Ziyang Hu
|
0b0bbef1cb
|
Merge branch 'dev' of gitee.com:cozodb/cozo into dev
|
2 years ago |
|
Ziyang Hu
|
2ca3ed79d8
|
prepare for 0.4
|
2 years ago |
|
Ziyang Hu
|
d57224aa87
|
move tests
|
2 years ago |
|
Ziyang Hu
|
1eec1374ba
|
yielding relations for the next block
|
2 years ago |
|
Ziyang Hu
|
36b5b804e5
|
yielding relations for the next block
|
2 years ago |
|
Ziyang Hu
|
46d89a24f2
|
prepare for yielding relations
|
2 years ago |
|
Ziyang Hu
|
6b246d8f27
|
underscores are ignored for all unification; stricter checks for fixed rule bindings
|
2 years ago |
|
Ziyang Hu
|
6ac4ec33c2
|
add tests for default columns generation
|
2 years ago |
|
Ziyang Hu
|
0953c516bb
|
rm does not need all keys
|
2 years ago |
|
Ziyang Hu
|
ef7f58b368
|
rm does not need all keys
|
2 years ago |
|
Ziyang Hu
|
adcea96088
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
2193cee639
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
b885e01026
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
cf73749ce5
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
56a71078f9
|
smallest_by
|
2 years ago |
|
Ziyang Hu
|
0bad3da7c2
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
c1b61eac8d
|
time travel query
|
2 years ago |
|
Ziyang Hu
|
1df0257bf8
|
smallest_by
|
2 years ago |
|
Ziyang Hu
|
7a89ecbc3c
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
cabd00df3d
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
4629e03b09
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
37b746b043
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
6625de5fee
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
5671df2411
|
time travel bench size
|
2 years ago |
|
Ziyang Hu
|
42f5946539
|
time travel bench
|
2 years ago |
|
Ziyang Hu
|
115e955265
|
validity inputs
|
2 years ago |
|
Ziyang Hu
|
7aaea2de42
|
time travel functionality
|
2 years ago |
|
Ziyang Hu
|
cd43966389
|
stubs for more localized README
|
2 years ago |
|
Ziyang Hu
|
a51cd4f77a
|
make valid_at argument dangling
|
2 years ago |
|
Ziyang Hu
|
9ddba9d333
|
use microseconds to store validity
|
2 years ago |
|
Ziyang Hu
|
30070590e0
|
push validity spec to RA
|
2 years ago |
|
Ziyang Hu
|
438c466f1b
|
parsing validity spec
|
2 years ago |
|
Ziyang Hu
|
09f578d085
|
prepare for the restoration of validity
|
2 years ago |
|
Ziyang Hu
|
f14a46552c
|
pagerank tests
|
2 years ago |
|
Ziyang Hu
|
8980e85224
|
change test name
|
2 years ago |
|
Ziyang Hu
|
2acda1c48f
|
change test name
|
2 years ago |
|
Ziyang Hu
|
c24d1f058f
|
update realistic benchmarks
|
2 years ago |
|
Ziyang Hu
|
31486c84e6
|
update realistic benchmarks
|
2 years ago |
|
Ziyang Hu
|
fcfe75b04b
|
remove db before each benchmark
|
2 years ago |
|
Ziyang Hu
|
d3b8408529
|
separate bench
|
2 years ago |
|
Ziyang Hu
|
f2b96c4c26
|
make backup/restore smoother
|
2 years ago |
|
Ziyang Hu
|
1b95c2616d
|
bump versions
|
2 years ago |
|
Ziyang Hu
|
cea1dc5acc
|
materialized join cannot be cached
|
2 years ago |
|
Ziyang Hu
|
d1349955b1
|
make everything compile again
|
2 years ago |
|
Ziyang Hu
|
3b29579c48
|
update algorithms to use more efficient graph representation
|
2 years ago |
|
Ziyang Hu
|
03d23173cb
|
adds BFS shortest path
|
2 years ago |
|
Ziyang Hu
|
5c7bff171c
|
tx callbacks
|
2 years ago |
|
Ziyang Hu
|
82dd566717
|
naming consistency
|
2 years ago |
|
Ziyang Hu
|
9cadfc48a7
|
pave way for custom algorithms
|
2 years ago |
|
Ziyang Hu
|
8aaae15be8
|
algo options may be huge, do not copy
|
2 years ago |
|
Ziyang Hu
|
e09a1e4b09
|
Rc algo impl instead of initializing a new one
|
2 years ago |
|
Ziyang Hu
|
847ac55cfc
|
avoid copying programs
|
2 years ago |
|
Ziyang Hu
|
6beec31ada
|
AlgoImpl now has a much cleaner API
|
2 years ago |
|
Ziyang Hu
|
5bc0219b07
|
rename to regular temp store; make it the public interface
|
2 years ago |
|
Ziyang Hu
|
6c25a8278e
|
Options to tune RocksDB engine
|
2 years ago |
|
Ziyang Hu
|
59aab748ee
|
coalesce function
|
2 years ago |
|
Ziyang Hu
|
17f52713a1
|
rename confusing field
|
2 years ago |
|
Ziyang Hu
|
1e5cf1e053
|
remove unused source files
|
2 years ago |
|
Ziyang Hu
|
104d14a1a4
|
new tempstore now passes all tests
|
2 years ago |
|
Ziyang Hu
|
ae730c006f
|
fix semi-naive delta eval
|
2 years ago |
|
Ziyang Hu
|
53ada74a52
|
migrated to new stores
|
2 years ago |
|
Ziyang Hu
|
9cebe63772
|
better store removal logic
|
2 years ago |
|
Ziyang Hu
|
2e8bbdc62e
|
localize store usage further
|
2 years ago |
|
Ziyang Hu
|
0a0d0d0148
|
localize tempstore creation
|
2 years ago |
|
Ziyang Hu
|
86289cd628
|
documenting
|
2 years ago |
|
Ziyang Hu
|
2d6b56fdf3
|
Change the way temp stores are passed
|
2 years ago |
|
Ziyang Hu
|
f6f7aa9ccf
|
rename relation
|
2 years ago |
|
Ziyang Hu
|
d95e8281c9
|
refactor eval
|
2 years ago |
|
Ziyang Hu
|
0f84dfca8d
|
temp store
|
2 years ago |
|
Ziyang Hu
|
4ef4404d87
|
non-grouping aggregations now always return exactly one row
|
2 years ago |
|
Ziyang Hu
|
233acd290f
|
to_unity function
|
2 years ago |
|
Ziyang Hu
|
b9c4783e4d
|
pull out point lookups
|
2 years ago |
|
Ziyang Hu
|
315160418d
|
remove debug info
|
2 years ago |
|
Ziyang Hu
|
93276a2bcb
|
remove debug info
|
2 years ago |
|
Ziyang Hu
|
2d0caa842e
|
point lookup optimization further
|
2 years ago |
|
Ziyang Hu
|
84d90f2613
|
point lookup optimization
|
2 years ago |
|
Ziyang Hu
|
b16c5db431
|
rethink Tuple type
|
2 years ago |
|
Ziyang Hu
|
f5f0683548
|
add tests for limit/offset
|
2 years ago |
|
Ziyang Hu
|
987cefd0b0
|
requiring meet aggregations all to be in the last positions
|
2 years ago |
|
Ziyang Hu
|
3a29935f9b
|
fix algo in non-zero epochs; prepare for new temp storage
|
2 years ago |
|
Ziyang Hu
|
930e3888a5
|
r/w qps
|
2 years ago |
|
Ziyang Hu
|
c11042e41c
|
update queries
|
2 years ago |
|
Ziyang Hu
|
d89c2cf4f6
|
update queries
|
2 years ago |
|
Ziyang Hu
|
01b0cb4e2b
|
optimize materialized join further
|
2 years ago |
|
Ziyang Hu
|
ab667a6ac0
|
optimize materialized join
|
2 years ago |
|
Ziyang Hu
|
b1ea7240e1
|
formalized unnecessary copying
|
2 years ago |
|
Ziyang Hu
|
0f397e2873
|
epoch based evaluation
|
2 years ago |
|
Ziyang Hu
|
45f4d2f257
|
don't lock relations needlessly
|
2 years ago |
|
Ziyang Hu
|
a91cfc840d
|
refactor normal aggr
|
2 years ago |
|
Ziyang Hu
|
aa7c852bee
|
first layer rwlock -> refcell
|
2 years ago |
|
Ziyang Hu
|
44893d7f91
|
use coalesce
|
2 years ago |
|
Ziyang Hu
|
7804174603
|
less poisoning
|
2 years ago |
|
Ziyang Hu
|
071e8d1db1
|
change count to keep with mg
|
2 years ago |
|
Ziyang Hu
|
70ab025d6b
|
keep db
|
2 years ago |
|
Ziyang Hu
|
f28d86e5b4
|
keep db
|
2 years ago |
|
Ziyang Hu
|
b546329a9c
|
keep db
|
2 years ago |
|
Ziyang Hu
|
c6ea6cd354
|
options later
|
2 years ago |
|
Ziyang Hu
|
08a8b93ff5
|
fix test
|
2 years ago |
|
Ziyang Hu
|
cbee89a3e1
|
fix test
|
2 years ago |
|
Ziyang Hu
|
289bf59719
|
retry if busy
|
2 years ago |