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.
Roast topics
Find topics
Find it!
