Hi Adam, Thanks for the quick answer!
Regards, Saulo On Mon, Sep 26, 2016 at 7:47 PM, Adam Chlipala <[email protected]> wrote: > On 09/26/2016 06:44 PM, Saulo Araujo wrote: > >> 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? >> > > 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]. > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
