4 ms·Modern Deduction: Datalog, Chain-Forward Computation, and Relational Algebra3 points by azhenley 2y ago