{"Entry":{"collection":"operator","key":"op-263c7c-box-box","name":"\u0026\u003c|(box,box)","aliases":["\u0026\u003c|","\u0026\u003c|(box,box)"],"metadata":{"aliases":["\u0026\u003c|","\u0026\u003c|(box,box)"],"category":"Geometric","content_hash":"ae974f4996c36e3a486bcbd35c1f7e652fccd3b5805547aa292b5c5b68f12fcc","imported_at":"2026-09-30T00:40:40.528151+08:00","name":"\u0026\u003c|(box,box)","name_zh":"","slug":"op-263c7c-box-box","summary":"overlaps or is below"}},"Definition":{"Collection":"operator","Key":"op-263c7c-box-box","SourceDatabase":"center","Version":"18","SourceTable":"pg_operator_entry","SourceKey":"op-263c7c-box-box","SourceRevision":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","Facts":{"aliases":["\u0026\u003c|","\u0026\u003c|(box,box)"],"comparison_data":{"memberships":[{"family":"box_inclusion_ops","left_type":"box","method":"brin","operator":"\u0026\u003c|(box,box)","purpose":"search","right_type":"box","sort_family":"","strategy":"9"},{"family":"box_ops","left_type":"box","method":"gist","operator":"\u0026\u003c|(box,box)","purpose":"search","right_type":"box","sort_family":"","strategy":"9"},{"family":"box_ops","left_type":"box","method":"spgist","operator":"\u0026\u003c|(box,box)","purpose":"search","right_type":"box","sort_family":"","strategy":"9"}],"operator":{"commutator":"","function":"box_overbelow(box,box)","hash_join":"f","kind":"b","left_type":"box","merge_join":"f","negator":"","result_type":"bool","right_type":"box","symbol":"\u0026\u003c|"}},"comparison_hash":"6b497e13a6fb59e3eab57e8b628608f2b2579f925aaf65a32da179554631218b","description":["overlaps or is below"],"facts":[{"label":"Left operand","value":"box"},{"label":"Right operand","value":"box"},{"label":"Result type","value":"bool"},{"label":"Implementing function","value":"box_overbelow(box,box)"},{"label":"Operator kind","value":"Binary"},{"label":"Hash join candidate","value":"no"},{"label":"Merge join candidate","value":"no"}],"manual_semantics":"Source catalog description; no additional matching manual operator definition claimed","memberships":[{"description":"overlaps or is below","family":"box_ops","family_slug":"family-gist-box_ops","left_type":"box","method":"gist","operator":"\u0026\u003c|(box,box)","operator_slug":"op-263c7c-box-box","purpose":"search","result_type":"bool","right_type":"box","sort_family":"","sort_family_slug":"","strategy":"9"},{"description":"overlaps or is below","family":"box_ops","family_slug":"family-spgist-box_ops","left_type":"box","method":"spgist","operator":"\u0026\u003c|(box,box)","operator_slug":"op-263c7c-box-box","purpose":"search","result_type":"bool","right_type":"box","sort_family":"","sort_family_slug":"","strategy":"9"},{"description":"overlaps or is below","family":"box_inclusion_ops","family_slug":"family-brin-box_inclusion_ops","left_type":"box","method":"brin","operator":"\u0026\u003c|(box,box)","operator_slug":"op-263c7c-box-box","purpose":"search","result_type":"bool","right_type":"box","sort_family":"","sort_family_slug":"","strategy":"9"}],"operator":{"commutator":"","function":"box_overbelow(box,box)","hash_join":"f","kind":"b","left_type":"box","merge_join":"f","negator":"","result_type":"bool","right_type":"box","symbol":"\u0026\u003c|"},"related":[{"label":"box data type","url":"/wiki/type/box/?v=18"},{"label":"bool data type","url":"/wiki/type/bool/?v=18"},{"label":"gist/box_ops family","url":"/wiki/opclass/family-gist-box_ops/?v=18"},{"label":"spgist/box_ops family","url":"/wiki/opclass/family-spgist-box_ops/?v=18"},{"label":"brin/box_inclusion_ops family","url":"/wiki/opclass/family-brin-box_inclusion_ops/?v=18"}],"release":{"catalog_fingerprint":"deec62e0f0c649d9d0d058ddd0b16bf41afffd569c3fd73949ff0971ce5cabd6","channel":"stable","label":"18.6","major":"18","manual_fingerprint":"fefce9e478eb2afe5e17e869492bbedc67dce23d317f0a5257240113d6496ebc","ref":"https://ftp.postgresql.org/pub/source/v18.6/postgresql-18.6.tar.bz2","revision":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","source_sha256":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f"},"sections":[{"paragraphs":["The catalog pg_operator stores information about operators. See CREATE OPERATOR and Section 36.14 for more information."],"title":"Catalog interpretation"}],"signature":"\u0026\u003c|(box,box) → bool","source_oid":"2571","sources":[{"label":"Matching PostgreSQL source archive","sha256":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","url":"https://ftp.postgresql.org/pub/source/v18.6/postgresql-18.6.tar.bz2"},{"label":"PostgreSQL 18 English manual: catalog-pg-operator.html","path":"catalog-pg-operator.html","sha256":"e0b1817914e5e8f9037955cd41e9a43584e9227fcc115784898ecdd9a6c0ecd6","url":"/docs/18/catalog-pg-operator.html"},{"label":"PostgreSQL 18 English manual: catalog-pg-amop.html","path":"catalog-pg-amop.html","sha256":"e65b90ee78eaf4b4da97ce5b08b972cee2e2660b882ec107be22eca47201f7d1","url":"/docs/18/catalog-pg-amop.html"}],"tables":[{"columns":[{"key":"method","label":"Index AM"},{"key":"family","label":"Family"},{"key":"strategy","label":"Strategy"},{"key":"purpose","label":"Purpose"},{"key":"sort_family","label":"Ordering family"}],"key":"memberships","rows":[{"family":{"text":"box_ops","url":"/wiki/opclass/family-gist-box_ops/?v=18"},"method":{"text":"GiST","url":"/wiki/indexam/gist/?v=18"},"purpose":"search","sort_family":"","strategy":"9"},{"family":{"text":"box_ops","url":"/wiki/opclass/family-spgist-box_ops/?v=18"},"method":{"text":"SP-GiST","url":"/wiki/indexam/spgist/?v=18"},"purpose":"search","sort_family":"","strategy":"9"},{"family":{"text":"box_inclusion_ops","url":"/wiki/opclass/family-brin-box_inclusion_ops/?v=18"},"method":{"text":"BRIN","url":"/wiki/indexam/brin/?v=18"},"purpose":"search","sort_family":"","strategy":"9"}],"title":"Declared operator-family membership"}]},"ManualEvidence":{"release":{"catalog_fingerprint":"deec62e0f0c649d9d0d058ddd0b16bf41afffd569c3fd73949ff0971ce5cabd6","channel":"stable","label":"18.6","major":"18","manual_fingerprint":"fefce9e478eb2afe5e17e869492bbedc67dce23d317f0a5257240113d6496ebc","ref":"https://ftp.postgresql.org/pub/source/v18.6/postgresql-18.6.tar.bz2","revision":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","source_sha256":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f"},"sources":[{"label":"Matching PostgreSQL source archive","sha256":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","url":"https://ftp.postgresql.org/pub/source/v18.6/postgresql-18.6.tar.bz2"},{"label":"PostgreSQL 18 English manual: catalog-pg-operator.html","path":"catalog-pg-operator.html","sha256":"e0b1817914e5e8f9037955cd41e9a43584e9227fcc115784898ecdd9a6c0ecd6","url":"/docs/18/catalog-pg-operator.html"},{"label":"PostgreSQL 18 English manual: catalog-pg-amop.html","path":"catalog-pg-amop.html","sha256":"e65b90ee78eaf4b4da97ce5b08b972cee2e2660b882ec107be22eca47201f7d1","url":"/docs/18/catalog-pg-amop.html"}]},"MeasuredEvidence":{}},"Text":{"Collection":"operator","Key":"op-263c7c-box-box","SourceDatabase":"center","Version":"18","Locale":"en","Title":"\u0026\u003c|(box,box)","Summary":"overlaps or is below","BodyHTML":"\u003cp\u003eoverlaps or is below\u003c/p\u003e","SourceRevision":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","ContentHash":"f41a049389f5d91b324aafbb4a0149e89c8d27744e6afc32a4313ab36f4a5a8a","Payload":{"description":["overlaps or is below"],"related":[{"label":"box data type","url":"/wiki/type/box/?v=18"},{"label":"bool data type","url":"/wiki/type/bool/?v=18"},{"label":"gist/box_ops family","url":"/wiki/opclass/family-gist-box_ops/?v=18"},{"label":"spgist/box_ops family","url":"/wiki/opclass/family-spgist-box_ops/?v=18"},{"label":"brin/box_inclusion_ops family","url":"/wiki/opclass/family-brin-box_inclusion_ops/?v=18"}],"sections":[{"paragraphs":["The catalog pg_operator stores information about operators. See CREATE OPERATOR and Section 36.14 for more information."],"title":"Catalog interpretation"}],"tables":[{"columns":[{"key":"method","label":"Index AM"},{"key":"family","label":"Family"},{"key":"strategy","label":"Strategy"},{"key":"purpose","label":"Purpose"},{"key":"sort_family","label":"Ordering family"}],"key":"memberships","rows":[{"family":{"text":"box_ops","url":"/wiki/opclass/family-gist-box_ops/?v=18"},"method":{"text":"GiST","url":"/wiki/indexam/gist/?v=18"},"purpose":"search","sort_family":"","strategy":"9"},{"family":{"text":"box_ops","url":"/wiki/opclass/family-spgist-box_ops/?v=18"},"method":{"text":"SP-GiST","url":"/wiki/indexam/spgist/?v=18"},"purpose":"search","sort_family":"","strategy":"9"},{"family":{"text":"box_inclusion_ops","url":"/wiki/opclass/family-brin-box_inclusion_ops/?v=18"},"method":{"text":"BRIN","url":"/wiki/indexam/brin/?v=18"},"purpose":"search","sort_family":"","strategy":"9"}],"title":"Declared operator-family membership"}]}},"RequestedLocale":"zh-Hans","Fallback":true,"Versions":["10","11","12","13","14","15","16","17","18","19","20"],"Locales":["en"],"Signatures":null,"Spellings":null,"SQLState":null,"Evidence":null}
