Esta no es una respuesta completa, pero podría ser un punto de partida para alguien que busca más detalles.
ST_Polygonize(en forma de polygonize_garray) y ST_BuildArease definen en el código fuente (espejo) en https://github.com/postgis/postgis/blob/svn-trunk/postgis/lwgeom_geos.c .
Ambos finalmente llaman GEOSPolygonize, que se define en GEOS , que es un puerto C / C ++ de Java Topology Suite .
Y de los documentos ...
ST_Polygonize: crea una GeometryCollection que contiene posibles polígonos formados a partir de la línea constitutiva de un conjunto de geometrías. https://postgis.net/docs/ST_Polygonize.html
ST_BuildArea: crea una geometría de área formada por la línea constitutiva de una geometría dada. El tipo de retorno puede ser un Polígono o MultiPolygon, dependiendo de la entrada. Si las líneas de entrada no forman polígonos, se devuelve NULL. Las entradas pueden ser LINESTRINGS, MULTILINESTRINGS, POLYGONS, MULTIPOLYGONS y GeometryCollections. Esta función asumirá que todas las geometrías internas representan agujeros. http://postgis.net/docs/ST_BuildArea.html