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 |
Ziyang Hu
|
5eb8cf5bcb
|
all benchmarks
|
2 years ago |
Ziyang Hu
|
b5a6e7b998
|
benchmarks
|
2 years ago |
Ziyang Hu
|
71948ce4a5
|
build script linux
|
2 years ago |
Ziyang Hu
|
b1c6c9f2e5
|
more efficient graph algo
|
2 years ago |
Ziyang Hu
|
85827e6d68
|
lifetime
|
2 years ago |
Ziyang Hu
|
71f1530368
|
optimize sqlite storage
|
2 years ago |
Ziyang Hu
|
810bc17e82
|
add note about imports not running triggers
|
2 years ago |
Ziyang Hu
|
b28b92605c
|
fix trigger
|
2 years ago |
Ziyang Hu
|
3722db07af
|
update badges and build script
|
2 years ago |
Ziyang Hu
|
807e24bb50
|
bump version and fix dependencies
|
2 years ago |
Ziyang Hu
|
f2cc74d284
|
Use github links for tutorial
|
2 years ago |
Ziyang Hu
|
1e75972674
|
More structured Rust API
|
2 years ago |
Ziyang Hu
|
118faf7a5d
|
Always bundle Sqlite if required
|
2 years ago |
Ziyang Hu
|
6beaeb3fdb
|
Update feature docs
|
2 years ago |
Ziyang Hu
|
bcdafec044
|
Update feature docs
|
2 years ago |
Ziyang Hu
|
b208133388
|
update rust doc
|
2 years ago |
Ziyang Hu
|
67ebad2b3e
|
fix data restore
|
2 years ago |
Ziyang Hu
|
7f9a0b3b31
|
remember to commit
|
2 years ago |
Ziyang Hu
|
8f2e918f91
|
bump version and update API
|
2 years ago |
Ziyang Hu
|
6673bc5931
|
import/export should respect access level
|
2 years ago |
Ziyang Hu
|
a01640df84
|
fix tikv compilation
|
2 years ago |
Ziyang Hu
|
3b80b02906
|
Improve the use of serde
|
2 years ago |
Ziyang Hu
|
d03ea7d13d
|
WASM improvements; direct data imports
|
2 years ago |
Ziyang Hu
|
edc89d2f87
|
refactor tests
|
2 years ago |
Ziyang Hu
|
d7899e0cb4
|
cozoserver restore logic
|
2 years ago |
Ziyang Hu
|
efe100216a
|
reject database restore if data exists
|
2 years ago |
Ziyang Hu
|
519f5f990c
|
bump deps
|
2 years ago |
Ziyang Hu
|
82b35f90da
|
bump deps versions
|
2 years ago |
Ziyang Hu
|
064ded8d53
|
fix import
|
2 years ago |
Ziyang Hu
|
f82254b843
|
fix exports
|
2 years ago |
Ziyang Hu
|
5059f9bbbc
|
fix in-mem deletion
|
2 years ago |
Ziyang Hu
|
d1cf58a7ce
|
update main docs
|
2 years ago |
Ziyang Hu
|
458e6c4106
|
improve import_relations API
|
2 years ago |
Ziyang Hu
|
d12b34e745
|
improve import_relations API
|
2 years ago |
Ziyang Hu
|
ef7c6cc4fd
|
Stick to ANSI colours
|
2 years ago |
Ziyang Hu
|
b42ab4c6de
|
Mac build script
|
2 years ago |
Ziyang Hu
|
f1136887c9
|
adapt server to new API; fix #13
|
2 years ago |
Ziyang Hu
|
01f508188d
|
adapt WASM to new API
|
2 years ago |
Ziyang Hu
|
d278768f82
|
check for unreasonable sqlite path
|
2 years ago |
Ziyang Hu
|
8bd44aca33
|
swift interop
|
2 years ago |
Ziyang Hu
|
7819436522
|
DB dispatcher
|
2 years ago |
Ziyang Hu
|
5fd85b9d98
|
update the C library
|
2 years ago |
Ziyang Hu
|
f15be33d58
|
fix typo
|
2 years ago |
Ziyang Hu
|
4366a2274e
|
import/export
|
2 years ago |
Ziyang Hu
|
abe6866065
|
finish web demo
|
2 years ago |
Ziyang Hu
|
5d41f028ea
|
time functions for WASM
|
2 years ago |
Ziyang Hu
|
d7831dd48d
|
compile for WASM
|
2 years ago |
Ziyang Hu
|
398fa15f15
|
make compiler warnings go away
|
2 years ago |
Ziyang Hu
|
97ef8d4a2a
|
make cozo run within a single thread
|
2 years ago |
Ziyang Hu
|
4dc26a8e5a
|
wasm
|
2 years ago |
Ziyang Hu
|
cad908edbc
|
use `exists` instead of `put`
|
2 years ago |
Ziyang Hu
|
0085511063
|
typo
|
2 years ago |
Ziyang Hu
|
f4519df699
|
update copyright notice
|
2 years ago |
Ziyang Hu
|
a863dd0de1
|
move stuff around; document features
|
2 years ago |
Ziyang Hu
|
9c3c97c32a
|
rename stuff
|
2 years ago |
Ziyang Hu
|
264c875b8a
|
documentation
|
2 years ago |
Ziyang Hu
|
e726141c1d
|
safer sqlite
|
2 years ago |
Ziyang Hu
|
a14e09eb45
|
mem storage support
|
2 years ago |
Ziyang Hu
|
c7877749ac
|
sqlite support
|
2 years ago |
Ziyang Hu
|
d8f37a7b2d
|
more lifetime bounds
|
2 years ago |
Ziyang Hu
|
e5b510fa8d
|
keep only the essentials
|
2 years ago |
Ziyang Hu
|
5a8156058a
|
remove commented parts
|
2 years ago |
Ziyang Hu
|
4fc5b3eb10
|
add lifetime on sessiontx
|
2 years ago |
Ziyang Hu
|
7b3e0c39cf
|
range scan may depend on the lifetime of session
|
2 years ago |
Ziyang Hu
|
51c9206b35
|
TiKV storage engine performance improvement
|
2 years ago |
Ziyang Hu
|
c89fa987ee
|
TiKV storage engine
|
2 years ago |
Ziyang Hu
|
bf165c22f7
|
read-write distinction in the tx API
|
2 years ago |
Ziyang Hu
|
eb608fe548
|
Sled engine is ready.
|
2 years ago |
Ziyang Hu
|
e270ad8f3c
|
make database code generic
|
2 years ago |
Ziyang Hu
|
ecc97542bd
|
move the core library into its own directory
|
2 years ago |