1.1 --- a/core.sql	Mon Aug 20 03:28:45 2012 +0200
     1.2 +++ b/core.sql	Mon Aug 20 13:22:33 2012 +0200
     1.3 @@ -337,8 +337,8 @@
     1.4          "discussion_time"       INTERVAL,
     1.5          "verification_time"     INTERVAL,
     1.6          "voting_time"           INTERVAL,
     1.7 -        "issue_quorum_num"      INT4            NOT NULL,
     1.8 -        "issue_quorum_den"      INT4            NOT NULL,
     1.9 +        "issue_quorum_num"      INT4,
    1.10 +        "issue_quorum_den"      INT4,
    1.11          "initiative_quorum_num" INT4            NOT NULL,
    1.12          "initiative_quorum_den" INT4            NOT NULL,
    1.13          "direct_majority_num"           INT4    NOT NULL DEFAULT 1,
    1.14 @@ -362,7 +362,10 @@
    1.15              "verification_time" NOTNULL AND "voting_time" NOTNULL ) OR
    1.16            ( "polling" = TRUE AND
    1.17              "admission_time" ISNULL AND "discussion_time" ISNULL AND
    1.18 -            "verification_time" ISNULL AND "voting_time" ISNULL ) ) );
    1.19 +            "verification_time" ISNULL AND "voting_time" ISNULL ) ),
    1.20 +        CONSTRAINT "issue_quorum_if_and_only_if_not_polling" CHECK (
    1.21 +          "polling" = "issue_quorum_num" ISNULL AND
    1.22 +          "polling" = "issue_quorum_den" ISNULL ) );
    1.23  CREATE INDEX "policy_active_idx" ON "policy" ("active");
    1.24  
    1.25  COMMENT ON TABLE "policy" IS 'Policies for a particular proceeding type (timelimits, quorum)';