| From: | Robert Haas <robertmhaas(at)gmail(dot)com> |
|---|---|
| To: | Joe Wildish <joe-postgresql(dot)com(at)elusive(dot)cx> |
| Cc: | "pgsql-hackers(at)postgresql(dot)org" <pgsql-hackers(at)postgresql(dot)org> |
| Subject: | Re: Implementing SQL ASSERTION |
| Date: | 2015-05-01 18:51:21 |
| Message-ID: | CA+TgmoaHqgEY99vfOYAYJ-TsVJn411N8FBxwWstP4_2BixNTzQ@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
On Thu, Apr 30, 2015 at 6:36 PM, Joe Wildish
<joe-postgresql(dot)com(at)elusive(dot)cx> wrote:
> I’m wondering if there are other people out there working on implementing SQL ASSERTION functionality?
>
> I’ve recently spent a bit of time looking to implement the execution models described in “Applied Mathematics for Database Professionals” by Toon Koppelaars and Lex de Haan. I’ve gotten as far as execution model 3 and am now looking at deriving polarity of involved tables to do EM4 (described in some detail in “Deriving Production Rules for Constraint Maintenance”, Ceri & Widom, VLDB Conference 1990, p555-577). EM5 & EM6 look rather more difficult but I’m intending to try and implement those, too.
>
> If there are other people working on this stuff it would be great to collaborate.
I don't know of anyone working on this. It sounds very difficult.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Pavel Stehule | 2015-05-01 18:53:05 | Re: Manipulating complex types as non-contiguous structures in-memory |
| Previous Message | Tom Lane | 2015-05-01 18:39:12 | Re: Manipulating complex types as non-contiguous structures in-memory |