summaryrefslogtreecommitdiff
path: root/tests/cst.ur
Commit message (Collapse)AuthorAge
* CHECK constraintsGravatar Adam Chlipala2009-04-09
|
* Retry failed record summary unifications at the end, in hopes that more has ↵Gravatar Adam Chlipala2009-04-09
| | | | been learned
* More flexible foreign keyingGravatar Adam Chlipala2009-04-09
|
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵Gravatar Adam Chlipala2009-04-07
| | | | lingering problems in row inference)
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
|
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
|
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07