# HG changeset patch
# User David A. Holland
# Date 1402870572 14400
# Node ID e1017d5564377420130c0ff865c5639ccbe8d185
# Parent  81851564f55291651c7674e9258188031df11771
add unique indexes on number_in_pr

diff -r 81851564f552 -r e1017d556437 database/schema/messages.sql
--- a/database/schema/messages.sql	Sun Jun 15 17:55:56 2014 -0400
+++ b/database/schema/messages.sql	Sun Jun 15 18:16:12 2014 -0400
@@ -49,3 +49,12 @@
 )
 WITHOUT OIDS;
 
+-- Create an index for number_in_pr both to enforce uniqueness and
+-- to enable lookup.
+CREATE UNIQUE INDEX ON messages (pr, number_in_pr);
+-- XXX: does this work?
+CREATE UNIQUE INDEX ON
+  SELECT messages.pr, attachments.number_in_pr
+  FROM messages, attachments
+  WHERE messages.id = attachments.msgid
+;