query evaluation

Hi all,

I have the following query.

select part_id, consume_part(part_id) from part where in_use = false;

does it:
    a/  iterate over all parts, calling consume on them and then show the records where in_use is false (i.e. all parts have been consumed by the SP consume_part) or

    b/ filter the list using in_use = false and apply consume_part SP to those part_id's ?

It is very _scary_ to imagine the first prospect, worse is if it did a mix of a/ and b/ ... where it does not apply consume_part on all parts but a partial set of parts that are exclusive of the set provided by SP, because then it would be unknown how the query worked (atleast if it consumed all parts then you could do something).

--
:wq