Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
blog.algebraicjulia.org
(Uncensored)
subscribe
The chase: data repair and logical reasoning – AlgebraicJulia blog
https://blog.algebraicjulia.org/post/2022/06/chase/
links
backlinks
Tagged with:
logic
databases
c-sets
The chase in an algorithm in the context of databases that has applications in Catlab for model exploration, term rewriting, and enforcing schema axioms.
