Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
Parents and children of check-in [204e567f]
|12:28||Transitive constraints should only work if operands have compatible affinities and collating sequences. check-in: 5df40564 user: drh tags: trunk|
|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|