76 citations · 82 across the 4 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2015
Declarative Statistical Modeling with Datalog
Vince Barany, Balder ten Cate, Benny Kimelfeld +2
Formalisms for specifying statistical models, such as probabilistic-programming languages, typically consist of two components: a specification of a stochastic process (the prior),…
cs.DB2012★ 6 cited
Queries with Guarded Negation (full version)
Vince Barany, Balder ten Cate, Martin Otto
A well-established and fundamental insight in database theory is that negation (also known as complementation) tends to make queries difficult to process and difficult to reason ab…