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 | SQL archive |
| Timelines: | family | ancestors | descendants | both | transitive-constraints |
| Files: | files | file ages | folders |
| SHA1: |
6bfaf525cac2e0c0a4a3bd3a1fc7bf5b |
| User & Date: | drh 2015-05-18 11:34:52 |
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: 204e567f 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: 6bfaf525 user: drh tags: transitive-constraints | |
|
2015-05-16
| ||
| 20:51 | Further restrictions on the use of the transitive property in WHERE clauses. check-in: 8c886c43 user: drh tags: transitive-constraints | |
Changes
Changes to src/where.c.
Changes to test/transitive1.test.