3 ms·Modern Deduction Post 1: Datalog, Chain-Forward Computation, Relational Algebra2 points by matt_d 2y ago