Let any relationship
$$y = f(\mathbf x),\qquad \mathbf x= (x_1,...x_k)$$
Then the first-order Taylor expansion around some point $\mathbf x^0$gives
$$y = f(\mathbf x^0) + \frac{\partial f(\mathbf x^0)}{\partial x_1}(x_1 - x_1^0)+\dots+\frac{\partial f(\mathbf x^0)}{\partial x_1}(x_1 - x_1^0)+\dots R$$
Re-arrange
$$y = \left [f(\mathbf x^0) - \sum_{j=1}^{k}\frac{\partial f(\mathbf x^0)}{\partial x_j}x_j^0\right]\,+\,\frac{\partial f(\mathbf x^0)}{\partial x_1}x_1 +\dots +\frac{\partial f(\mathbf x^0)}{\partial x_k}x_k\,+\,R$$
The correspondence with the $a + b_1x_1 +...$ polynomial is obvious.
Going for the "translog" specification, will give you a second-order approximation to any function.
As for $y=Ax^b$ it is transformed into a polynomial by taking logarithms, $\ln y = \ln A + bx$, at least when positive variables are involved.
The question with these approximations is whether they are adequate for the purpose at hand. The fact that they may not capture correctly the whole range of the relation, may not be of consequence, if what you are interested is the characterization of the relationship in the "center". But if you are interested in characterizing the extremes, then more elaborate constructs may be required.
So the issue of choosing a functional form is not so much linked to "data set structure", but to the purposes of the research.