Re:Mangle, a programming language for deductive database pro...
by rad_gruchalski on Saturday November 26, 2022 @08:03PM
(#33758883)
I don’t think a CTE or a VIEW is an intended reasoning behind this claim. It’s more like choosing a part of a WHERE statement based on previous criteria and prior results.
[ Parent
| on HN ]
Re:Mangle, a programming language for deductive database pro...
by zozbot234 on Sunday November 27, 2022 @07:41AM
(#33762579)
CTE's and VIEW's can indeed express inference in relational databases. A "projects_with_vulnerable_log4j" view is a nice example, but possibly-recursive CTE's can achieve pretty much arbitrary inference, e.g. on graph-like data.