arXiv Open Access 2014

On the BDD/FC Conjecture

Tomasz Gogacz Jerzy Marcinkowski

Lihat Sumber

Abstrak

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), 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.

Topik & Kata Kunci

cs.DB

Penulis (2)

Tomasz Gogacz

Jerzy Marcinkowski

Format Sitasi

APA MLA BibTeX

Gogacz, T., Marcinkowski, J. (2014). On the BDD/FC Conjecture. https://arxiv.org/abs/1408.2081

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2014
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