Thanks Helen for the detailed reply (and for writing a good book).

It looks like it was just a matter of using the TCP/IP connection
format (specifying the server then the full path before the database
name).