[ pdb_name ] { pdb_open | pdb_close | pdb_save_or_discard_state }