Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Refinements to the determination of when an A==B term is an equivalence. Add test cases. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | transitive-constraints |
| Files: | files | file ages | folders |
| SHA1: |
6bfaf525cac2e0c0a4a3bd3a1fc7bf5b |
| User & Date: | drh 2015-05-18 11:34:52.372 |
Context
|
2015-05-18
| ||
| 12:18 | Use an ALWAY() on conditionals in the transitive constraint logic that are always true as far as we know. (Closed-Leaf check-in: 204e567f68 user: drh tags: transitive-constraints) | |
| 11:34 | Refinements to the determination of when an A==B term is an equivalence. Add test cases. (check-in: 6bfaf525ca user: drh tags: transitive-constraints) | |
|
2015-05-16
| ||
| 20:51 | Further restrictions on the use of the transitive property in WHERE clauses. (check-in: 8c886c43ff user: drh tags: transitive-constraints) | |
Changes
Changes to src/where.c.
Changes to test/transitive1.test.