Image:Relational-consistency-2.svg
From Wikipedia, the free encyclopedia
Relational-consistency-2.svg (SVG file, nominally 216 × 171 pixels, file size: 4 KB)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Dimensions | User | Comment | |
---|---|---|---|---|
current | 15:11, 4 March 2006 | 216×171 (4 KB) | Tizio | (The cyan edges are constraints that need not to be satified in relational consistency) |
17:10, 13 February 2006 | 216×171 (3 KB) | Tizio | (i-consistency vs. relational i-consistency: this image shows relational i-consistency: assuming that the values of the variables but x satisfy the constraint, an extension to x satisfying the constraint exists; regular consisteny is shown in [[:Image:Rela) |
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):