Ok. streaming_query() is now implemented. It shows however that eof() is rather flawed. In big_query() eof() in the result object alwasy returns 1. In streaming_query() is returns 0 until one "failed" fetch_row() has been performed, i.e. at a point where the user already knows eof is reached.