Hassan Abedi

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:22:56 +00:00

a80e760b71 Clean up the project

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:12:35 +00:00

1355e40b50 Make an early working version

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:11:14 +00:00

585843f635 WIP

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:09:15 +00:00

8f9806c515 WIP

habedi-work pushed to main at habedi-work/chase-rs

2026-03-09 10:05:50 +00:00

06b6f09fc3 WIP

habedi-work pushed to main at habedi-work/useful-notes

2026-03-06 12:25:32 +00:00

5a33e673c9 Update hassan/008-chase-algorithm.md

habedi-work pushed to main at habedi-work/useful-notes

2026-03-06 12:24:53 +00:00

9f4e471223 Add document about relevant logical concepts

habedi-work pushed to main at habedi-work/useful-notes

2026-03-06 10:29:26 +00:00

34895c057b Add information about chase algorithm variants

habedi-work pushed to main at habedi-work/useful-notes

2026-03-05 12:15:17 +00:00

012babb6fa WIP

habedi-work pushed to main at habedi-work/useful-notes

2026-03-05 12:14:46 +00:00

0c49a46eaa Make chase algotithm notes general

habedi-work pushed to main at habedi-work/useful-notes

2026-03-05 12:05:36 +00:00

70684aae49 Add chase query engine list

habedi-work pushed to main at habedi-work/useful-notes

2026-03-04 12:25:49 +00:00

4651b09e28 Add comparison of toy-datalog vs felix-db

habedi-work pushed to main at habedi-work/useful-notes

2026-03-04 11:38:00 +00:00

929c71488a WIP

habedi-work pushed to main at habedi-work/useful-notes

2026-03-04 11:37:44 +00:00

654012f2ef Add notes about Cale's and Felix's Datalog implementations

habedi-work pushed to main at habedi-work/useful-notes

2026-03-04 08:59:22 +00:00

9ae3bc9b14 Add notes about Subduction project

habedi-work pushed to main at habedi-work/useful-notes

2026-03-03 11:11:25 +00:00

4009315500 Update .gitignore

habedi-work pushed to main at habedi-work/useful-notes

2026-03-03 11:10:46 +00:00

6922c3ef3b Add comparison of chase and naive fixpoint algorithms

habedi-work pushed to main at habedi-work/useful-notes

2026-02-27 12:06:53 +00:00

1d25c9d217 The base commit

habedi-work created branch main in habedi-work/useful-notes

2026-02-27 12:06:52 +00:00

habedi-work created repository habedi-work/useful-notes

2026-02-27 11:21:19 +00:00