Restricciones: Limitación de los valores permitidos 
Restricciones: Limitación de los valores permitidos
Puede utilizar la sección de INFERENCES de una restricción para limitar los valores permitidos de una característica limitable así como para deducir valores, si:
Limitar los valores permitidos carga el sistema considerablemente.
Si se utilizan tablas para limitar valores permitidos, la carga del sistema depende del tamaño de la tabla y del número de columnas de la tabla a las que se deducen valores.
Existen diversas opciones para limitar los valores permitidos.
Limitación de valores permitidos con tablas
Se puede hacer referencia a tablas en una restricción para limitar los valores permitidos de una característica de forma dinámica. Se pueden definir las combinaciones permitidas de valores mediante la actualización de la tabla. Se puede hacer referencia a la tabla en una restricción. Los valores permitidos para características pueden ser limitados según las combinaciones de valores actualizadas en la tabla.
Para más información sobre el trabajo con tablas, véase
Tablas en restricciones.Limitación de valores permitidos con IN
Puede especificar también valores permitidos utilizando la expresión IN:
OBJECTS:
PC IS_A (300) PC
WHERE C = CAJA;HD = DISCO_DURO.
RESTRICTIONS:
HD IN (‘1275’, ‘1620’, ‘2000’) IF C = ‘Torre’.
INFERENCES:
HD.
Limitación de valores permitidos con una función lineal
Este tipo de limitación sólo es posible para características numéricas. En la parte RESTRICTIONS de una restricción, se puede introducir una limitación para características numéricas limitables en forma de f(x) < 0 (valor constante de lado derecho) de manera que f(x) es una expresión lineal en la variable X. Se puede utilizar cualquier otro operador de comparación en lugar de ‘<‘.
RESTRICTIONS:
5L - 20 > 0
Limitación de valores permitidos con comparaciones
Puede limitar los valores permitidos de características alfanuméricas comparando 2 características alfanuméricas.
OBJECTS:
PC is_a (300)PC
RESTRICTIONS:
PC.COLOR_1 = PC.COLOR_2
INFERENCES:
PC.COLOR_1
COLOR_1 y COLOR_2 son características limitables. La restricción asigna los valores de característica COLOR_2 a la característica COLOR_1.