ST_InteriorsIntersect(geometry, geometry)

[strk]

For finally naming a relation currently lacking a name (often confused with ST_Overlaps).

The relate pattern for this, as also written in the PostGIS Manual would be T** *** ***

See also #4867 for doing this at the topological level

[mdavis]

Having this as a separate named predicate might allow for some specific optimizations.

[mdavis]

Note that this is the condition required for a set of Polygons to form a non-overlapping coverage, and for a set of LineStrings to form a non-crossing linear network.

[strk]

Exactly, this is where I'm coming from. It's been suggested that we enhance AddTopoGeometryColumn to optionally add an exclusive constraint on areal tables to refuse overlaps for surfaces… (in this case we'd be using the TopoGeometry based one ticketed at #4867)