yellowflash

6 ms·

1. 31.▲
   by yellowflash 10y ago

   First order logic can express precisely what relational algebra can express. And what Datalog represents is First order logic with least fixed point, in case if there is linear order on the data (cells), it could represent P-solvable proble
2. 32.▲
   Pure IO(blog.yellowflash.in)

   3 points by yellowflash 11y ago|0 comments