EPSG:9725

COMPD_CS["ETRS89-ITA [RDN2008] + Cagliari 1956 height",
    GEOGCS["ETRS89-ITA [RDN2008]",
        DATUM["Rete_Dinamica_Nazionale_2008",
            SPHEROID["GRS 1980",6378137,298.257222101,
                AUTHORITY["EPSG","7019"]],
            AUTHORITY["EPSG","1132"]],
        PRIMEM["Greenwich",0,
            AUTHORITY["EPSG","8901"]],
        UNIT["degree",0.0174532925199433,
            AUTHORITY["EPSG","9122"]],
        AUTHORITY["EPSG","6706"]],
    VERT_CS["Cagliari 1956 height",
        VERT_DATUM["Cagliari 1956",2005,
            AUTHORITY["EPSG","1307"]],
        UNIT["metre",1,
            AUTHORITY["EPSG","9001"]],
        AXIS["Gravity-related height",UP],
        AUTHORITY["EPSG","9722"]],
    AUTHORITY["EPSG","9725"]]

COMPOUNDCRS["ETRS89-ITA [RDN2008] + Cagliari 1956 height",
    GEOGCRS["ETRS89-ITA [RDN2008]",
        DATUM["Rete Dinamica Nazionale 2008",
            ELLIPSOID["GRS 1980",6378137,298.257222101,
                LENGTHUNIT["metre",1]],
            ANCHOREPOCH[2008]],
        PRIMEM["Greenwich",0,
            ANGLEUNIT["degree",0.0174532925199433]],
        CS[ellipsoidal,2],
            AXIS["geodetic latitude (Lat)",north,
                ORDER[1],
                ANGLEUNIT["degree",0.0174532925199433]],
            AXIS["geodetic longitude (Lon)",east,
                ORDER[2],
                ANGLEUNIT["degree",0.0174532925199433]]],
    VERTCRS["Cagliari 1956 height",
        VDATUM["Cagliari 1956"],
        CS[vertical,1],
            AXIS["gravity-related height (H)",up,
                LENGTHUNIT["metre",1]]],
    USAGE[
        SCOPE["Reversible geoid model transformation."],
        AREA["Italy - Sardinia onshore."],
        BBOX[38.82,8.08,41.31,9.89]],
    ID["EPSG",9725]]

GEOGCS["GCS_RDN2008",
    DATUM["D_Rete_Dinamica_Nazionale_2008",
        SPHEROID["GRS_1980",6378137.0,298.257222101]],
    PRIMEM["Greenwich",0.0],
    UNIT["Degree",0.0174532925199433]],
VERTCS["Cagliari_1956_height",
    VDATUM["Cagliari_1956"],
    PARAMETER["Vertical_Shift",0.0],
    PARAMETER["Direction",1.0],
    UNIT["Meter",1.0]]

proj4.defs("EPSG:9725","+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs");

{
    "$schema": "https://proj.org/schemas/v0.7/projjson.schema.json",
    "type": "CompoundCRS",
    "name": "ETRS89-ITA [RDN2008] + Cagliari 1956 height",
    "components": [
        {
            "type": "GeographicCRS",
            "name": "ETRS89-ITA [RDN2008]",
            "datum": {
                "type": "GeodeticReferenceFrame",
                "name": "Rete Dinamica Nazionale 2008",
                "anchor_epoch": 2008,
                "ellipsoid": {
                    "name": "GRS 1980",
                    "semi_major_axis": 6378137,
                    "inverse_flattening": 298.257222101
                }
            },
            "coordinate_system": {
                "subtype": "ellipsoidal",
                "axis": [
                    {
                        "name": "Geodetic latitude",
                        "abbreviation": "Lat",
                        "direction": "north",
                        "unit": "degree"
                    },
                    {
                        "name": "Geodetic longitude",
                        "abbreviation": "Lon",
                        "direction": "east",
                        "unit": "degree"
                    }
                ]
            },
            "remarks": "Replaces ETRS89-ITA [IGM95] (CRS code 4670) from 2011-11-10."
        },
        {
            "type": "VerticalCRS",
            "name": "Cagliari 1956 height",
            "datum": {
                "type": "VerticalReferenceFrame",
                "name": "Cagliari 1956"
            },
            "coordinate_system": {
                "subtype": "vertical",
                "axis": [
                    {
                        "name": "Gravity-related height",
                        "abbreviation": "H",
                        "direction": "up",
                        "unit": "metre"
                    }
                ]
            }
        }
    ],
    "scope": "Reversible geoid model transformation.",
    "area": "Italy - Sardinia onshore.",
    "bbox": {
        "south_latitude": 38.82,
        "west_longitude": 8.08,
        "north_latitude": 41.31,
        "east_longitude": 9.89
    },
    "id": {
        "authority": "EPSG",
        "code": 9725
    }
}

<?xml version="1.0" encoding="utf-8"?>
<Map srs="+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs">
	<Layer srs="+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs">
	</Layer>
</Map>

INSERT into spatial_ref_sys (srid, auth_name, auth_srid, proj4text, srtext) values ( 9725, 'EPSG', 9725, '+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs', 'COMPD_CS["ETRS89-ITA [RDN2008] + Cagliari 1956 height",GEOGCS["ETRS89-ITA [RDN2008]",DATUM["Rete_Dinamica_Nazionale_2008",SPHEROID["GRS 1980",6378137,298.257222101,AUTHORITY["EPSG","7019"]],AUTHORITY["EPSG","1132"]],PRIMEM["Greenwich",0,AUTHORITY["EPSG","8901"]],UNIT["degree",0.0174532925199433,AUTHORITY["EPSG","9122"]],AUTHORITY["EPSG","6706"]],VERT_CS["Cagliari 1956 height",VERT_DATUM["Cagliari 1956",2005,AUTHORITY["EPSG","1307"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","9722"]],AUTHORITY["EPSG","9725"]]');