public static function getJdbcDsn(string $driver, string $db, string $host, string $user, string $password, array $options = []): string
    {
        $extras = '';
        if (count($options) > 0) {
            $tmp = [];
            foreach ($options as $key => $value) {
                $tmp[] = urlencode($key).'='.urlencode($value);
            }
            $extras = '&'.implode('&', $tmp);
        }

        return "jdbc:$driver://$host/$db?user=$user&password=$password".$extras;
    }