server_no

smallint not null

The numeric identifier for a server.

server_name

varchar(24) not null

The name of the server.

pid

varchar(12) not null with default

The operating system process identifier for a running server.