Implementing SQL ASSERTION - Mailing list pgsql-hackers

From Joe Wildish
Subject Implementing SQL ASSERTION
Date
Msg-id FD62F1DE-4227-4D67-A1A5-C17350B8CAA1@elusive.cx
Whole thread Raw
Responses Re: Implementing SQL ASSERTION  (Robert Haas <robertmhaas@gmail.com>)
Re: Implementing SQL ASSERTION  (Peter Eisentraut <peter_e@gmx.net>)
List pgsql-hackers
Hi all,

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
DatabaseProfessionals” by Toon Koppelaars and Lex de Haan.  I’ve gotten as far as execution model 3 and am now looking
atderiving 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
tryand implement those, too. 

If there are other people working on this stuff it would be great to collaborate.

Regards.
-Joe


pgsql-hackers by date:

Previous
From: Robert Haas
Date:
Subject: Re: initdb -S and tablespaces
Next
From: Alvaro Herrera
Date:
Subject: Re: One question about security label command