Module contains 

ST_Contains — geometry A fully contains geometry B.

DE-9IM pattern: T*****FF* — B’s interior intersects A’s interior, and B does not intersect A’s exterior. A point on A’s boundary is NOT contained (strict OGC semantics). Use ST_Covers for boundary-inclusive.

Implementation: bbox pre-filter → exact geometry test.

Functions

st_contains

ST_Contains(a, b) — does geometry A fully contain geometry B?