# String Operations

The default character set for all strings is
[UTF-8](https://en.wikipedia.org/wiki/UTF-8).

SQL defines two primary character types: `character varying(n)` and
`character(n)`, where n is a positive integer.  Both of these types
can store strings up to n characters (not bytes) in length. An attempt
to store a longer string into a column of these types will result in
an error, unless the excess characters are all spaces, in which case
the string will be truncated to the maximum length. (This somewhat
bizarre exception is required by the SQL standard.)  If the string to
be stored is shorter than the declared length, values of type
character will be space-padded; values of type character varying will
simply store the shorter string.

In addition, we provide the `text`, or `varchar` type, which stores
strings of any length.

## String constants (literals)

A string constant in SQL is an arbitrary sequence of characters
bounded by single quotes (`'`), for example `'This is a string'`. To
include a single-quote character within a string constant, write two
adjacent single quotes, e.g., `'Dianne''s horse'`. Note that this is
not the same as a double-quote character (`"`).

Two string constants that are only separated by whitespace with at
least one newline are concatenated and effectively treated as if the
string had been written as one constant. For example:

```sql
SELECT 'foo'
'bar'
```

is equivalent to:

```sql
SELECT 'foobar'
```

but:

```sql
SELECT 'foo'      'bar'
```

is not valid syntax.  Newlines are supported within string literals:

```
SELECT 'a
b'
```

produces a multi-line string literal.

## Unicode characters

A string literal prefixed with the `U&` can contain Unicode characters
described using their numeric code: `U&'hello\0041'` includes the
Unicode character with code U+0041, which is the uppercase letter 'A'.
A Unicode character is described by an escape character followed by
four hexadecimal digits.

The default escape character is backslash, but it can be changed using
the following syntax: `U&'hello!0041' UESCAPE '!'`.  The `UESCAPE`
notation designates the escape character to use in interpreting the
current literal, which is the exclamation sign in the previous
example.

## Operations on string values

<table>
  <tr>
    <th>Operation</th>
    <th>Description</th>
    <th>Examples</th>
  </tr>
  <tr>
    <td><a id="concat"></a><code>||</code></td>
    <td>String concatenation (infix).  Note that concatenation does *not* strip trailing spaces
        from CHAR(N) values, unlike other SQL dialects.  If such behavior is desired, an explicit
        cast to `varchar` can be added.</td>
    <td><code>'Post' || 'greSQL'</code> => <code>PostgreSQL</code></td>
  </tr>
  <tr>
    <td><a id="like"></a><code>string LIKE pattern [ESCAPE escape-character]</code> and
        <code>string NOT LIKE pattern [ESCAPE escape-character]</code></td>
    <td>The LIKE expression returns true if <code>string</code> matches <code>pattern</code>.
     (As expected, the <code>NOT LIKE</code> expression returns false if <code>LIKE</code> returns true.)</td>
    <td>See [`LIKE`](#like) for details.</td>
  </tr>
  <tr>
    <td>
        <a id="ilike"></a>
        <code>string ILIKE pattern </code> and
        <code>string NOT ILIKE pattern</code>
    </td>
    <td>
        The <code>ILIKE</code> expression returns true if <code>string</code> matches <code>pattern</code>,
        performing a case-insensitive comparison. This means that differences in character case
        between the string and the pattern are ignored.
        (Similarly, the <code>NOT ILIKE</code> expression returns false if <code>ILIKE</code> returns true.)
    </td>
    <td>
        See [`ILIKE`](#ilike) for details.
    </td>
  </tr>
  <tr>
    <td><a id="rlike"></a><code>string RLIKE pattern</code> and
        <code>string NOT RLIKE pattern</code></td>
    <td>The RLIKE expression returns true if <code>string</code> matches <code>pattern</code>.
        The pattern is a standard Rust regular expression.</td>
    <td><code>'string' RLIKE 's..i.*'</code> => <code>TRUE</code></td>
  </tr>
  <tr>
    <td><a id="ascii"></a><code>ASCII ( string )</code></td>
    <td>Returns the numeric code of the first character of <code>string</code>. In UTF8 encoding, returns the Unicode code point of the character. In other multibyte encodings, the argument must be an ASCII character.  Returns 0 if the string is empty.</td>
    <td><code>ascii('x')</code> => <code>120</code></td>
  </tr>
  <tr>
    <td><a id="char_length"></a><code>CHAR_LENGTH(string)</code> or <code>CHARACTER_LENGTH(string)</code> or <code>LENGTH(string)</code> or <code>LEN(string)</code></td>
    <td>Returns number of characters in <code>string</code>.</td>
    <td><code>char_length('josé')</code> => <code>4</code></td>
  </tr>
  <tr>
    <td><a id="chr"></a><code>CHR ( integer )</code></td>
    <td>Returns a string containing the character numbered <code>integer</code>. If the code is incorrect (e.g., negative), the result is an empty string.</td>
    <td><code>chr(65)</code> => <code>A</code></td>
  </tr>
  <tr>
    <td><a id="concat"></a><code>CONCAT(</code>string1, ..., stringN<code>)</code></td>
    <td>String concatenation.  Can have any number of arguments.</td>
    <td><code>CONCAT('Post', 'greSQL', 1)</code> => <code>PostgreSQL1</code></td>
  </tr>
  <tr>
    <td><a id="concat_ws"></a><code>CONCAT_WS(</code>sep, string1, ..., stringN<code>)</code></td>
    <td>String concatenation with separator <code>sep</code>.  Can have any number of arguments.  <code>sep</code> is intercalated between all strings.  If <code>sep</code> is <code>NULL</code> result is <code>NULL</code>.  Other <code>NULL</code> arguments are ignored.</td>
    <td><code>CONCAT_WS(',', 'Post', 'greSQL', NULL, '1')</code> => <code>Post,greSQL,1</code></td>
  </tr>
  <tr>
    <td><a id="initcap"></a><code>INITCAP ( string )</code></td>
    <td>Converts the first letter of each word in <code>string</code> to upper case and the rest to lower case. Words are sequences of alphanumeric characters separated by non-alphanumeric characters.</td>
    <td><code>initcap('hi THOMAS')</code> => <code>Hi Thomas</code></td>
  </tr>
  <tr>
    <td><a id="initcap_spaces"></a><code>INITCAP_SPACES ( string )</code></td>
    <td>Converts the first letter of each word in <code>string</code> to upper case and the rest to lower case. Words are sequences of characters separated by spaces.</td>
    <td><code>initcap('hi THOMAS-SON')</code> => <code>Hi Thomas-son</code></td>
  </tr>
  <tr>
    <td><a id="left"></a><code>LEFT ( string, count )</code></td>
    <td>Returns first <code>count</code> characters in <code>string</code>.  If any argument is <code>NULL</code>, returns <code>NULL</code>.</td>
    <td><code>left('abcde', 2)</code> => <code>ab</code></td>
  </tr>
  <tr>
    <td><a id="lower"></a><code>LOWER ( string )</code></td>
    <td>Converts <code>string</code> to all lower case.</td>
    <td><code>lower('TOM')</code> => <code>tom</code></td>
  </tr>
  <tr>
    <td><a id="md5"></a><code>MD5</code>(string)</td>
    <td>
        Calculates an MD5 128-bit checksum of <code>string</code> and returns it as a hex <code>VARCHAR</code> value.
        If the input is NULL, NULL is returned.
    </td>
    <td><code>SELECT md5('Feldera')</code> => <code>841afc2f65b5763600818ef42a56d7d1</code></td>
  </tr>
  <tr>
    <td><a id="overlay"></a><code>OVERLAY ( string PLACING newsubstring FROM start [ FOR remove ] )</code></td>
    <td>Replaces the substring of <code>string</code> that starts at the <code>start</code>'th character and extends for <code>remove</code> characters with <code>newsubstring</code>. If <code>count</code> is omitted, it defaults to the length of <code>newsubstring</code>.  If <code>start</code> is not positive, the original string is unchanged.  If <code>start</code> is bigger than the length of <code>string</code>, the result is the concatenation of the two strings.  If <code>remove</code> is negative it is considered 0.</td>
    <td><code>overlay('Txxxxas' placing 'hom' from 2 for 4)</code> => <code>Thomas</code></td>
  </tr>
  <tr>
    <td><a id="position"></a><code>POSITION(substring IN string)</code></td>
    <td>Returns the first Unicode character index of <code>substring</code> within <code>string</code>, or zero if it's not present.  First character has index 1.</td>
    <td><code>position('om' in 'Thomas')</code> => <code>3</code></td>
  </tr>
  <tr>
    <td><a id="regexp_replace"></a><code>REGEXP_REPLACE(expr, pat[, repl])</code></td>
    <td>Replaces occurrences in the string `expr` that match the regular expression
        specified by the pattern `pat` with the replacement string `repl`, and returns
        the resulting string. If any one of `expr`, `pat`, or `repl` is `NULL`, the return value is `NULL`.
        If `repl` is missing, it is assumed to be the empty string.  If the regular
        expression is invalid, the original string is returned.</td>
    <td></td>
  </tr>
  <tr>
    <td><a id="repeat"></a><code>REPEAT ( string, count )</code></td>
    <td>Repeats <code>string</code> the specified number of times.  The result is an empty string for a negative or 0 count.</td>
    <td><code>repeat('Pg', 4)</code> => <code>PgPgPgPg</code></td>
  </tr>
  <tr>
    <td><a id="replace"></a><code>REPLACE ( haystack, needle, replacement )</code></td>
    <td>Replaces all occurrences of `needle` in `haystack` with `replacement`.</td>
    <td><code>replace('abcdefabcdef', 'cd', 'XX')</code> => <code>abXXefabXXef</code></td>
  </tr>
  <tr>
    <td><a id="right"></a><code>RIGHT ( string, count )</code></td>
    <td>Returns last <code>count</code> characters in the string.  If any argument is <code>NULL</code>, return <code>NULL</code>.</td>
    <td><code>right('abcde', 2)</code> => <code>de</code></td>
  </tr>
  <tr>
    <td><a id="rlike-function"></a><code>RLIKE(string, pattern)</code></td>
    <td>A function equivalent to the <code>RLIKE</code> operator above.</td>
    <td><code>RLIKE('string', 's..i.*')</code> => <code>TRUE</code></td>
  </tr>
  <tr>
    <td><a id="split"></a><code>SPLIT(string [, delimiter])</code></td>
    <td>Produce an array of strings, by splitting <code>string</code> at each occurrence of <code>delimiter</code>.
        If <code>delimiter</code> is empty, return an array containing just <code>string</code>.  If
        <code>string</code> is empty, return an empty array.  If either argument is NULL, return NULL.
        If <code>delimiter</code> is absent assume it is the string <code>','</code>.</td>
    <td><code>SPLIT('a|b|c|', '|')</code> => <code>['a', 'b', 'c', '']</code></td>
  </tr>
  <tr>
    <td><a id="split_part"></a><code>SPLIT_PART(string, delimiter, n)</code></td>
    <td>
        This function uses 1-based indexing. It extracts the <code>n</code>'th part of <code>string</code> by splitting it at each occurrence of <code>delimiter</code>.
        <ul>
            <li><code>n = 1</code> refers to the first part of <code>string</code> after splitting.</li>
            <li><code>n = 2</code> refers to the second part, and so on.</li>
            <li>If <code>n</code> is negative, it returns the <code>abs(n)</code>'th part from the end of <code>string</code>.</li>
            <li>If <code>n</code> is out of bounds, it returns an empty string.</li>
        </ul>
    </td>
    <td>
        <code>SPLIT_PART('a|b|c|', '|', 2)</code> => <code>b</code><br></br>
        <code>SPLIT_PART('a|b|c|', '|', -2)</code> => <code>c</code><br></br>
        <code>SPLIT_PART('a|b|c|', '|', 5)</code> => <code>''</code>
    </td>
  </tr>
  <tr>
    <td><a id="substr"></a><code>SUBSTR (</code> string, start, <code> [ ,</code> length <code>]</code></td>
    <td>Extracts the substring of <code>string</code> starting at the <code>start</code>'th character, and stopping after <code>length</code> characters if the value is specified. If <code>start</code> is negative, the first character is chosen counting backwards from the end of <code>string</code>.  If <code>count</code> is negative the empty string is returned.  The index of the first character is 1.</td>
    <td><code>SUBSTR('Thomas', 2, 3)</code> => <code>hom</code><br></br>
        <code>SUBSTR('Thomas', 3)</code> => <code>omas</code><br></br></td>
  </tr>
  <tr>
    <td><a id="substring"></a><code>SUBSTRING (</code> string <code>FROM</code> start <code> [ FOR</code> count<code> ] )</code></td>
    <td>Extracts the substring of <code>string</code> starting at the <code>start</code>'th character, and stopping after <code>count</code> characters if the value is specified. If <code>start</code> is negative, only <code>max(count + start - 1, 0)</code> characters are returned.  If <code>count</code> is negative the empty string is returned.  The index of the first character is 1.</td>
    <td><code>SUBSTRING('Thomas' from 2 for 3)</code> => <code>hom</code><br></br>
        <code>SUBSTRING('Thomas' from 3)</code> => <code>omas</code><br></br></td>
  </tr>
  <tr>
    <td><a id="trim"></a><code>TRIM ( [ LEADING | TRAILING | BOTH ]</code> characters <code>FROM</code> string <code>)</code></td>
    <td>Remove <code>characters</code> from the specified ends of <code>string</code></td>
    <td><code>TRIM(both 'xyz' from 'yxTomxx')</code> => <code>Tom</code><br></br><code>TRIM(leading 'xyz' from 'yxTomxx')</code> => <code>Tomxx</code></td>
  </tr>
  <tr>
    <td><a id="upper"></a><code>UPPER ( string )</code></td>
    <td>Converts <code>string</code> to all upper case.</td>
    <td><code>upper('tom')</code> => <code>TOM</code></td>
  </tr>
</table>

## `LIKE`

string `LIKE` pattern [`ESCAPE` escape-character]

string `NOT LIKE` pattern [`ESCAPE` escape-character]

If <code>pattern</code> does not contain percent signs or underscores, then the
pattern only represents the string itself; in that case `LIKE` acts
like the equals operator. An underscore (`_`) in <code>pattern</code> stands for
(matches) any single character; a percent sign (`%`) matches any
sequence of zero or more characters.

Some examples:

```sql
'abc' LIKE 'abc'    true
'abc' LIKE 'a%'     true
'abc' LIKE '_b_'    true
'abc' LIKE 'c'      false
```

`LIKE` pattern matching always covers the entire string. Therefore, if
it's desired to match a sequence anywhere within a string, the pattern
must start and end with a percent sign.

To match a literal underscore or percent sign without matching other
characters, the respective character in pattern must be preceded by
the escape character. The default escape character is the backslash
but a different one can be selected by using the <code>ESCAPE</code> clause. To
match the escape character itself, write two escape characters.  The
escape character cannot be one of the special pattern characters `_`
or `%`.

Some examples where the escape character is changed to `#`:

```sql
SELECT 'hawkeye' LIKE 'h%' ESCAPE '#'          true
SELECT 'hawkeye' NOT LIKE 'h%' ESCAPE '#'      false
SELECT 'h%' LIKE 'h#%' ESCAPE '#'              true
SELECT 'h%' NOT LIKE 'h#%' ESCAPE '#'          false
SELECT 'h%wkeye' LIKE 'h#%' ESCAPE '#'         false
SELECT 'h%wkeye' NOT LIKE 'h#%' ESCAPE '#'     true
SELECT 'h%wkeye' LIKE 'h#%%' ESCAPE '#'        true
SELECT 'h%wkeye' NOT LIKE 'h#%%' ESCAPE '#'    false
SELECT 'h%awkeye' LIKE 'h#%a%k%e' ESCAPE '#'   true
```

When either argument or `LIKE`, `NOT LIKE` is `NULL`, the result is `NULL`.

## `ILIKE`

string `ILIKE` pattern

string `NOT ILIKE` pattern

The `ILIKE` expression performs a case-insensitive pattern match. If
<code>pattern</code> does not contain percent signs or underscores,
then the pattern represents the string itself, and `ILIKE` acts like
the equals operator, ignoring character case. An underscore (`_`) in
<code>pattern</code> matches any single character, while a percent
sign (`%`) matches any sequence of zero or more characters.

Some examples:

```sql
SELECT 'hawkeye' ILIKE 'h%'        true
SELECT 'hawkeye' NOT ILIKE 'h%'    false
SELECT 'hawkeye' ILIKE 'H%'        true
SELECT 'hawkeye' NOT ILIKE 'H%'    false
SELECT 'hawkeye' ILIKE 'H%Eye'     true
SELECT 'hawkeye' NOT ILIKE 'H%Eye' false
SELECT 'Hawkeye' ILIKE 'h%'        true
SELECT 'Hawkeye' NOT ILIKE 'h%'    false
SELECT 'ABC'     ILIKE '_b_'       true
SELECT 'ABC'     NOT ILIKE '_b_'   false
```
When either argument or `ILIKE`, `NOT ILIKE` is `NULL`, the result is `NULL`.

## Regular expressions

Regular expressions are matched using the `RLIKE` function.  If either
argument of `RLIKE` is `NULL`, the result is also `NULL`.  The
implementation is based on the Rust
[`Regex`](https://docs.rs/regex/latest/regex/) library.  The full
syntax supported is described in the [Rust
documentation](https://docs.rs/regex/latest/regex/#syntax).

The description below uses fragments from the [Postgres
documentation](https://www.postgresql.org/docs/15/functions-matching.html#FUNCTIONS-POSIX-REGEXP),
where credit is given to Henry Spencer.

Currently, our compiler does *not* support `SIMILAR TO` regular
expressions.

A regular expression is a character sequence that is an abbreviated
definition of a set of strings (a regular set). A string is said to
match a regular expression if it is a member of the regular set
described by the regular expression. As with `LIKE`, pattern
characters match string characters exactly unless they are special
characters in the regular expression language — but regular
expressions use different special characters than `LIKE` does. Unlike
`LIKE` patterns, a regular expression is allowed to match anywhere
within a string, unless the regular expression is explicitly anchored
to the beginning or end of the string.

A *regular expression* is defined as one or more *branches*, separated
by `|`. It matches anything that matches one of the branches.

A *branch* is zero or more *quantified atoms* or *constraints*,
concatenated. It matches a match for the first, followed by a match
for the second, etc.; an empty branch matches the empty string.

A *quantified atom* is an *atom* possibly followed by a single
*quantifier*. Without a quantifier, it matches a match for the
atom. With a quantifier, it can match some number of matches of the
atom. An atom can be any of the possibilities shown in the Table
below.

<table>
   <tr>
      <th>Atom</th>
      <th>Description</th>
   </tr>
   <tr>
      <td><code>(re)</code></td>
      <td>where <code>re</code> is any regular expression: matches a match for <code>re</code>, with the match noted for possible reporting</td>
   </tr>
   <tr>
      <td><code>(?:re)</code></td>
      <td>as above, but the match is not noted for reporting (a “non-capturing” set of parentheses)</td>
   </tr>
   <tr>
      <td><code>.</code></td>
      <td>matches any single character</td>
   </tr>
   <tr>
      <td><code>[chars]</code></td>
      <td>a bracket expression, matching any one of the chars (see below for more details)</td>
   </tr>
   <tr>
      <td><code>\k</code></td>
      <td>where <code>k</code> is a non-alphanumeric character): matches that character taken as an ordinary character, e.g.,
          <code>\\</code> matches a backslash character</td>
   </tr>
   <tr>
      <td><code>\c</code></td>
      <td>where <code>c</code> is alphanumeric (possibly followed by other characters): is an escape, see below</td>
   </tr>
   <tr>
      <td><code>&#123;</code></td>
      <td>when followed by a character other than a digit, matches the left-brace character <code>&#123;</code>;
          when followed by a digit, it is the beginning of a bound (see below)</td>
   </tr>
   <tr>
      <td>x</td>
      <td>where <code>x</code> is a single character with no other significance, matches that character</td>
   </tr>
</table>

The possible quantifiers and their meanings are shown the Table below.

| Quantifier   | Matches                                                                      |
|--------------|------------------------------------------------------------------------------|
| `*`          | a sequence of 0 or more matches of the atom                                  |
| `+`          | a sequence of 1 or more matches of the atom                                  |
| `?`          | a sequence of 0 or 1 matches of the atom                                     |
| `{`m`}`      | a sequence of exactly m matches of the atom                                  |
| `{`m`,}`     | a sequence of m or more matches of the atom                                  |
| `{`m`,`n`}`  | a sequence of m through n (inclusive) matches of the atom; m cannot exceed n |
| `*?`         | non-greedy version of *                                                      |
| `+?`         | non-greedy version of +                                                      |
| `??`         | non-greedy version of ?                                                      |
| `{`m`}?`     | non-greedy version of `{m}`                                                  |
| `{`m`,}?`    | non-greedy version of `{m,}`                                                 |
| `{`m`,`n`}?` | non-greedy version of `{m,n}`                                                |

A constraint matches an empty string, but matches only when specific
conditions are met. A constraint can be used where an atom could be
used, except it cannot be followed by a quantifier. The simple
constraints are shown in the Table below; some more constraints are
described later.

| Constraint  | Description                            |
|-------------|----------------------------------------|
| `^`         | matches at the beginning of the string |
| `$`         | matches at the end of the string       |

### Bracket Expressions

A bracket expression is a list of characters enclosed in `[]`. It
normally matches any single character from the list (but see
below). If the list begins with `^`, it matches any single character
not from the rest of the list. If two characters in the list are
separated by `-`, this is shorthand for the full range of characters
between those two (inclusive) in the collating sequence, e.g., `[0-9]`
in ASCII matches any decimal digit. It is illegal for two ranges to
share an endpoint, e.g., `a-c-e`.  Ranges are very
collating-sequence-dependent, so portable programs should avoid
relying on them.

To include a literal `]` in the list, make it the first character
(after `^`, if that is used). To include a literal `-`, make it the
first or last character, or the second endpoint of a range. To use a
literal `-` as the first endpoint of a range, enclose it in `[.` and
`.]`.  With the exception of these characters, some combinations using
`[`, all other special characters lose their special significance
within a bracket expression. In particular, `\` is not special.

Within a bracket expression, the name of a character class enclosed in
`[:` and `:]` stands for the list of all characters belonging to that
class. A character class cannot be used as an endpoint of a range. The
POSIX standard defines these character class names:

| Class    | Description                           |
|----------|---------------------------------------|
| `alnum`  | letters and numeric digits            |
| `alpha`  | letters                               |
| `blank`  | space and tab                         |
| `cntrl`  | control characters                    |
| `digit`  | numeric digits                        |
| `graph`  | printable characters except space     |
| `lower`  | lower-case letters                    |
| `print`  | printable characters including space  |
| `punct`  | punctuation                           |
| `space`  | any white space                       |
| `upper`  | upper-case letters                    |
| `xdigit` | hexadecimal digits                    |

Class-shorthand escapes provide shorthands for certain commonly-used
character classes. They are shown in the table below.

| Escape  | Description                                             |
|---------|---------------------------------------------------------|
| `\d`    | matches any digit, like [[:digit:]]                     |
| `\s`    | matches any whitespace character, like [[:space:]]      |
| `\w`    | matches any word character, like [[:word:]]             |
| `\D`    | matches any non-digit, like [^[:digit:]]                |
| `\S`    | matches any non-whitespace character, like [^[:space:]] |
| `\W`    | matches any non-word character, like [^[:word:]]        |

The behavior of these standard character classes is generally
consistent across platforms for characters in the 7-bit ASCII set.
Whether a given non-ASCII character is considered to belong to one of
these classes depends on the collation that is used for the
regular-expression function or operator.

### Regular Expression Escapes

Escapes are special sequences beginning with `\` followed by an
alphanumeric character.  Escapes come in several varieties: character
entry, class shorthands, and constraint escapes. A
`\` followed by an alphanumeric character but not constituting a valid
escape is illegal.

Character-entry escapes exist to make it easier to specify
non-printing and other inconvenient characters in REs. They are shown
in the Table below.

| Escape   | Description                                                                                     |
|----------|-------------------------------------------------------------------------------------------------|
| `\n`     | newline, as in C                                                                                |
| `\r`     | carriage return, as in C                                                                        |
| `\t`     | horizontal tab, as in C                                                                         |
| `\u`wxyz | (where wxyz is exactly four hexadecimal digits) the character whose hexadecimal value is 0xwxyz |
| `\x`hh   | (where hh is a pair of hexadecimal digits) the character whose hexadecimal value is 0xhh        |
| `\0`     | the character whose value is 0 (the null byte)                                                  |

A constraint escape is a constraint, matching the empty string if
specific conditions are met, written as an escape. They are shown in
the Table below.

| Escape  | Description                                 |
|---------|---------------------------------------------|
| `\A`    | matches only at the beginning of the string |
| `\b`    | matches word boundaries                     |
| `\B`    | not a word boundary                         |

### Capture groups

A common way to use regexes is with _capture groups_. That is, instead
of just looking for matches of an entire regex, parentheses are used
to create groups that represent part of the match.

For example, consider a string with multiple lines, and each line has
three whitespace delimited fields where the second field is expected
to be a number and the third field a boolean.  This can be expressed
with the following regular expression, where the capture groups have
been labeled `$0` to `$4`.

```
(?m)^\s*(\S+)\s+([0-9]+)\s+(true|false)\s*$
^^^^    ^^^^^   ^^^^^^^^   ^^^^^^^^^^^^
 $1      $2       $3           $4
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
               $0
```

Capture group 0 always corresponds to an implicit unnamed group that
includes the entire match.  If a match is found, this group is always
present.

Subsequent groups may be named and are numbered, starting at 1, by the
order in which the opening parenthesis appears in the pattern.  For
example, in the pattern `(?<a>.(?<b>.))(?<c>.)`, `a`, `b` and `c`
correspond to capture groups `$1`, `$2` and `$3`, respectively.

### Regular expression functions

```sql
REGEXP_REPLACE(expr, pat[, repl])
```

If `repl` is missing, it is assumed to be the empty string.

Replaces occurrences in the string `expr` that match the regular
expression specified by the pattern `pat` with the replacement string
`repl`, and returns the resulting string.  If any of `expr`, `pat`, or
`repl` is `NULL`, the return value is `NULL`.

#### Replacement string syntax

All instances of `$N` in the replacement string are replaced with the
substring corresponding to the capture group identified by `N`.

`N` may be an integer corresponding to the index of the capture group
(counted by order of opening parenthesis where 0 is the entire match)
or it can be a name (consisting of letters, digits or underscores)
corresponding to a named capture group.

If `N` isn’t a valid capture group (whether the name doesn’t exist or
isn’t a valid index), then it is replaced with the empty string.

The longest possible name is used. For example, `$1a` looks up the
capture group named `1a` and not the capture group at index `1`. To
exert more precise control over the name, use braces, e.g., `${1}a`.

To write a literal `$` use `$$`.

Examples:

```
select regexp_replace('1078910', '[^01]');
1010

select regexp_replace('deep fried', '(?<first>\w+)\s+(?<second>\w+)', '${first}_$second');
deep_fried

select regexp_replace('Springsteen, Bruce', '([^,\s]+),\s+(\S+)', '$2 $1');
Bruce Springsteen

select regexp_replace('Springsteen, Bruce', '(?<last>[^,\s]+),\s+(?<first>\S+)', '$first $last');
Bruce Springsteen
```

Note that using `$2` instead of `$first` or `$1` instead of `$last`
would produce the same result.