Посмотрите на Мартина Дэвиса (создателя JTS Topology Suite ), Lin.ear th.inking: Причуды пространственного предиката "Содержит"
- Геометрия A содержит геометрию B, если ни одна точка B не лежит снаружи A, и хотя бы одна точка внутренней части B лежит внутри A
- Геометрия A покрывает геометрию B, если ни одна точка B не лежит вне A
Все, что необходимо для определения этого условия, - выполнить простое сравнение ограничивающего прямоугольника. Это невозможно при использовании содержимого, поскольку даже если ограничивающий прямоугольник геометрии покрыт прямоугольником, требуется дополнительная дорогостоящая операция для проверки того, находится ли геометрия целиком на границе прямоугольника (в этом случае предикат не выполняется). Обложки «упрощают» определение содержимого, делая его более общим (включительно)
Если вы посмотрите на DE-9IM , вы увидите, что содержит (T*****FF*)
особый случай обложек(T*****FF*, *T****FF*, ***T**FF*)
Например, определение содержит подразумевает, что полигон не содержит своей границы, но полигон покрывает его границу.