Re: [pgsql-hackers] Daily digest v1.10705 (13 messages) - Mailing list pgsql-hackers

From Robert Haas
Subject Re: [pgsql-hackers] Daily digest v1.10705 (13 messages)
Date
Msg-id AANLkTilU1rwx-Co1LCWQ2murDUVaLVUCXtPEh8dtk3L8@mail.gmail.com
Whole thread Raw
In response to Re: [pgsql-hackers] Daily digest v1.10705 (13 messages)  (Marc Munro <marc@bloodnok.com>)
Responses Re: [PATCH] Fix leaky VIEWs for RLS
List pgsql-hackers
On Thu, Jun 3, 2010 at 1:23 PM, Marc Munro <marc@bloodnok.com> wrote:
> On Thu, 2010-06-03 at 05:53 -0300, pgsql-hackers-owner@postgresql.org
> wrote:
>> [ . . . ]
>>
>> In my current idea, when a qual-node that contains FuncExpr tries to
>> reference a part of relations within a security view, its referencing
>> relations will be expanded to whole of the security view at
>> distribute_qual_to_rels().
>> [ . . . ]
>
> I may be missing something here but this seems a bit too simplistic and,
> I think, fails to deal with an important use case.

If anything, you're putting it mildly.  This is quite a bit too
simplistic and fails to deal with several important issues, at least
some of which have already been mentioned on this thread.

> The optimiser ought to be able to spot the fact that i_can_see() need
> only be called once for each joined result.  By placing a barrier (if I
> understand your proposal correctly) between the outermost joins and the
> inner views, doesn't this optimisation become impossible?
>
> I think a simpler solution may be possible here.  If you can tag the
> function i_can_see() as a security function, at least in the context of
> its use in the security views, and then create the rule that security
> functions are always considered to be lower cost than user-defined
> non-security functions, don't we achieve the result of preventing the
> insecure function from seeing rows that it shouldn't?

So, yes and no.  You DO need a security barrier between the view and
the rest of the query, but if a function can be trusted not to do evil
things, then it should be allowed to be pushed down.  What we need to
prevent is the pushdown of untrusted functions (or operators).  A
(very) important part of this problem is determining which quals are
safe to push down.

--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise Postgres Company


pgsql-hackers by date:

Previous
From: Jan Wieck
Date:
Subject: Re: functional call named notation clashes with SQL feature
Next
From: Robert Haas
Date:
Subject: Re: Synchronization levels in SR