19 citations · 43 across the 11 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.DB2014
On the BDD/FC Conjecture
Tomasz Gogacz, Jerzy Marcinkowski
Bounded Derivation Depth property (BDD) and Finite Controllability (FC) are two properties of sets of datalog rules and tuple generating dependencies (known as Datalog +/- programs…
cs.DB2014
Termination of oblivious chase is undecidable
Tomasz Gogacz, Jerzy Marcinkowski
We show that all--instances termination of chase is undecidable. More precisely, there is no algorithm deciding, for a given set consisting of Tuple Generating Dependencie…