# HG changeset patch
# User jbe
# Date 1307534596 -7200
# Node ID b2d87fbb123b6a0aca64834bc08a5958c9828955
# Parent  62ac82e55a5769bc6b43d6e27208bab79c44ec22
Added constraint "eligible_at_first_rank_is_winner" to "initiative" table

diff -r 62ac82e55a57 -r b2d87fbb123b core.sql
--- a/core.sql	Tue Jun 07 21:30:20 2011 +0200
+++ b/core.sql	Wed Jun 08 14:03:16 2011 +0200
@@ -593,6 +593,7 @@
           ("direct_majority" AND "indirect_majority" AND "better_than_status_quo") ),
         CONSTRAINT "winner_must_be_eligible" CHECK ("winner"=FALSE OR "eligible"=TRUE),
         CONSTRAINT "winner_must_have_first_rank" CHECK ("winner"=FALSE OR "rank"=1),
+        CONSTRAINT "eligible_at_first_rank_is_winner" CHECK ("eligible"=FALSE OR "rank"!=1 OR "winner"=TRUE),
         CONSTRAINT "unique_rank_per_issue" UNIQUE ("issue_id", "rank") );
 CREATE INDEX "initiative_created_idx" ON "initiative" ("created");
 CREATE INDEX "initiative_revoked_idx" ON "initiative" ("revoked");