<div dir="ltr">Hi Adam,<div><br></div><div>Thanks for the quick answer!</div><div><br></div><div>Regards,</div><div>Saulo</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Sep 26, 2016 at 7:47 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 09/26/2016 06:44 PM, Saulo Araujo wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Does the Ur/Web type system allow me to require that groupRowTable contains foreign keys to the group and row tables? If so, could you show me how or point me to a similar example?<br>
</blockquote>
<br></span>
No, Ur/Web's encoding of SQL schemas doesn't track the presence of foreign-key constraints.  However, it does track which keys exist for tables.  Those are in the second argument to [sql_table].<br>
<br>
______________________________<wbr>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/c<wbr>gi-bin/mailman/listinfo/ur</a><br>
</blockquote></div><br></div>