File:Relational-consistency-2.svg

Original file (SVG file, nominally 216 × 171 pixels, file size: 4 KB)

Summary

Description 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:Relational-consistency-1.svg
Date 13 February 2006 (original upload date)
Source No machine-readable source provided. Own work assumed (based on copyright claims).
Author No machine-readable author provided. Tizio assumed (based on copyright claims).

Licensing

Public ___domain I, the copyright holder of this work, release this work into the public ___domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current15:11, 4 March 2006Thumbnail for version as of 15:11, 4 March 2006216 × 171 (4 KB)TizioThe cyan edges are constraints that need not to be satified in relational consistency
17:10, 13 February 2006Thumbnail for version as of 17:10, 13 February 2006216 × 171 (3 KB)Tizioi-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

The following page uses this file:

Global file usage

The following other wikis use this file: