Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | CHECK constraints | Adam Chlipala | 2009-04-09 |
| | |||
* | Retry failed record summary unifications at the end, in hopes that more has ↵ | Adam Chlipala | 2009-04-09 |
| | | | | been learned | ||
* | More flexible foreign keying | Adam Chlipala | 2009-04-09 |
| | |||
* | FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵ | Adam Chlipala | 2009-04-07 |
| | | | | lingering problems in row inference) | ||
* | 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 |