On BDD/FC Conjecture

Prelegent(ci)

Tomasz Gogacz

Afiliacja

Uniwersytet Wrocławski

Termin

14 listopada 2012 14:15

Pokój

p. 5870

Tytuł w języku angielskim

joint work with Jerzy Marcinkowski

Seminarium

Seminarium „Teoria automatów”

---

Bounded Derivation Depth property (BDD) and Finite Controllability (FC) are two properties of sets of tuple generating dependencies, which recently attracted some attention. We conjecture that the first of these properties implies the second, and support this conjecture by some evidence proving, among other results, that it holds true for all theories over binary signature.

---