Commit message (Expand) | Author | Age | |
---|---|---|---|
* | CHECK constraints | Adam Chlipala | 2009-04-09 |
* | Retry failed record summary unifications at the end, in hopes that more has b... | Adam Chlipala | 2009-04-09 |
* | More flexible foreign keying | Adam Chlipala | 2009-04-09 |
* | FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin... | Adam Chlipala | 2009-04-07 |
* | PRIMARY KEY | Adam Chlipala | 2009-04-07 |
* | Track uniqueness sets in table types | Adam Chlipala | 2009-04-07 |
* | UNIQUE constraints | Adam Chlipala | 2009-04-07 |