If $\log_{b}N$ is rational, is there a set of values to which $b$ and $N$ must belong? Is there a set of values to which $b$ and $N$ cannot belong?
Further, if it is presupposed that $b$ and $N$ are integers, how does that change the answers to the previous two questions?
If $b$ and $N$ are positive integers, the necessary and sufficient condition is that they are both integer powers of the same positive integer. That is, $b = c^m$ and $N = c^n$ where $\log_b N = n/m$ in lowest terms.