/ Check-in [6bfaf525]
Login

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: 6bfaf525cac2e0c0a4a3bd3a1fc7bf5bd3234303
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
Unified Diffs Side-by-Side Diffs Patch

Changes to src/where.c.

Changes to test/transitive1.test.