/ Timeline
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Parents and children of check-in [6bfaf525]

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