Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the BDD/FC Conjecture   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.

5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph