semver 0.32.0

Synopsis

CREATE EXTENSION semver;

SELECT '1.2.1'::semver;
 semver
--------
 1.2.1

SELECT '1.2.0'::semver > '1.2.0-b1'::semver;
 ?column?
----------
 t

Description

This library contains a single PostgreSQL extension, a semantic version data type called semver. It's an implementation of the version number format specified by the Semantic Versioning 2.0.0 Specification.

The salient points of the spec, for the purposes of a data type and comparison operators, are:

  1. A normal version number MUST take the form X.Y.Z where X, Y, and Z are non-negative integers, and MUST NOT contain leading zeroes. X is the major version, Y is the minor version, and Z is the patch version. Each element MUST increase numerically. For instance: 1.9.0 < 1.10.0 < 1.11.0.

  2. A pre-release version MAY be denoted by appending a hyphen and a series of dot separated identifiers immediately following the patch version. Identifiers MUST comprise only ASCII alphanumerics and hyphen [0-9A-Za-z-]. Identifiers MUST NOT be empty. Numeric identifiers MUST NOT include leading zeroes. Pre-release versions have a lower precedence than the associated normal version. A pre-release version indicates that the version is unstable and might not satisfy the intended compatibility requirements as denoted by its associated normal version. Examples: 1.0.0-alpha, 1.0.0-alpha.1, 1.0.0-0.3.7, 1.0.0-x.7.z.92.

  3. Build metadata MAY be denoted by appending a plus sign and a series of dot separated identifiers immediately following the patch or pre-release version. Identifiers MUST comprise only ASCII alphanumerics and hyphen [0-9A-Za-z-]. Identifiers MUST NOT be empty. Build metadata SHOULD be ignored when determining version precedence. Thus two versions that differ only in the build metadata, have the same precedence. Examples: 1.0.0-alpha+001, 1.0.0+20130313144700, 1.0.0-beta+exp.sha.5114f85.

  4. Precedence refers to how versions are compared to each other when ordered. Precedence MUST be calculated by separating the version into major, minor, patch and pre-release identifiers in that order (Build metadata does not figure into precedence). Precedence is determined by the first difference when comparing each of these identifiers from left to right as follows: Major, minor, and patch versions are always compared numerically. Example: 1.0.0 < 2.0.0 < 2.1.0 < 2.1.1. When major, minor, and patch are equal, a pre-release version has lower precedence than a normal version. Example: 1.0.0-alpha < 1.0.0. Precedence for two pre-release versions with the same major, minor, and patch version MUST be determined by comparing each dot separated identifier from left to right until a difference is found as follows: identifiers consisting of only digits are compared numerically and identifiers with letters or hyphens are compared lexically in ASCII sort order. Numeric identifiers always have lower precedence than non-numeric identifiers. A larger set of pre-release fields has a higher precedence than a smaller set, if all of the preceding identifiers are equal. Example: 1.0.0-alpha < 1.0.0-alpha.1 < 1.0.0-alpha.beta < 1.0.0-beta < 1.0.0-beta.2 < 1.0.0-beta.11 < 1.0.0-rc.1 < 1.0.0.

🚨 v0.30.0 Upgrade Compatibility Warning 🚨

Prior to v0.30.0, the semver extension incorrectly allowed some invalid prerelease and build metadata values. Details below, but BEFORE YOU UPGRADE from an earlier version, we strongly recommend that you check for and repair any invalid semvers. You can find them using the official SemVer regular expression like so (replace name, version, and packages as appropriate for your database):

SELECT name, version FROM packages
WHERE version::text !~ '^(0|[1-9]\d*)\.(0|[1-9]\d*)\.(0|[1-9]\d*)(?:-((?:0|[1-9]\d*|\d*[a-zA-Z-][0-9a-zA-Z-]*)(?:\.(?:0|[1-9]\d*|\d*[a-zA-Z-][0-9a-zA-Z-]*))*))?(?:\+([0-9a-zA-Z-]+(?:\.[0-9a-zA-Z-]+)*))?$';

If no rows are returned, you should be good to go. If there are results, here are Examples of invalid semantic versions and how they should be repaired.

Invalid             Valid SemVer
-----------         ----------------------------
1.0.0-02799    ->   1.0.0-2799
1.0.0-0.02     ->   1.0.0-0.2
1.0.0-.20      ->   1.0.0-0.20
1.0.0+0+20     ->   1.0.0+0-20  or  1.0.0+0.20
1.0.0+.af      ->   1.0.0+0.af  or  1.0.0+af

Usage

Add the extension to a database:

CREATE EXTENSION semver;

Now, use it like any other data type. Here's an example in a table:

CREATE TABLE extensions (
    name        TEXT,
    version     SEMVER,
    description TEXT,
    PRIMARY KEY (name, version)
);

The type can be in indexed using btree or hash indexes:

CREATE INDEX idx_extension_version ON extensions(version);
CREATE INDEX hdx_extension_version ON extensions USING hash (version);

Hash indexes aren't worth much, but the functionality is there to support hash aggregates in query optimizations.

And some sample usage:

INSERT INTO extensions
VALUES ('pgtap', '0.35.0',    'PostgreSQL unit testing'),
       ('pgtap', '0.35.0-b1', 'PostgreSQL unit testing.'),
       ('pair',  '0.1.0',     'Key/value pair data type'),
       ('PostGIS', '1.5.0',   'Gelocation data types');

SELECT * FROM extensions WHERE VERSION = '1.5.0';
  name   │ version │      description
---------+---------+-----------------------
 PostGIS │ 1.5.0   │ Gelocation data types

SELECT * FROM extensions WHERE VERSION < '0.35.0';
 name  │ version   │       description
-------+-----------+--------------------------
 pgtap │ 0.35.0-b1 │ PostgreSQL unit testing.
 pair  │ 0.1.0     │ Key/value pair data type

Note that "0.35.0-b1" is less than "0.35.0", as required by the specification. Use ORDER BY to get more of a feel for semantic version ordering rules:

SELECT version FROM extensions ORDER BY version;
 version
-----------
 0.1.0
 0.35.0-b1
 0.35.0
 1.5.0

SELECT version FROM extensions ORDER BY version DESC;
 version
-----------
 1.5.0
 0.35.0
 0.35.0-b1
 0.1.0

Interface

Operators

Operator Description Example Result
= Are semvers equivalent '1.2.0'semver = '1.2.00'::semver t
<> Are semvers different '1.2.0'semver <> '1.2.00'::semver f
< Is semver less than right semver '3.4.0-b1'semver < '3.4.0'::semver t
<= Is semver less than or equal to semver '3.4.0-b1'semver <= '3.4.0'::semver t
> Is semver greater than right semver '3.4.0-b1'semver > '3.4.0'::semver f
>= Is semver greater than or equal to semver '3.4.0-b1'semver >= '3.4.0'::semver f

Functions

Function Description Example Result
to_semver(text) Parse semver from text to_semver('1.02') 1.2.0
is_semver(text) Test semver text is_semver('1.2.0') true
semver(text) Cast text to semver semver('1.2.1') 1.2.1
semver(numeric) Cast numeric to semver semver(1.2) 1.2.0
semver(real) Cast real to semver semver(12.0::real) 12.0.0
semver(double precision) Cast double precision to semver semver(9.2::double precision) 9.2.0
semver(integer) Cast integer to semver semver(42::integer) 42.0.0
semver(bigint) Cast bigint to semver semver(19::bigint) 19.0.0
semver(smallint) Cast smallint to semver semver(2::smallint) 2.0.0
text(semver) Cast semver to text text('1.2.54'::semver) 1.2.54
get_semver_major(semver) Get major version part get_semver_major('4.2.0') 4
get_semver_minor(semver) Get minor version part get_semver_minor('4.2.0') 2
get_semver_patch(semver) Get patch version part get_semver_patch('4.2.0') 0
get_semver_prerelease(semver) Get prerelease version part get_semver_prerelease('2.1.0-b2+bfb13') b2

Numeric casts simply extract an integer from the decimal portion, so that 1.20 and 1.02 would both be parsed as 1.2.0 (but their string equivalents would not).

The difference between semver() and to_semver() is that the former requires a valid semver format, while the latter is a bit more permissive, doing its best to convert other version number formats (including the older semver 1.0.0-beta prerelease format) to semantic versions:

# select to_semver('1.0');
 to_semver
-----------
 1.0.0
(1 row)

# select to_semver('1.0beta1');
 to_semver
-----------
 1.0.0-beta1
(1 row)

As for is_semver(), it returns true for a valid semver format, and false for anything else, including formats that semver() would convert to valid semvers. In other words, its interpretation of validity is strict.

And finally, the get_semver_* functions all return integers except for get_semver_prerelease(), which returns text.

Aggregate Functions

The examples assume the values inserted into the extensions table in the above examples.

