code: public void delete_device_alias(Database database, String alias)
              throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          DeviceData argIn = new DeviceData();
          argIn.insert(alias);
          command_inout(database, "DbDeleteDeviceAlias", argIn);
      }
docs: ==========================================================================