Hacker News new | past | comments | ask | show | jobs | submit login

Great post! Still working through it, but there is a slight error in the nested diagram at the start. Relational algebra has set difference, which is akin to negation-as-failure, but it lacks recursion. So the positive Datalog and RA circles should overlap without either containing the other. See http://www.lifl.fr/%7Ekuttler/elfe/biblio/datalog-overview-g...



Hi there. Thanks so much for your feedback, and good catch! I will update the diagram accordingly.


I can no longer edit the parent, but this has been updated. Thanks again!




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: