CREATE POLICY
CREATE POLICY — создать новую политику защиты на уровне строк для таблицы
Синтаксис
CREATE POLICYимяONимя_таблицы[ AS { PERMISSIVE | RESTRICTIVE } ] [ FOR { ALL | SELECT | INSERT | UPDATE | DELETE } ] [ TO {имя_роли| PUBLIC | CURRENT_ROLE | CURRENT_USER | SESSION_USER } [, ...] ] [ USING (выражение_USING) ] [ WITH CHECK (выражение_CHECK) ]
Описание
Команда CREATE POLICY определяет для таблицы новую политику защиты на уровне строк. Заметьте, что для таблицы должна быть включена защита на уровне строк (используя ALTER TABLE ... ENABLE ROW LEVEL SECURITY), чтобы созданные политики действовали.
Политика даёт разрешение на выборку, добавление, изменение или удаление строк, удовлетворяющих соответствующему выражению политики. Существующие строки таблицы проверяются по выражению, указанному в USING, тогда как строки, которые могут быть созданы командами INSERT или UPDATE проверяются по выражению, указанному в WITH CHECK. Когда выражение USING истинно для заданной строки, эта строка видна пользователю, а если ложно или выдаёт NULL, строка не видна. Как правило, когда строка не видна, ошибок не возникает. За подробностями об исключениях обратитесь к Таблице 312. Когда выражение WITH CHECK истинно для заданной строки, эта строка добавляется или изменяется, а если ложно или выдаёт NULL, происходит ошибка.
Для операторов INSERT, UPDATE и MERGE выражения WITH CHECK применяются после срабатывания триггеров BEFORE, но до того, как будут собственно модифицированы данные. Таким образом, триггер BEFORE ROW может изменить данные, подлежащие добавлению, и повлиять на результат условия политики защиты. Выражения WITH CHECK обрабатываются до каких-либо других ограничений.
Имена политик задаются на уровне таблицы. Таким образом, одно имя политики можно использовать в нескольких разных таблицах и в каждой дать отдельное, подходящее этой таблице определение политики.
Политики могут применяться для определённых команд или для определённых ролей. По умолчанию создаваемые политики применяются для всех команд и ролей, если явно не задано другое. К одной команде могут применяться несколько политик; подробнее рассказывается ниже. В Таблице 312 показано, как к определённым командам применяются разные типы политик.
Для политик, которые могут иметь и выражения USING, и выражения WITH CHECK (ALL и UPDATE), в случае отсутствия выражения WITH CHECK выражение USING будет использоваться и для определения видимости строк (обычное назначение USING) и для определения, какие строки разрешено добавить (назначение WITH CHECK).
Если для таблицы включена защита на уровне строк, но применимые политики отсутствуют, предполагается политика «запрета по умолчанию», так что никакие строки нельзя будет увидеть или изменить.
Параметры
имяИмя создаваемой политики. Оно должно отличаться от имён других политик для этой таблицы.
имя_таблицыИмя (возможно, дополненное схемой) существующей таблицы (или представления), к которой применяется эта политика.
PERMISSIVEУказывает, что создаваемая политика должна быть разрешительной. Все разрешительные политики, которые применяются к данному запросу, будут объединяться вместе логическим оператором «ИЛИ». Создавая разрешительные политики, администраторы могут расширять множество записей, к которым можно обращаться. Политики являются разрешительными по умолчанию.
RESTRICTIVEУказывает, что создаваемая политика должна быть ограничительной. Все ограничительные политики, которые применяются к данному запросу, будут объединяться вместе логическим оператором «И». Создавая ограничительные политики, администраторы могут сократить множество записей, к которым можно обращаться, так как для каждой записи должны удовлетворяться все ограничительные политики.
Заметьте, что для получения доступа к записям должна быть определена минимум одна разрешительная политика, и только в дополнение к ней могут быть определены имеющие смысл ограничительные политики, ограничивающие доступ. Если разрешительные политики отсутствуют, ни к каким записям обращаться нельзя. Когда определены и разрешительные, и ограничительные политики, запись будет доступна, если удовлетворяется минимум одна из разрешительных политик и все ограничительные.
командаКоманда, к которой применяется политика. Допустимые варианты:
ALL,SELECT,INSERT,UPDATEиDELETE.ALL(все) подразумевается по умолчанию. Особенности их применения описаны ниже.имя_ролиРоль (роли), к которой применяется политика. По умолчанию подразумевается
PUBLIC, то есть политика применяется ко всем ролям.выражение_USINGПроизвольное условное выражение SQL (возвращающее
boolean). Это условное выражение не может содержать агрегатные или оконные функции. Когда включена защита на уровне строк, оно добавляется в запросы, обращающиеся к данной таблице, и в их результатах оказываются видимыми только те строки, для которых оно выдаёт true. Все строки, для которых это выражение возвращает false или NULL, не будут видны пользователю (в запросеSELECT), и не будут доступны для модификации (запросамиUPDATEилиDELETE). Как правило, такие строки просто пропускаются, ошибка при этом не выдаётся (за подробностями об исключениях обратитесь к Таблице 312).выражение_CHECKПроизвольное условное выражение SQL (возвращающее
boolean). Это условное выражение не может содержать агрегатные или оконные функции. Когда включена защита на уровне строк, оно применяется в запросахINSERTиUPDATEк этой таблице, так что в них принимаются только те строки, для которых оно выдаёт true. Если это выражение выдаёт false или NULL для любой из добавляемых записей или записей, получаемых при изменении, выдаётся ошибка. Заметьте, чтоограничение_проверкивычисляется для предлагаемого нового содержимого строки, а не для существующих данных.
Политики по командам
ALL#Указание
ALLдля политики означает, что она применяется ко всем командам, вне зависимости от типа. Если существует политикаALLи другие более детализированные политики, тогда будет применяться и политикаALL, и более детализированная политика (или политики). Кроме того, политикиALLс выражениемUSINGбудут применяться и к стороне выборки, и к стороне изменения данных в запросе, если определено только выражениеUSING.Например, когда выполняется
UPDATE, политикаALLбудет фильтровать и строки, которые сможет прочитатьUPDATEдля изменения (применяя выражениеUSING), и окончательные изменённые строки, проверяя, можно ли записать их в таблицу (применяя выражениеWITH CHECK, если оно определено, илиUSINGв противном случае). Если командаINSERTилиUPDATEпытается добавить в таблицу строки, не удовлетворяющие выражениюWITH CHECKполитикиALL(или выражениюUSING, если выражениеWITH CHECKотсутсвует), вся команда будет прервана.SELECT#Указание
SELECTдля политики означает, что она применяется к запросамSELECTи тогда, когда при обращении к отношению, для которого определена политика, задействуется правоSELECT. В результате запросSELECTвыдаст только те записи из отношения, которые удовлетворят политикеSELECT, и запрос, использующий правоSELECT, например, запросUPDATE,DELETEилиMERGE, увидит только записи, разрешённые политикойSELECT. Для политикиSELECTне может задаваться выражениеWITH CHECK, так как оно действует только когда записи читаются из отношения, кроме случаев, описанных ниже.Если в запросе, изменяющем данные, содержится предложение
RETURNING, требуется иметь правоSELECTв отношении, и все только что добавленные или изменённые строки отношения должны удовлетворять политикамSELECTэтого отношения, чтобы у предложенияRETURNINGбыл доступ к этим строкам. Если такие строки не удовлетворяют политикамSELECT, будет выводиться ошибка (добавленные или изменённые строки, которые должны быть получены, никогда не игнорируются неявно).Если в запросе
INSERTсодержится предложениеON CONFLICT DO UPDATEили предложениеON CONFLICT DO NOTHINGс решающим индексом или ограничением, требуется иметь правоSELECTв отношении, и строки, предлагаемые для добавления, проходят проверку политикSELECTэтого отношения. Если строка, предлагаемая для добавления, не удовлетворяет политикамSELECT, возникает ошибка (INSERTникогда не пропускается неявно). Кроме того, если выбирается путьUPDATE, строка, подлежащая изменению, и новая изменённая строка проходят проверку политикаSELECT. Если требования политик не удовлетворяются, возникает ошибка (вспомогательная командаUPDATEникогда не пропускается неявно).Чтобы выполнить команду
MERGE, требуется правоSELECTкак в исходном, так и в целевом отношении, поэтому перед объединением отношений применяются политикиSELECTкаждого из них. Действия командыMERGEбудут видеть только те записи, которые разрешены этими политиками. Кроме того, если выполняется действиеUPDATE, к изменяемой строке применяются политикиSELECTцелевого отношения, как и для отдельной командыUPDATE, с единственным отличием — если требования политик не удовлетворяются, возникает ошибка.INSERT#Указание
INSERTдля политики означает, что она применяется к командамINSERT, а также к командамMERGEс действиямиINSERT. Если вставляемые строки не проходят проверку политики, выдаётся ошибка нарушения политики и вся командаINSERTпрерывается. Для политикиINSERTне может задаваться выражениеUSING, так как она действует только когда в отношение добавляются записи.Заметьте, что команда
INSERTс предложениемON CONFLICT DO NOTHING/UPDATEбудет проверять выраженияWITH CHECKполитикINSERTдля всех строк, предлагаемых для добавления, вне зависимости от того, будут ли они добавлены в конечном итоге.UPDATE#Выбор типа
UPDATEдля политики означает, что она будет применяться к командамUPDATE,SELECT FOR UPDATEиSELECT FOR SHARE, а также к дополнительным предложениямON CONFLICT DO UPDATEкомандINSERTи командамMERGEс действиямиUPDATE. Так как командаUPDATEподразумевает извлечение существующей записи и замену её новой изменённой записью, политикиUPDATEпринимают как выражениеUSING, так иWITH CHECK. ВыражениеUSINGопределяет, какие записи командаUPDATEсможет увидеть для последующего изменения, а выражениеWITH CHECK— какие изменённые строки сохранить в отношении.Если в какой-либо строке изменённые значения не будут удовлетворять выражению
WITH CHECK, произойдёт ошибка и вся команда будет прервана. Если указывается только предложениеUSING, его выражение будет применяться и в качествеUSING, и в качестве выраженияWITH CHECK.Обычно команде
UPDATEтакже нужно прочитать данные из столбцов подлежащего изменению отношения (например, в предложенииWHEREилиRETURNINGлибо в выражении в правой части предложенияSET). В этом случае также требуется иметь праваSELECTв изменяемом отношении и в дополнение к политикамUPDATEбудут применяться соответствующие политикиSELECTилиALL. Таким образом, помимо того, что пользователю должны разрешать изменение строк политикиUPDATEилиALL, ему также должны разрешать доступ к изменяемым строкам политикиSELECTилиALL.Когда для команды
INSERTзадано вспомогательное предложениеON CONFLICT DO UPDATE, если выбирается путьUPDATE, строка, подлежащая изменению, сначала проверяется по выражениямUSINGвсех политикUPDATE, а затем изменённая строка ещё раз проверяется по выражениямWITH CHECK. Заметьте, однако, что в отличие от отдельной командыUPDATE, если существующая строка не удовлетворяет выражениямUSING, будет выдана ошибка (путьUPDATEникогда не пропускается неявно). Такой же механизм применяется к действиюUPDATEкомандыMERGE.DELETE#Указание
DELETEдля политики означает, что она применяется к командамDELETEи командамMERGEс действиямиDELETE. КомандаDELETEбудет видеть только те строки, которые позволит эта политика. При этом строки могут быть видны через политикуSELECT, но удалить их будет нельзя, если они не удовлетворяют выражениюUSINGполитикиDELETE. Однако обратите внимание, что действиеDELETEкомандыMERGEбудет видеть строки, доступные через политикиSELECT, и если требования политикиDELETEне будут удовлетворены, будет выведена ошибка.В большинстве случаев команде
DELETEтакже нужно прочитать данные из столбцов в отношении, из которого осуществляется удаление (например, в предложенииWHEREилиRETURNING). В таких случаях необходимо также иметь правоSELECTдля этого отношения, и в дополнение к политикамDELETEбудут применятся соответствующие политикиSELECTилиALL. Таким образом, пользователь должен получить доступ к удаляемым строкам через политикиSELECTилиALL, помимо того что удаление этих строк ему должны разрешить политикиDELETEилиALL.Для политики
DELETEне может задаваться выражениеWITH CHECK, так как она применяется только тогда, когда записи удаляются из отношения, а в этом случае новые строки, подлежащие проверке, отсутствуют.
В Таблице 312 показано, как разные типы политик применяются к отдельным командам. «Проверка» означает, что проверяется выражение политики и возникает ошибка, если результат проверки false или null. «Фильтр» означает, что строка неявно игнорируется, если результат проверки выражения false или null.
Таблица 312. Политики, применяемые для разных команд
| Команда | Политика SELECT/ALL | Политика INSERT/ALL | Политика UPDATE/ALL | Политика DELETE/ALL | |
|---|---|---|---|---|---|
Выражение USING | Выражение WITH CHECK | Выражение USING | Выражение WITH CHECK | Выражение USING | |
SELECT / COPY ... TO | Фильтр для существующей строки | — | — | — | — |
SELECT FOR UPDATE/SHARE | Фильтр для существующей строки | — | Фильтр для существующей строки | — | — |
INSERT | Проверка новой строки [a] | Проверка новой строки | — | — | — |
UPDATE | Фильтр для существующей строки [a] и проверка новой строки [a] | — | Фильтр для существующей строки | Проверка новой строки | — |
DELETE | Фильтр для существующей строки [a] | — | — | — | Фильтр для существующей строки |
INSERT ... ON CONFLICT | Проверка новой строки [b][c] | Проверка новой строки [c] | — | — | — |
ON CONFLICT DO UPDATE | Проверка существующей и новой строк [d] | — | Проверка существующей строки | Проверка новой строки [d] | — |
MERGE | Фильтр для исходной и целевой строк | — | — | — | — |
MERGE ... THEN INSERT | Проверка новой строки [a] | Проверка новой строки | — | — | — |
MERGE ... THEN UPDATE | Проверка новой строки | — | Проверка существующей строки | Проверка новой строки | — |
MERGE ... THEN DELETE | — | — | — | — | Проверка существующей строки |
[a] Если для существующей или новой строки требуется доступ на чтение (например, предложение [b] Если указан решающий индекс или ограничение. [c] Строка, предлагаемая для добавления, проверяется вне зависимости от наличия конфликта. [d] Новая строка вспомогательной команды | |||||
Применение нескольких политик
Когда к одной команде применяются несколько политик для различных типов команд (например, политики SELECT и UPDATE применяются к команде UPDATE), пользователь должен иметь разрешения всех этих типов (например, разрешение для выборки строк из отношения, а также разрешение на их изменение). Таким образом, выражения для одного типа политики комбинируются с выражениями для другого типа операцией И.
Когда к одной команде применяются несколько политик для одного типа команды, доступ к отношению должна дать как минимум одна разрешительная (PERMISSIVE) политика, а также должны удовлетворяться все ограничительные (RESTRICTIVE) политики. Таким образом выражения всех политик PERMISSIVE объединяются операцией ИЛИ, выражения всех политик RESTRICTIVE объединяются операцией И, а полученные результаты объединяются операцией И. Если политики PERMISSIVE отсутствуют, доступ запрещается.
Заметьте, что при объединении нескольких политик, политики ALL применяются как политики каждого применимого в данном случае типа.
Например, в команде UPDATE, требующей разрешений и для SELECT, и для UPDATE, в случае существования нескольких применимых политик каждого типа они будут объединяться следующим образом:
выражениеfrom RESTRICTIVE SELECT/ALL policy 1 ANDвыражениеfrom RESTRICTIVE SELECT/ALL policy 2 AND ... AND (выражениеfrom PERMISSIVE SELECT/ALL policy 1 ORвыражениеfrom PERMISSIVE SELECT/ALL policy 2 OR ... ) ANDвыражениеfrom RESTRICTIVE UPDATE/ALL policy 1 ANDвыражениеfrom RESTRICTIVE UPDATE/ALL policy 2 AND ... AND (выражениеfrom PERMISSIVE UPDATE/ALL policy 1 ORвыражениеfrom PERMISSIVE UPDATE/ALL policy 2 OR ... )
Примечания
Чтобы создать или изменить политики для таблицы, нужно быть её владельцем.
Хотя политики применяются к явно выполняемым запросам к таблицам БД, они не применяются, когда система выполняет внутренние проверки ссылочной целостности или проверяет ограничения. Это означает, что существуют косвенные пути проверить существование заданного значения. Например, можно попытаться вставить повторяющееся значение в столбец, образующий первичный ключ или имеющую ограничение уникальности. Если при этом произойдёт ошибка, пользователь может заключить, что это значение уже существует. (В данном случае предполагается, что политика разрешает пользователю вставлять записи, которые он может не видеть.) Подобный приём также возможен, если пользователь может вставлять записи в таблицу, которая ссылается на другую, иным образом не видимую. Существование значения можно определить, вставив его в подчинённую таблицу, при этом успешный результат операции будет признаком того, что это значение есть в главной таблице. Эти изъяны можно устранить, либо тщательно разработав политики, которые вовсе не позволят пользователям выполнять операции добавления, изменения и удаления, по результатам которых можно узнать о значениях в таблицах, не видимых иным образом, либо используя генерируемые значения (например, суррогатные ключи).
Вообще система будет применять фильтры, устанавливаемые политиками безопасности, до условий в запросах пользователя, чтобы предотвратить нежелательную утечку защищаемых данных через пользовательские функции, которые могут быть недоверенными. Однако функции и операторы, помеченные системой (или системным администратором) как LEAKPROOF (герметичные) могут вычисляться до условий политики, так как они считаются доверенными.
Так как выражения политики добавляются непосредственно в запрос пользователя, они выполняются с правами пользователя, запускающего исходный запрос. Таким образом, пользователи, на которых распространяется заданная политика, должны иметь права для обращения ко всем таблицам и функциям, задействованным в выражении, иначе им просто будет отказано в доступе при попытке обращения к целевой таблице (если для неё включена защита на уровне строк). Однако это не влияет на работу представлений — как и с обычными запросами и представлениями, проверки разрешений и политики для нижележащих таблиц представления будут выполняться с правами владельца представления, и при этом будут действовать политики, распространяющиеся на этого владельца, за исключением случаев, когда представление определяется с характеристикой security_invoker (см. CREATE VIEW).
Для MERGE не существует отдельной политики. Когда выполняется MERGE, в зависимости от фактически выполняемых действий применяются политики, определённые для SELECT, INSERT, UPDATE и DELETE.
Дополнительное описание и практические примеры можно найти в Разделе 5.9.
Совместимость
CREATE POLICY является расширением Postgres Pro Shardman.
См. также
ALTER POLICY, DROP POLICY, ALTER TABLECREATE POLICY
CREATE POLICY — define a new row-level security policy for a table
Synopsis
CREATE POLICYnameONtable_name[ AS { PERMISSIVE | RESTRICTIVE } ] [ FOR { ALL | SELECT | INSERT | UPDATE | DELETE } ] [ TO {role_name| PUBLIC | CURRENT_ROLE | CURRENT_USER | SESSION_USER } [, ...] ] [ USING (using_expression) ] [ WITH CHECK (check_expression) ]
Description
The CREATE POLICY command defines a new row-level security policy for a table. Note that row-level security must be enabled on the table (using ALTER TABLE ... ENABLE ROW LEVEL SECURITY) in order for created policies to be applied.
A policy grants the permission to select, insert, update, or delete rows that match the relevant policy expression. Existing table rows are checked against the expression specified in USING, while new rows that would be created via INSERT or UPDATE are checked against the expression specified in WITH CHECK. When a USING expression returns true for a given row then that row is visible to the user, while if false or null is returned then the row is not visible. Typically, no error occurs when a row is not visible, but see Table 312 for exceptions. When a WITH CHECK expression returns true for a row then that row is inserted or updated, while if false or null is returned then an error occurs.
For INSERT, UPDATE, and MERGE statements, WITH CHECK expressions are enforced after BEFORE triggers are fired, and before any actual data modifications are made. Thus a BEFORE ROW trigger may modify the data to be inserted, affecting the result of the security policy check. WITH CHECK expressions are enforced before any other constraints.
Policy names are per-table. Therefore, one policy name can be used for many different tables and have a definition for each table which is appropriate to that table.
Policies can be applied for specific commands or for specific roles. The default for newly created policies is that they apply for all commands and roles, unless otherwise specified. Multiple policies may apply to a single command; see below for more details. Table 312 summarizes how the different types of policy apply to specific commands.
For policies that can have both USING and WITH CHECK expressions (ALL and UPDATE), if no WITH CHECK expression is defined, then the USING expression will be used both to determine which rows are visible (normal USING case) and which new rows will be allowed to be added (WITH CHECK case).
If row-level security is enabled for a table, but no applicable policies exist, a “default deny” policy is assumed, so that no rows will be visible or updatable.
Parameters
nameThe name of the policy to be created. This must be distinct from the name of any other policy for the table.
table_nameThe name (optionally schema-qualified) of the table the policy applies to.
PERMISSIVESpecify that the policy is to be created as a permissive policy. All permissive policies which are applicable to a given query will be combined together using the Boolean “OR” operator. By creating permissive policies, administrators can add to the set of records which can be accessed. Policies are permissive by default.
RESTRICTIVESpecify that the policy is to be created as a restrictive policy. All restrictive policies which are applicable to a given query will be combined together using the Boolean “AND” operator. By creating restrictive policies, administrators can reduce the set of records which can be accessed as all restrictive policies must be passed for each record.
Note that there needs to be at least one permissive policy to grant access to records before restrictive policies can be usefully used to reduce that access. If only restrictive policies exist, then no records will be accessible. When a mix of permissive and restrictive policies are present, a record is only accessible if at least one of the permissive policies passes, in addition to all the restrictive policies.
commandThe command to which the policy applies. Valid options are
ALL,SELECT,INSERT,UPDATE, andDELETE.ALLis the default. See below for specifics regarding how these are applied.role_nameThe role(s) to which the policy is to be applied. The default is
PUBLIC, which will apply the policy to all roles.using_expressionAny SQL conditional expression (returning
boolean). The conditional expression cannot contain any aggregate or window functions. This expression will be added to queries that refer to the table if row-level security is enabled. Rows for which the expression returns true will be visible. Any rows for which the expression returns false or null will not be visible to the user (in aSELECT), and will not be available for modification (in anUPDATEorDELETE). Typically, such rows are silently suppressed; no error is reported (but see Table 312 for exceptions).check_expressionAny SQL conditional expression (returning
boolean). The conditional expression cannot contain any aggregate or window functions. This expression will be used inINSERTandUPDATEqueries against the table if row-level security is enabled. Only rows for which the expression evaluates to true will be allowed. An error will be thrown if the expression evaluates to false or null for any of the records inserted or any of the records that result from the update. Note that thecheck_expressionis evaluated against the proposed new contents of the row, not the original contents.
Per-Command Policies
ALL#Using
ALLfor a policy means that it will apply to all commands, regardless of the type of command. If anALLpolicy exists and more specific policies exist, then both theALLpolicy and the more specific policy (or policies) will be applied. Additionally,ALLpolicies will be applied to both the selection side of a query and the modification side, using theUSINGexpression for both cases if only aUSINGexpression has been defined.As an example, if an
UPDATEis issued, then theALLpolicy will be applicable both to what theUPDATEwill be able to select as rows to be updated (applying theUSINGexpression), and to the resulting updated rows, to check if they are permitted to be added to the table (applying theWITH CHECKexpression, if defined, and theUSINGexpression otherwise). If anINSERTorUPDATEcommand attempts to add rows to the table that do not pass theALLpolicy'sWITH CHECKexpression (or itsUSINGexpression, if it does not have aWITH CHECKexpression), the entire command will be aborted.SELECT#Using
SELECTfor a policy means that it will apply toSELECTqueries and wheneverSELECTpermissions are required on the relation the policy is defined for. The result is that only those records from the relation that pass theSELECTpolicy will be returned during aSELECTquery, and that queries that requireSELECTpermissions, such asUPDATE,DELETE, andMERGE, will also only see those records that are allowed by theSELECTpolicy. ASELECTpolicy cannot have aWITH CHECKexpression, as it only applies in cases where records are being retrieved from the relation, except as described below.If a data-modifying query has a
RETURNINGclause,SELECTpermissions are required on the relation, and any newly inserted or updated rows from the relation must satisfy the relation'sSELECTpolicies in order to be available to theRETURNINGclause. If a newly inserted or updated row does not satisfy the relation'sSELECTpolicies, an error will be thrown (inserted or updated rows to be returned are never silently ignored).If an
INSERThas anON CONFLICT DO UPDATEclause, or anON CONFLICT DO NOTHINGclause with an arbiter index or constraint specification, thenSELECTpermissions are required on the relation, and the rows proposed for insertion are checked using the relation'sSELECTpolicies. If a row proposed for insertion does not satisfy the relation'sSELECTpolicies, an error is thrown (theINSERTis never silently avoided). In addition, if theUPDATEpath is taken, the row to be updated and the new updated row are checked against the relation'sSELECTpolicies, and an error is thrown if they are not satisfied (an auxiliaryUPDATEis never silently avoided).A
MERGEcommand requiresSELECTpermissions on both the source and target relations, and so each relation'sSELECTpolicies are applied before they are joined, and theMERGEactions will only see those records that are allowed by those policies. In addition, if anUPDATEaction is executed, the target relation'sSELECTpolicies are applied to the updated row, as for a standaloneUPDATE, except that an error is thrown if they are not satisfied.INSERT#Using
INSERTfor a policy means that it will apply toINSERTcommands andMERGEcommands that containINSERTactions. Rows being inserted that do not pass this policy will result in a policy violation error, and the entireINSERTcommand will be aborted. AnINSERTpolicy cannot have aUSINGexpression, as it only applies in cases where records are being added to the relation.Note that an
INSERTwith anON CONFLICT DO NOTHING/UPDATEclause will check theINSERTpolicies'WITH CHECKexpressions for all rows proposed for insertion, regardless of whether or not they end up being inserted.UPDATE#Using
UPDATEfor a policy means that it will apply toUPDATE,SELECT FOR UPDATE, andSELECT FOR SHAREcommands, as well as auxiliaryON CONFLICT DO UPDATEclauses ofINSERTcommands, andMERGEcommands containingUPDATEactions. Since anUPDATEcommand involves pulling an existing record and replacing it with a new modified record,UPDATEpolicies accept both aUSINGexpression and aWITH CHECKexpression. TheUSINGexpression determines which records theUPDATEcommand will see to operate against, while theWITH CHECKexpression defines which modified rows are allowed to be stored back into the relation.Any rows whose updated values do not pass the
WITH CHECKexpression will cause an error, and the entire command will be aborted. If only aUSINGclause is specified, then that clause will be used for bothUSINGandWITH CHECKcases.Typically an
UPDATEcommand also needs to read data from columns in the relation being updated (e.g., in aWHEREclause or aRETURNINGclause, or in an expression on the right hand side of theSETclause). In this case,SELECTrights are also required on the relation being updated, and the appropriateSELECTorALLpolicies will be applied in addition to theUPDATEpolicies. Thus the user must have access to the row(s) being updated through aSELECTorALLpolicy in addition to being granted permission to update the row(s) via anUPDATEorALLpolicy.When an
INSERTcommand has an auxiliaryON CONFLICT DO UPDATEclause, if theUPDATEpath is taken, the row to be updated is first checked against theUSINGexpressions of anyUPDATEpolicies, and then the new updated row is checked against theWITH CHECKexpressions. Note, however, that unlike a standaloneUPDATEcommand, if the existing row does not pass theUSINGexpressions, an error will be thrown (theUPDATEpath will never be silently avoided). The same applies to anUPDATEaction of aMERGEcommand.DELETE#Using
DELETEfor a policy means that it will apply toDELETEcommands andMERGEcommands containingDELETEactions. For aDELETEcommand, only rows that pass this policy will be seen by theDELETEcommand. There can be rows that are visible through aSELECTpolicy that are not available for deletion, if they do not pass theUSINGexpression for theDELETEpolicy. Note, however, that aDELETEaction in aMERGEcommand will see rows that are visible throughSELECTpolicies, and if theDELETEpolicy does not pass for such a row, an error will be thrown.In most cases a
DELETEcommand also needs to read data from columns in the relation that it is deleting from (e.g., in aWHEREclause or aRETURNINGclause). In this case,SELECTrights are also required on the relation, and the appropriateSELECTorALLpolicies will be applied in addition to theDELETEpolicies. Thus the user must have access to the row(s) being deleted through aSELECTorALLpolicy in addition to being granted permission to delete the row(s) via aDELETEorALLpolicy.A
DELETEpolicy cannot have aWITH CHECKexpression, as it only applies in cases where records are being deleted from the relation, so that there is no new row to check.
Table 312 summarizes how the different types of policy apply to specific commands. In the table, “check” means that the policy expression is checked and an error is thrown if it returns false or null, whereas “filter” means that the row is silently ignored if the policy expression returns false or null.
Table 312. Policies Applied by Command Type
| Command | SELECT/ALL policy | INSERT/ALL policy | UPDATE/ALL policy | DELETE/ALL policy | |
|---|---|---|---|---|---|
USING expression | WITH CHECK expression | USING expression | WITH CHECK expression | USING expression | |
SELECT / COPY ... TO | Filter existing row | — | — | — | — |
SELECT FOR UPDATE/SHARE | Filter existing row | — | Filter existing row | — | — |
INSERT | Check new row [a] | Check new row | — | — | — |
UPDATE | Filter existing row [a] & check new row [a] | — | Filter existing row | Check new row | — |
DELETE | Filter existing row [a] | — | — | — | Filter existing row |
INSERT ... ON CONFLICT | Check new row [b][c] | Check new row [c] | — | — | — |
ON CONFLICT DO UPDATE | Check existing & new rows [d] | — | Check existing row | Check new row [d] | — |
MERGE | Filter source & target rows | — | — | — | — |
MERGE ... THEN INSERT | Check new row [a] | Check new row | — | — | — |
MERGE ... THEN UPDATE | Check new row | — | Check existing row | Check new row | — |
MERGE ... THEN DELETE | — | — | — | — | Check existing row |
[a] If read access is required to either the existing or new row (for example, a [b] If an arbiter index or constraint is specified. [c] Row proposed for insertion is checked regardless of whether or not a conflict occurs. [d] New row of the auxiliary | |||||
Application of Multiple Policies
When multiple policies of different command types apply to the same command (for example, SELECT and UPDATE policies applied to an UPDATE command), then the user must have both types of permissions (for example, permission to select rows from the relation as well as permission to update them). Thus the expressions for one type of policy are combined with the expressions for the other type of policy using the AND operator.
When multiple policies of the same command type apply to the same command, then there must be at least one PERMISSIVE policy granting access to the relation, and all of the RESTRICTIVE policies must pass. Thus all the PERMISSIVE policy expressions are combined using OR, all the RESTRICTIVE policy expressions are combined using AND, and the results are combined using AND. If there are no PERMISSIVE policies, then access is denied.
Note that, for the purposes of combining multiple policies, ALL policies are treated as having the same type as whichever other type of policy is being applied.
For example, in an UPDATE command requiring both SELECT and UPDATE permissions, if there are multiple applicable policies of each type, they will be combined as follows:
expressionfrom RESTRICTIVE SELECT/ALL policy 1 ANDexpressionfrom RESTRICTIVE SELECT/ALL policy 2 AND ... AND (expressionfrom PERMISSIVE SELECT/ALL policy 1 ORexpressionfrom PERMISSIVE SELECT/ALL policy 2 OR ... ) ANDexpressionfrom RESTRICTIVE UPDATE/ALL policy 1 ANDexpressionfrom RESTRICTIVE UPDATE/ALL policy 2 AND ... AND (expressionfrom PERMISSIVE UPDATE/ALL policy 1 ORexpressionfrom PERMISSIVE UPDATE/ALL policy 2 OR ... )
Notes
You must be the owner of a table to create or change policies for it.
While policies will be applied for explicit queries against tables in the database, they are not applied when the system is performing internal referential integrity checks or validating constraints. This means there are indirect ways to determine that a given value exists. An example of this is attempting to insert a duplicate value into a column that is a primary key or has a unique constraint. If the insert fails then the user can infer that the value already exists. (This example assumes that the user is permitted by policy to insert records which they are not allowed to see.) Another example is where a user is allowed to insert into a table which references another, otherwise hidden table. Existence can be determined by the user inserting values into the referencing table, where success would indicate that the value exists in the referenced table. These issues can be addressed by carefully crafting policies to prevent users from being able to insert, delete, or update records at all which might possibly indicate a value they are not otherwise able to see, or by using generated values (e.g., surrogate keys) instead of keys with external meanings.
Generally, the system will enforce filter conditions imposed using security policies prior to qualifications that appear in user queries, in order to prevent inadvertent exposure of the protected data to user-defined functions which might not be trustworthy. However, functions and operators marked by the system (or the system administrator) as LEAKPROOF may be evaluated before policy expressions, as they are assumed to be trustworthy.
Since policy expressions are added to the user's query directly, they will be run with the rights of the user running the overall query. Therefore, users who are using a given policy must be able to access any tables or functions referenced in the expression or they will simply receive a permission denied error when attempting to query the table that has row-level security enabled. This does not change how views work, however. As with normal queries and views, permission checks and policies for the tables which are referenced by a view will use the view owner's rights and any policies which apply to the view owner, except if the view is defined using the security_invoker option (see CREATE VIEW).
No separate policy exists for MERGE. Instead, the policies defined for SELECT, INSERT, UPDATE, and DELETE are applied while executing MERGE, depending on the actions that are performed.
Additional discussion and practical examples can be found in Section 5.9.
Compatibility
CREATE POLICY is a Postgres Pro Shardman extension.