Function Return Type Description Example Result
MIN(semver) semver Return the lowest semver SELECT MIN(version) FROM extensions; 0.1.0
MAX(semver) semver Return the highest semver SELECT MAX(version) FROM extensions; 1.5.0

Casts

From To Example Result
text semver '1.2.1'::semver 1.2.1
numeric semver 1.2::semver 1.2.0
real semver 12.0::real::semver 12.0.0
double precision semver 9.2::double precision::semver 9.2.0
integer semver 42::integer::semver 42.0.0
bigint semver 19::bigint::semver 19.0.0
smallint semver 2::smallint::semver 2.0.0
semver text '1.2.54'::semver::text 1.2.54

Note that numeric casts simply extract an integer from the decimal portion, so that 1.20 and 1.02 would both be parsed as 1.2.0 (but their string equivalents would not).

Range Type

As of v0.20.0, the semver extension includes the semverrange type, which simply builds on the range type support on PostgreSQL 9.2 and higher. This allows for easy specification of ranges of semantic versions. Some examples:

Range Description
['1.0.0', '2.0.0'] 1.0.0 inclusive - 2.0.0 inclusive
['1.0.0', '2.0.0') 1.0.0 inclusive - 2.0.0 exclusive
('1.0.0', '2.0.0') 1.0.0 exclusive - 2.0.0 exclusive
['1.0.0',]. 1.0.0 inclusive - infinity

The cool thing is that you can use any of the range operators, including the "contains" operators: For example, to see if 1.0.5 falls falls within the range 1.0.0 - 2.0.0 exclusive, run a query like this:

SELECT '1.0.5'::semver <@ '[1.0.0, 2.0.0)'::semverrange;
 ?column? 
----------
 t

The semverrange constructor will build the same range,

SELECT semverrange('1.0.0', '2.0.0') @> '2.0.0'::semver;
 ?column? 
----------
 f

SELECT semverrange('1.0.0', '2.0.0') @> '1.9999.9999'::semver;
 ?column? 
----------
 t

Pass the optional third argument to determine the bounds inclusiveness:

SELECT semverrange('1.0.0', '2.0.0', '[]') @> '2.0.0'::semver;
 ?column? 
----------
 t

It works for unlimited bound, as well. For example, this query ensure that a semver is greater than or equal 1.0.0:

SELECT '1000.0.0'::semver <@ '[1.0.0,]'::semverrange;
 ?column? 
----------
 t

If you need to omit some values, you can use an array of semverrange values. For example, say you want to check require a version greater than 1.0.0 and less than 2.0.0, but versions 1.2.3 and 1.4.5 have such serious bugs that you don't want to include them. We create three ranges that use exclusive bounds to omit those versions, like so:

'{"(1.0.0,1.2.3)", "(1.2.3,1.4.5)", "(1.4.5,2.0.0)"}'::semverrange[]

Here's an sample how to query such an array of semverranges.

SELECT version, version <@ ANY(
    '{"(1.0.0,1.2.3)", "(1.2.3,1.4.5)", "(1.4.5,2.0.0)"}'::semverrange[]
) AS valid FROM (VALUES
    ('1.0.0'::semver), ('1.0.1'), ('1.2.3'), ('1.2.4'), ('1.4.4'), ('1.4.5'),
    ('1.7.0'), ('2.0.0')
) AS v(version)
 version | valid 
---------+-------
 1.0.0   | f
 1.0.1   | t
 1.2.3   | f
 1.2.4   | t
 1.4.4   | t
 1.4.5   | f
 1.7.0   | t
 2.0.0   | f

Support

This library is stored in an open GitHub repository. Feel free to fork and contribute! Please file bug reports via GitHub Issues.

Authors

Copyright and License

Copyright (c) 2010-2022 The pg-semver Maintainers: David E. Wheeler, Sam Vilain, Tom Davis, and Xavier Caron.

This module is free software; you can redistribute it and/or modify it under the PostgreSQL License.

Permission to use, copy, modify, and distribute this software and its documentation for any purpose, without fee, and without a written agreement is hereby granted, provided that the above copyright notice and this paragraph and the following two paragraphs appear in all copies.

In no event shall The pg-semver Maintainers be liable to any party for direct, indirect, special, incidental, or consequential damages, including lost profits, arising out of the use of this software and its documentation, even if The pg-semver Maintainers have been advised of the possibility of such damage.

The pg-semver Maintainers specifically disclaim any warranties, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpose. The software provided hereunder is on an "as is" basis, and The pg-semver Maintainers no obligations to provide maintenance, support, updates, enhancements, or modifications.