Circuits with oracles vs. Turing Machines with oracles Put simply: what is the correspondance between Turing machines with oracles, and uniform circuit families with oracles? How are the latter defined in order to obtain the same computational model, for a given oracle Turing machine?

This may be an elementary question, but it is not obvious where to look, and I'm the sort of person who likes to make sure that my foundations are using good-quality mortar. If there is a standard reference, please point me to it. (Papadimitriou's book, for instance, does not seem to describe circuits with oracles at all.)

My working hypothesis is this: a uniform circuit family with access to an oracle (e.g. for solving an NP-complete problem) is defined as follows:


One defines an infinite family of "oracle gates" On&nbsp;, one for each circuit size n, each of which compute a function fn&nbsp;:&nbsp;{0,1}cn&nbsp;&rarr;&nbsp;{0,1} for some constant c.
The functions fn computed by the oracle gates On should be  "uniform" in the following sense: for any n&nbsp;&lt;&nbsp;N and x&nbsp;&isin;&nbsp;{0,1}n, we require fn(x)&nbsp;=&nbsp;fN(&nbsp;0c(N&minus;n)&nbsp;x&nbsp;) --- that is, the oracle gates must use a consistent and extensbile "encoding" of their inputs.
One then defines a uniform circuit family, where the oracle gates are among the allowed operations to the circuit, restricting the circuit for input size n to use the gate On.


I imagine that some of the choices above may be arbitrarily fixed without losing any generality. What I am interested in is a reference for the correspondence, or at least  a description of how to modify the description above to obtain the standard one.
The best reference for relativized circuits is Chris Wilson's paper "Relativized NC"  http://www.springerlink.com/content/u727654246wu8662/

The second condition you have (downward closure of O_n) is not needed to get the equivalence say between P^O and uniform poly-size circuits with oracle O. Also your third condition should be thrown away, the size of the circuit will prevent access to O_m for m larger than the circuit size.