Commit Graph

  • e96f232b08 bump deps version Ziyang Hu 2022-08-02 19:22:24 +0800
  • 8d09bb6541 update PyAPI Ziyang Hu 2022-08-02 19:11:17 +0800
  • 1e810123ad cleanup API Ziyang Hu 2022-08-02 19:08:15 +0800
  • 7019304b35 fix wrong name Ziyang Hu 2022-08-02 18:56:24 +0800
  • 23f4f20e74 cleanup API Ziyang Hu 2022-08-02 18:43:14 +0800
  • 2109c974dc cleanup API Ziyang Hu 2022-08-02 18:30:07 +0800
  • c220d68e4b seemingly working, zero warnings Ziyang Hu 2022-08-02 17:44:37 +0800
  • 123a775388 hopefully runs correctly Ziyang Hu 2022-08-02 17:23:20 +0800
  • 04d5e47a9b runs but wrong Ziyang Hu 2022-08-02 16:43:42 +0800
  • 9ac734d5a9 reworked compilation Ziyang Hu 2022-08-02 13:27:11 +0800
  • 846b695cb8 magic rewrite Ziyang Hu 2022-08-01 23:59:44 +0800
  • 2b50e2aaf4 well-ordered rules Ziyang Hu 2022-08-01 19:35:00 +0800
  • 3c7bb2b80b refactor to stratification Ziyang Hu 2022-08-01 17:26:35 +0800
  • 3565f85e44 everything uses anyhow Ziyang Hu 2022-07-31 23:38:50 +0800
  • f1692bc072 more slimming of errors Ziyang Hu 2022-07-31 23:01:54 +0800
  • 32f1d42f17 use anyhow macros Ziyang Hu 2022-07-31 22:28:41 +0800
  • a233730253 use anyhow macros Ziyang Hu 2022-07-31 21:53:59 +0800
  • c9917c8bcd new API Ziyang Hu 2022-07-31 20:58:42 +0800
  • 18cd63014d magic set rewriting only works for the last stratum Ziyang Hu 2022-07-30 23:47:57 +0800
  • 66723ad4c8 magic set rewriting only works for the last stratum Ziyang Hu 2022-07-30 23:46:11 +0800
  • 905fb36e59 magic sets works! Ziyang Hu 2022-07-30 22:39:06 +0800
  • 4a370a525f fix SCC Ziyang Hu 2022-07-30 21:39:24 +0800
  • 469eba1422 magic sets, doesn't work yet Ziyang Hu 2022-07-30 18:37:24 +0800
  • 3846719b53 fix tuple encoding problem Ziyang Hu 2022-07-30 18:05:59 +0800
  • e9aa070a2e reformat Ziyang Hu 2022-07-30 11:52:42 +0800
  • 62d19ab722 reformat Ziyang Hu 2022-07-30 11:51:58 +0800
  • 6d343c6929 reformat Ziyang Hu 2022-07-30 11:51:34 +0800
  • 5cdf6885f4 comment in correct place Ziyang Hu 2022-07-29 21:10:29 +0800
  • 6a79e76410 comment in correct place Ziyang Hu 2022-07-29 21:09:36 +0800
  • c3cb66ae0b logging Ziyang Hu 2022-07-29 21:07:27 +0800
  • 79b1f66ae4 stratified semi-naive Ziyang Hu 2022-07-29 19:32:05 +0800
  • 61172da6c5 stratification; generalized Kahn Ziyang Hu 2022-07-29 18:36:20 +0800
  • 884ed4ba97 cozoplay Ziyang Hu 2022-07-29 12:41:25 +0800
  • 417542c12c cozoplay Ziyang Hu 2022-07-29 12:40:21 +0800
  • 68774c53ab jemalloc creates too many problems Ziyang Hu 2022-07-29 01:58:41 +0800
  • c40473a08e building disaster on Linux Ziyang Hu 2022-07-28 23:04:11 +0800
  • 594fe3cebd remove old python helper Ziyang Hu 2022-07-28 20:04:09 +0800
  • 5bb2251a13 release GIL for python execution Ziyang Hu 2022-07-28 19:36:29 +0800
  • 1a09c8d32e improve python example Ziyang Hu 2022-07-28 19:20:30 +0800
  • dcb3bdd033 python module Ziyang Hu 2022-07-28 18:28:39 +0800
  • c5a2dd4a84 refactor cozohttp into own crate Ziyang Hu 2022-07-28 15:24:40 +0800
  • 709159e6e3 graph algorithms Ziyang Hu 2022-07-28 13:28:24 +0800
  • c33722ffba disjunction Ziyang Hu 2022-07-27 21:25:42 +0800
  • 2aa470d0bb disjunction Ziyang Hu 2022-07-27 21:11:28 +0800
  • 439b237723 negation reordering Ziyang Hu 2022-07-27 18:58:58 +0800
  • 3c2f8c6b0b negation works, provided it is in the correct place Ziyang Hu 2022-07-27 17:37:19 +0800
  • 91772ca10b neg join for stored Ziyang Hu 2022-07-27 16:40:20 +0800
  • fdc3ab471e neg join for triples Ziyang Hu 2022-07-27 16:13:56 +0800
  • 1a242f7bab fix comparison ops Ziyang Hu 2022-07-26 23:29:29 +0800
  • c2ca1333ad more native functions Ziyang Hu 2022-07-26 23:13:45 +0800
  • 06429f0305 mathematical functions Ziyang Hu 2022-07-26 22:49:34 +0800
  • cc6a769331 fix filter index elimination logic Ziyang Hu 2022-07-26 20:52:27 +0800
  • 93e82a001e filter respects eager binding elimination Ziyang Hu 2022-07-26 20:37:04 +0800
  • cf7a48d09d done filtering Ziyang Hu 2022-07-26 19:31:09 +0800
  • e52163cd19 rule reordering for predicates Ziyang Hu 2022-07-26 18:55:47 +0800
  • ea72a01f5a evaluate expressions Ziyang Hu 2022-07-26 18:28:54 +0800
  • 4707d13bfb parsing predicates Ziyang Hu 2022-07-26 17:18:05 +0800
  • 62c63771d6 expressions Ziyang Hu 2022-07-26 15:58:30 +0800
  • 4c12cb6b7e readme Ziyang Hu 2022-07-26 00:37:25 +0800
  • 700b6def20 pull API within run_query API Ziyang Hu 2022-07-25 22:28:08 +0800
  • 3a014e7ec0 run_query API Ziyang Hu 2022-07-25 20:41:58 +0800
  • 4a360b0464 move stuff around Ziyang Hu 2022-07-25 20:25:48 +0800
  • 38745af8ea move stuff around Ziyang Hu 2022-07-25 20:17:55 +0800
  • 160fd7e034 logging Ziyang Hu 2022-07-25 19:19:24 +0800
  • 3665e7750a formatting Ziyang Hu 2022-07-25 17:24:54 +0800
  • 10bfb0a93f more convenience functions Ziyang Hu 2022-07-25 16:24:52 +0800
  • 8f2f42566a joiner convenience function Ziyang Hu 2022-07-25 16:10:28 +0800
  • 18092b6186 optimize semi-naive logic Ziyang Hu 2022-07-25 13:28:46 +0800
  • c4ee752bbc optimize semi-naive logic Ziyang Hu 2022-07-25 13:25:48 +0800
  • c595e26843 bump rocksdb version Ziyang Hu 2022-07-24 22:38:52 +0800
  • 0e1f5a42ff correct skipping of rule calculation Ziyang Hu 2022-07-24 22:35:15 +0800
  • bc23afa0f4 working semi-naive with snapshot Ziyang Hu 2022-07-24 22:05:44 +0800
  • 067708f2fb working semi-naive Ziyang Hu 2022-07-24 21:28:53 +0800
  • 6fa609bbf0 semi-naive evaluation Ziyang Hu 2022-07-24 16:23:34 +0800
  • 00fb6b9204 semi-naive evaluation Ziyang Hu 2022-07-24 16:10:55 +0800
  • 434a80dc5f reorder relation Ziyang Hu 2022-07-24 15:51:47 +0800
  • fc69de69b8 stored relation Ziyang Hu 2022-07-24 15:18:00 +0800
  • e4c09a5d8e rulesets manipulation Ziyang Hu 2022-07-23 23:17:08 +0800
  • 5dfcaa67b6 parsing rulesets Ziyang Hu 2022-07-23 17:15:36 +0800
  • a0844961c2 ruleset parsing Ziyang Hu 2022-07-23 16:39:37 +0800
  • 1a24d24a00 python helper Ziyang Hu 2022-07-23 15:41:48 +0800
  • ae0156772e more consistent terminology Ziyang Hu 2022-07-22 17:44:45 +0800
  • 5ac829adef plan for full query API Ziyang Hu 2022-07-22 16:58:53 +0800
  • f73a821b7b more stringent parsing Ziyang Hu 2022-07-21 20:59:25 +0800
  • 3e765c64f5 refer to entity by unique index Ziyang Hu 2022-07-21 20:27:59 +0800
  • 468a6606f4 fix various problems Ziyang Hu 2022-07-21 19:59:53 +0800
  • bea56054e5 try to build smaller tree Ziyang Hu 2022-07-21 19:02:31 +0800
  • 5888e067d4 first high point Ziyang Hu 2022-07-21 17:08:57 +0800
  • 486563c444 parse query clauses Ziyang Hu 2022-07-21 15:21:25 +0800
  • d675b07940 materialized join Ziyang Hu 2022-07-20 20:56:16 +0800
  • 5b529211a0 prefix join Ziyang Hu 2022-07-20 20:35:12 +0800
  • 61e46ff147 iter projected relation Ziyang Hu 2022-07-20 18:23:14 +0800
  • 3f4c7eaa85 the last of the triple joins Ziyang Hu 2022-07-20 18:06:39 +0800
  • 1d3627b1fd ops on throwaway db Ziyang Hu 2022-07-20 17:41:35 +0800
  • 1c350c7a42 three joins Ziyang Hu 2022-07-20 17:04:11 +0800
  • db540f97d9 two joins Ziyang Hu 2022-07-20 16:29:03 +0800
  • e316c44fca scratch DB Ziyang Hu 2022-07-19 22:15:27 +0800
  • bd077062e7 raw rocksdb bridge Ziyang Hu 2022-07-19 20:43:23 +0800
  • a857cb11cc change mutability for scan operations Ziyang Hu 2022-07-19 19:31:29 +0800
  • 79808a4513 triple join skeleton Ziyang Hu 2022-07-19 18:45:53 +0800