Properties of a Database Manager operator
See also:
Concepts of the Database System, Database Manager Operator (DBM Operator)
Database Manager GUI, Changing the DBM Operator Properties
Database Manager CLI, user put