Ziyang Hu
|
9e94b29f8b
|
algo application and degree centrality
|
2 years ago |
|
Ziyang Hu
|
97874e6ad5
|
algo application
|
2 years ago |
|
Ziyang Hu
|
736fba6526
|
refactor staircase
|
2 years ago |
|
Ziyang Hu
|
1fcd950c04
|
place for algo
|
2 years ago |
|
Ziyang Hu
|
0962af3762
|
parsing algo application
|
2 years ago |
|
Ziyang Hu
|
df429e7451
|
more aggrs and ops
|
2 years ago |
|
Ziyang Hu
|
136574e4ad
|
listing views
|
2 years ago |
|
Ziyang Hu
|
13c568dbfd
|
op rederive for views
|
2 years ago |
|
Ziyang Hu
|
d2f6da6ae1
|
view
|
2 years ago |
|
Ziyang Hu
|
507a7e4fea
|
impl view
|
2 years ago |
|
Ziyang Hu
|
740317cc1b
|
renaming
|
2 years ago |
|
Ziyang Hu
|
6fcc0b788d
|
range scanning
|
2 years ago |
|
Ziyang Hu
|
c7b293bde0
|
range scanning
|
2 years ago |
|
Ziyang Hu
|
2873e68237
|
range scanning
|
2 years ago |
|
Ziyang Hu
|
24f79b4426
|
error handling
|
2 years ago |
|
Ziyang Hu
|
808bc7ec61
|
prepare for range scan
|
2 years ago |
|
Ziyang Hu
|
7088cf9bb5
|
game with bounds
|
2 years ago |
|
Ziyang Hu
|
b0c77a7998
|
speed up
|
2 years ago |
|
Ziyang Hu
|
ff14454d90
|
speed up
|
2 years ago |
|
Ziyang Hu
|
e68106f794
|
no history scanning has some problems
|
2 years ago |
|
Ziyang Hu
|
c624951f45
|
specialized iterator for no history
|
2 years ago |
|
Ziyang Hu
|
78e49e4a52
|
cartesian join needs elimination as well
|
2 years ago |
|
Ziyang Hu
|
f52f328915
|
try to have associated filters
|
2 years ago |
|
Ziyang Hu
|
d0e6fcb9f1
|
finish air routes
|
2 years ago |
|
Ziyang Hu
|
5b12d18a2d
|
fix meet aggregation stratum
|
2 years ago |
|
Ziyang Hu
|
84cdb30170
|
great circle distances
|
2 years ago |
|
Ziyang Hu
|
a7d97ac08a
|
append op
|
2 years ago |
|
Ziyang Hu
|
f437cf0160
|
sort op
|
2 years ago |
|
Ziyang Hu
|
ae54c98fbc
|
fix script parsing
|
2 years ago |
|
Ziyang Hu
|
43d46ecb5d
|
group count; map type; fix normal aggr;
|
2 years ago |
|
Ziyang Hu
|
b5d3545160
|
fix starts_with
|
2 years ago |
|
Ziyang Hu
|
0e32a8cb69
|
more ops
|
2 years ago |
|
Ziyang Hu
|
a689be7b9c
|
op length
|
2 years ago |
|
Ziyang Hu
|
1b30a337ce
|
more aggr ops
|
2 years ago |
|
Ziyang Hu
|
01612d7c69
|
is_in unification
|
2 years ago |
|
Ziyang Hu
|
1f31d8d695
|
aggregation with args
|
2 years ago |
|
Ziyang Hu
|
7f238f5315
|
list op
|
2 years ago |
|
Ziyang Hu
|
41c1f9b946
|
more aggr ops
|
2 years ago |
|
Ziyang Hu
|
1f5639e8e3
|
params pool
|
2 years ago |
|
Ziyang Hu
|
6362083faf
|
operators in const rule
|
2 years ago |
|
Ziyang Hu
|
db75893c5b
|
improve aggregation
|
2 years ago |
|
Ziyang Hu
|
8f5c3a9574
|
const relations
|
2 years ago |
|
Ziyang Hu
|
ee5d60817c
|
change number representation
|
2 years ago |
|
Ziyang Hu
|
8150e3573e
|
sorting should not unnecessarily dedup
|
2 years ago |
|
Ziyang Hu
|
a46be0dd33
|
disambiguate guard and bottom
|
2 years ago |
|
Ziyang Hu
|
cf6ad6bfe9
|
many tests
|
2 years ago |
|
Ziyang Hu
|
83b4c31679
|
fix normal aggr in epoch 0
|
2 years ago |
|
Ziyang Hu
|
ece7595be2
|
aggregation must have same heads; change aggregation semantics to be consistent with intuition
|
2 years ago |
|
Ziyang Hu
|
7c3fd7a58a
|
tests; ignored var
|
2 years ago |
|
Ziyang Hu
|
1bcb444a40
|
start testing
|
2 years ago |
|
Ziyang Hu
|
6e85a56816
|
script all the way
|
2 years ago |
|
Ziyang Hu
|
2d94a4063e
|
pull and sort in script
|
2 years ago |
|
Ziyang Hu
|
e805edf758
|
schema scripting
|
2 years ago |
|
Ziyang Hu
|
e0b958136f
|
schema scripting
|
2 years ago |
|
Ziyang Hu
|
b2aaaf2cc4
|
cozoscript parser
|
2 years ago |
Ziyang Hu
|
191658b81b
|
parser gen
|
2 years ago |
|
Ziyang Hu
|
d54658074d
|
cozoscript parser
|
2 years ago |
|
Ziyang Hu
|
08e8ddc751
|
cozoscript parser
|
2 years ago |
|
Ziyang Hu
|
860d973c12
|
sorters
|
2 years ago |
|
Ziyang Hu
|
2e32e1a754
|
parsing sorters
|
2 years ago |
|
Ziyang Hu
|
fad9cf9e09
|
sorters
|
2 years ago |
|
Ziyang Hu
|
2f3b31341c
|
limit and offset
|
2 years ago |
|
Ziyang Hu
|
8612cbabfa
|
dup symbols in rule heads
|
2 years ago |
|
Ziyang Hu
|
582f8213b1
|
fix aggregation problems
|
2 years ago |
|
Ziyang Hu
|
e6ab334caf
|
aggregation
|
2 years ago |
|
Ziyang Hu
|
000eb0816b
|
fix stratum eval order
|
2 years ago |
|
Ziyang Hu
|
3d1aabb9b5
|
rename keyword to symbol/name
|
2 years ago |
|
Ziyang Hu
|
73f05e1c02
|
refactor
|
2 years ago |
|
Ziyang Hu
|
e3bd5cd8c7
|
refactor
|
2 years ago |
|
Ziyang Hu
|
d6dd698ea4
|
tempstores have names
|
2 years ago |
|
Ziyang Hu
|
37b4851622
|
fix value scanning
|
2 years ago |
|
Ziyang Hu
|
8900b4cca2
|
fix value scanning
|
2 years ago |
|
Ziyang Hu
|
435c076b70
|
fix unification of existing variables
|
2 years ago |
|
Ziyang Hu
|
4d8e560a96
|
fix unify query
|
2 years ago |
|
Ziyang Hu
|
934c54d05e
|
fix comparison
|
2 years ago |
|
Ziyang Hu
|
32cc4fd83d
|
air routes data insertion
|
2 years ago |
|
Ziyang Hu
|
0c0a0ac338
|
fix insertion bug
|
2 years ago |
|
Ziyang Hu
|
1e810123ad
|
cleanup API
|
2 years ago |
|
Ziyang Hu
|
7019304b35
|
fix wrong name
|
2 years ago |
|
Ziyang Hu
|
23f4f20e74
|
cleanup API
|
2 years ago |
|
Ziyang Hu
|
2109c974dc
|
cleanup API
|
2 years ago |
|
Ziyang Hu
|
c220d68e4b
|
seemingly working, zero warnings
|
2 years ago |
|
Ziyang Hu
|
123a775388
|
hopefully runs correctly
|
2 years ago |
|
Ziyang Hu
|
04d5e47a9b
|
runs but wrong
|
2 years ago |
|
Ziyang Hu
|
9ac734d5a9
|
reworked compilation
|
2 years ago |
|
Ziyang Hu
|
846b695cb8
|
magic rewrite
|
2 years ago |
|
Ziyang Hu
|
2b50e2aaf4
|
well-ordered rules
|
2 years ago |
|
Ziyang Hu
|
3c7bb2b80b
|
refactor to stratification
|
2 years ago |
|
Ziyang Hu
|
3565f85e44
|
everything uses anyhow
|
2 years ago |
|
Ziyang Hu
|
f1692bc072
|
more slimming of errors
|
2 years ago |
|
Ziyang Hu
|
32f1d42f17
|
use anyhow macros
|
2 years ago |
|
Ziyang Hu
|
a233730253
|
use anyhow macros
|
2 years ago |
|
Ziyang Hu
|
c9917c8bcd
|
new API
|
2 years ago |
|
Ziyang Hu
|
18cd63014d
|
magic set rewriting only works for the last stratum
|
2 years ago |
|
Ziyang Hu
|
66723ad4c8
|
magic set rewriting only works for the last stratum
|
2 years ago |
|
Ziyang Hu
|
905fb36e59
|
magic sets works!
|
2 years ago |
|
Ziyang Hu
|
4a370a525f
|
fix SCC
|
2 years ago |
|
Ziyang Hu
|
469eba1422
|
magic sets, doesn't work yet
|
2 years ago |
|
Ziyang Hu
|
3846719b53
|
fix tuple encoding problem
|
2 years ago |
|
Ziyang Hu
|
6d343c6929
|
reformat
|
2 years ago |
|
Ziyang Hu
|
5cdf6885f4
|
comment in correct place
|
2 years ago |
|
Ziyang Hu
|
6a79e76410
|
comment in correct place
|
2 years ago |
|
Ziyang Hu
|
c3cb66ae0b
|
logging
|
2 years ago |
|
Ziyang Hu
|
79b1f66ae4
|
stratified semi-naive
|
2 years ago |
|
Ziyang Hu
|
61172da6c5
|
stratification; generalized Kahn
|
2 years ago |
|
Ziyang Hu
|
68774c53ab
|
jemalloc creates too many problems
|
2 years ago |
|
Ziyang Hu
|
1a09c8d32e
|
improve python example
|
2 years ago |
|
Ziyang Hu
|
dcb3bdd033
|
python module
|
2 years ago |
|
Ziyang Hu
|
c5a2dd4a84
|
refactor cozohttp into own crate
|
2 years ago |
|
Ziyang Hu
|
709159e6e3
|
graph algorithms
|
2 years ago |
|
Ziyang Hu
|
c33722ffba
|
disjunction
|
2 years ago |
|
Ziyang Hu
|
2aa470d0bb
|
disjunction
|
2 years ago |
|
Ziyang Hu
|
439b237723
|
negation reordering
|
2 years ago |
|
Ziyang Hu
|
3c2f8c6b0b
|
negation works, provided it is in the correct place
|
2 years ago |
|
Ziyang Hu
|
91772ca10b
|
neg join for stored
|
2 years ago |
|
Ziyang Hu
|
fdc3ab471e
|
neg join for triples
|
2 years ago |
|
Ziyang Hu
|
1a242f7bab
|
fix comparison ops
|
2 years ago |
|
Ziyang Hu
|
c2ca1333ad
|
more native functions
|
2 years ago |
|
Ziyang Hu
|
06429f0305
|
mathematical functions
|
2 years ago |
|
Ziyang Hu
|
cc6a769331
|
fix filter index elimination logic
|
2 years ago |
|
Ziyang Hu
|
93e82a001e
|
filter respects eager binding elimination
|
2 years ago |
|
Ziyang Hu
|
cf7a48d09d
|
done filtering
|
2 years ago |
|
Ziyang Hu
|
e52163cd19
|
rule reordering for predicates
|
2 years ago |
|
Ziyang Hu
|
ea72a01f5a
|
evaluate expressions
|
2 years ago |
|
Ziyang Hu
|
4707d13bfb
|
parsing predicates
|
2 years ago |
|
Ziyang Hu
|
62c63771d6
|
expressions
|
2 years ago |
|
Ziyang Hu
|
700b6def20
|
pull API within run_query API
|
2 years ago |
|
Ziyang Hu
|
3a014e7ec0
|
run_query API
|
2 years ago |
|
Ziyang Hu
|
4a360b0464
|
move stuff around
|
2 years ago |
|
Ziyang Hu
|
38745af8ea
|
move stuff around
|
2 years ago |
|
Ziyang Hu
|
160fd7e034
|
logging
|
2 years ago |
|
Ziyang Hu
|
3665e7750a
|
formatting
|
2 years ago |
|
Ziyang Hu
|
10bfb0a93f
|
more convenience functions
|
2 years ago |
|
Ziyang Hu
|
8f2f42566a
|
joiner convenience function
|
2 years ago |
|
Ziyang Hu
|
18092b6186
|
optimize semi-naive logic
|
2 years ago |
|
Ziyang Hu
|
c4ee752bbc
|
optimize semi-naive logic
|
2 years ago |
|
Ziyang Hu
|
0e1f5a42ff
|
correct skipping of rule calculation
|
2 years ago |
|
Ziyang Hu
|
bc23afa0f4
|
working semi-naive with snapshot
|
2 years ago |
|
Ziyang Hu
|
067708f2fb
|
working semi-naive
|
2 years ago |
|
Ziyang Hu
|
6fa609bbf0
|
semi-naive evaluation
|
2 years ago |
|
Ziyang Hu
|
00fb6b9204
|
semi-naive evaluation
|
2 years ago |
|
Ziyang Hu
|
434a80dc5f
|
reorder relation
|
2 years ago |
|
Ziyang Hu
|
fc69de69b8
|
stored relation
|
2 years ago |
|
Ziyang Hu
|
e4c09a5d8e
|
rulesets manipulation
|
2 years ago |
|
Ziyang Hu
|
5dfcaa67b6
|
parsing rulesets
|
2 years ago |
|
Ziyang Hu
|
a0844961c2
|
ruleset parsing
|
2 years ago |
|
Ziyang Hu
|
1a24d24a00
|
python helper
|
2 years ago |
|
Ziyang Hu
|
ae0156772e
|
more consistent terminology
|
2 years ago |
|
Ziyang Hu
|
5ac829adef
|
plan for full query API
|
2 years ago |
|
Ziyang Hu
|
f73a821b7b
|
more stringent parsing
|
2 years ago |
|
Ziyang Hu
|
3e765c64f5
|
refer to entity by unique index
|
2 years ago |
|
Ziyang Hu
|
468a6606f4
|
fix various problems
|
2 years ago |
|
Ziyang Hu
|
bea56054e5
|
try to build smaller tree
|
2 years ago |
|
Ziyang Hu
|
5888e067d4
|
first high point
|
2 years ago |
|
Ziyang Hu
|
486563c444
|
parse query clauses
|
2 years ago |
|
Ziyang Hu
|
d675b07940
|
materialized join
|
2 years ago |
|
Ziyang Hu
|
5b529211a0
|
prefix join
|
2 years ago |
|
Ziyang Hu
|
61e46ff147
|
iter projected relation
|
2 years ago |
|
Ziyang Hu
|
3f4c7eaa85
|
the last of the triple joins
|
2 years ago |
|
Ziyang Hu
|
1d3627b1fd
|
ops on throwaway db
|
2 years ago |
|
Ziyang Hu
|
1c350c7a42
|
three joins
|
2 years ago |
|
Ziyang Hu
|
db540f97d9
|
two joins
|
2 years ago |
|
Ziyang Hu
|
e316c44fca
|
scratch DB
|
2 years ago |
|
Ziyang Hu
|
a857cb11cc
|
change mutability for scan operations
|
2 years ago |
|
Ziyang Hu
|
79808a4513
|
triple join skeleton
|
2 years ago |
|
Ziyang Hu
|
493d0c95d8
|
joining game
|
2 years ago |
|
Ziyang Hu
|
987d0c80f8
|
very simple tuple implementation
|
2 years ago |
|
Ziyang Hu
|
52f5f8e4a5
|
very simple tuple implementation
|
2 years ago |
|
Ziyang Hu
|
319225b7a9
|
simplify code
|
2 years ago |
|
Ziyang Hu
|
e595bd880b
|
restore used function
|
2 years ago |
|
Ziyang Hu
|
2633d191ff
|
default value behaviour
|
2 years ago |
|
Ziyang Hu
|
dd39abffc2
|
cleanup
|
2 years ago |
|
Ziyang Hu
|
8ed1d1ab02
|
recursive pull is subtle
|
2 years ago |
|
Ziyang Hu
|
1b6a9ab3e5
|
recursion
|
2 years ago |
|
Ziyang Hu
|
ffa45f3445
|
recursion but cardinality not right
|
2 years ago |
|
Ziyang Hu
|
3fe5a4865a
|
parse pull specs
|
2 years ago |
|
Ziyang Hu
|
85c500bf62
|
update tests
|
2 years ago |
|
Ziyang Hu
|
6806b0f217
|
safe pullall
|
2 years ago |
|
Ziyang Hu
|
bacb30d5ca
|
recursive attr pull
|
2 years ago |
|
Ziyang Hu
|
b8eee08641
|
pull attr, recursive star pull
|
2 years ago |
|
Ziyang Hu
|
6518fc7d94
|
pullall
|
2 years ago |
|
Ziyang Hu
|
0bbec5c895
|
pull
|
2 years ago |
|
Ziyang Hu
|
d82bbbd29b
|
move stuff around
|
2 years ago |
|
Ziyang Hu
|
e3d9a18124
|
move stuff around
|
2 years ago |
|
Ziyang Hu
|
1c8ff81f84
|
real deletion
|
2 years ago |
|
Ziyang Hu
|
46c7a6a6ac
|
no ns for keyword
|
2 years ago |
|
Ziyang Hu
|
1dafb53f7f
|
no ns for keyword
|
2 years ago |
|
Ziyang Hu
|
ddd64fe2ff
|
fix component logic
|
2 years ago |
|
Ziyang Hu
|
939e36de19
|
fix component logic
|
2 years ago |
|
Ziyang Hu
|
14b375bfa1
|
export everything
|
2 years ago |
|
Ziyang Hu
|
1e12ce0c6c
|
rename for clearer intention
|
2 years ago |
|
Ziyang Hu
|
22d961560b
|
refer by identity fields
|
2 years ago |
|
Ziyang Hu
|
eded6a775e
|
component shorthand
|
2 years ago |
|
Ziyang Hu
|
28f5eeb13d
|
AVE forward and backward scanning
|
2 years ago |
|
Ziyang Hu
|
f2e529bcd2
|
insertion supports array of values
|
2 years ago |
|
Ziyang Hu
|
99d954af16
|
temp id stuff
|
2 years ago |
|
Ziyang Hu
|
f0b36edd84
|
iterator fiasco
|
2 years ago |
|
Ziyang Hu
|
d1910767c9
|
test retraction
|
2 years ago |
|
Ziyang Hu
|
99c66fb6d4
|
return more from transactions
|
2 years ago |
|
Ziyang Hu
|
2796af0534
|
get all attrs
|
2 years ago |
|
Ziyang Hu
|
f28049459a
|
fix destroy-on-exit logic
|
2 years ago |
|
Ziyang Hu
|
62aa8910ad
|
update HTTP API
|
2 years ago |
|
Ziyang Hu
|
6634f3d816
|
triple transacts
|
2 years ago |
|
Ziyang Hu
|
bf412a9e52
|
tx triple mess
|
2 years ago |
|
Ziyang Hu
|
9821bc2c6b
|
insertions
|
2 years ago |
|
Ziyang Hu
|
62511919a8
|
tx triples
|
2 years ago |
|
Ziyang Hu
|
a9c1676e24
|
tx triples
|
2 years ago |
|
Ziyang Hu
|
51a27163c6
|
transact attributes over http
|
2 years ago |
|
Ziyang Hu
|
539083f7b5
|
display validity as datetime
|
2 years ago |
|
Ziyang Hu
|
7ccaeec425
|
fix broken tests
|
2 years ago |
|
Ziyang Hu
|
9bb3d64aaa
|
tests fail
|
2 years ago |
|
Ziyang Hu
|
0b0ff6a30a
|
uniqueness check
|
2 years ago |
|
Ziyang Hu
|
d6c59407bb
|
iterators support validity query
|
2 years ago |
|
Ziyang Hu
|
a193c9aa82
|
first run txid -> validity, make compiler happy
|
2 years ago |
|
Ziyang Hu
|
2bc4adc858
|
introduce validity
|
2 years ago |
|
Ziyang Hu
|
cf9977a7b3
|
triple tests
|
2 years ago |
|
Ziyang Hu
|
6624a8a11f
|
triple tests
|
2 years ago |
|
Ziyang Hu
|
dcfb450d5f
|
iterators
|
2 years ago |
|
Ziyang Hu
|
7678dcf1c0
|
binary search
|
2 years ago |
|
Ziyang Hu
|
63d6fec614
|
caching for eid by av
|
2 years ago |
|
Ziyang Hu
|
1b340fa0b8
|
change no history impl
|
2 years ago |
|
Ziyang Hu
|
4dada569e2
|
put StoreOp in data instead of in key
|
2 years ago |
|
Ziyang Hu
|
d3eeffcd6e
|
stop!
|
2 years ago |
|
Ziyang Hu
|
c8cc80df8f
|
signal values contain more information
|
2 years ago |
|
Ziyang Hu
|
b705f19991
|
starting this triple business
|
2 years ago |
|
Ziyang Hu
|
70cf2e3674
|
add caching to attr tx
|
2 years ago |
|
Ziyang Hu
|
87f0330ac3
|
wrap-up
|
2 years ago |
|
Ziyang Hu
|
ee4df13fd8
|
wrap-up
|
2 years ago |
|
Ziyang Hu
|
53d2985f3e
|
complete attr tx
|
2 years ago |
|
Ziyang Hu
|
b2bd86f723
|
complete attr tx
|
2 years ago |
|
Ziyang Hu
|
ef72c757d1
|
transact attributes
|
2 years ago |
|
Ziyang Hu
|
fff799f44e
|
attribute and json
|
2 years ago |
|
Ziyang Hu
|
26d1718af1
|
attribute and json
|
2 years ago |
|
Ziyang Hu
|
c364e9ae54
|
starting DB
|
2 years ago |
|
Ziyang Hu
|
6e145a9a93
|
change encoding scheme
|
2 years ago |
|
Ziyang Hu
|
aee54ecdd0
|
methods for amending txid
|
2 years ago |
|
Ziyang Hu
|
41d89d0415
|
new C++ interop
|
2 years ago |
|
Ziyang Hu
|
45522ee043
|
add more encodings
|
2 years ago |
|
Ziyang Hu
|
dd7a59d258
|
encode, decode, compare
|
2 years ago |
|
Ziyang Hu
|
f855d4215b
|
c++/rust comparator
|
2 years ago |
|
Ziyang Hu
|
eddf6a5573
|
triple branche
|
2 years ago |
|
Ziyang Hu
|
c0912dfbed
|
chain walk looping
|
2 years ago |
|
Ziyang Hu
|
159841b14f
|
extract builders to free functions
|
2 years ago |
|
Ziyang Hu
|
46aaf09a6c
|
silence it
|
2 years ago |
|
Ziyang Hu
|
9faf043fb6
|
Arc -> Rc for expr
|
2 years ago |
|
Ziyang Hu
|
e9e47531ec
|
various fixes
|
2 years ago |
|
Ziyang Hu
|
fbf03b8fea
|
getting started with web server
|
2 years ago |
|
Ziyang Hu
|
350c3884a9
|
into smaller pieces
|
2 years ago |
|
Ziyang Hu
|
5e5a6b9888
|
rework walk builder
|
2 years ago |
|
Ziyang Hu
|
eb34d3e49b
|
rework sorting
|
2 years ago |