doc: specify the database name for examples

TODO: split execution examples from this file to the new file under
doc/source/example/.
The examples exist in this file directly now.