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
|
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
|
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
|
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
|
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
|
cf73749ce5
|
time travel query
|
2 years ago |
Ziyang Hu
|
56a71078f9
|
smallest_by
|
2 years ago |
Ziyang Hu
|
1df0257bf8
|
smallest_by
|
2 years ago |
Ziyang Hu
|
7a89ecbc3c
|
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
|
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
|
f2b96c4c26
|
make backup/restore smoother
|
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
|
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
|
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
|
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
|
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
|
d7899e0cb4
|
cozoserver restore logic
|
2 years ago |
Ziyang Hu
|
efe100216a
|
reject database restore if data exists
|
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
|
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
|
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 |