Image:Relational-consistency-1.svg
From Wikipedia, the free encyclopedia
Relational-consistency-1.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:10, 4 March 2006 | 216×171 (4 KB) | Tizio | (Modified to show constraints that are required to be satisfied here but not in the relational version) |
17:07, 13 February 2006 | 216×171 (3 KB) | Tizio | (i-consistency vs. relational i-consistency: this image shows regular i-consistency: assuming that the values of the encircled variables satisfy the constraint, a consistent extension to x exists; relational consisteny is shown in [[:Image:Relational-consi) |
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):