1. No category

2015
1ª Sesión Formativa
XBRL España
1 de Junio 2015
Modelo de datos y
Taxonomías XBRL
Moira Lorenzo ([email protected])
Presidenta Grupo Taxonomías
Atos
MODELO DE DATOS Y TAXONOMÍAS XBRL
XBRL: Taxonomías vs Instancias
Ejemplo: Parte de un balance
Los elementos /
terminologías /
estructura / etiquetas
de texto / cálculos
asociados / orden de
los elementos y su
significado se definen
en la taxonomía
Los valores del balance están en
la instancia o informe
MODELO DE DATOS Y TAXONOMÍAS XBRL
Indice
(1) Taxonomías XBRL
•
Esquemas
•
Linkbases
•
Extensibilidad
(2) Dimensiones XBRL
(3) Fórmulas XBRL
(4) Enfoques de definición de modelos de
reporte
(5) Modelo DPM
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL: Esquemas
Ficheros XML schema (con extensión XSD)
Contienen:
•
Especificaciones del schema.
•
Anotaciones específicas de los linkbases.
•
Definición de los conceptos de negocio junto con sus propiedades más básicas.
Toda taxonomía
DEBE
tener un Taxonomy Schema.
Un Taxonomy Schema
DEBE
ser una instancia válida de XML Schema XSD
Un Taxonomy Schema
PUEDE
importar otro schema y extender el DTS
 Tipos de elementos
•
Items: Conceptos de negocio que representan un único valor o medida de negocio.
•
Tuplas: Conceptos de negocio que carecen de significado por separado y/o aparecen
repetidas veces dentro de un informe. Las tuplas contiene otros elementos que pueden ser
a su vez: Ítems o tuplas.
MODELO DE DATOS Y TAXONOMÍAS XBRL
Item
Taxonomías XBRL: Esquemas
 Elementos Item
Un ítem representa un único valor o medida de negocio.
Item
numérico
Item
no numérico
Para cada ítem se define un elemento con:
 Nombre.
 Grupo de sustitución.
 Tipo de datos.
 Si admite o no decimales.
 Atributo periodType: Expresa el espacio temporal en el que se mide el concepto.
Taxonomía XBRL
Informe XBRL
Contexto - Periodo
Valor del atributo periodType
instant
instant
duration y forever
duration
 Atributo balance:
•
Puede ser añadido a la definición del elemento si el tipo es monetaryItemType o
derivado de éste.
•
Valores crédito o débito.
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL: Esquemas
 Tipos de datos
Derivan por extensión de los tipos
base XML
Propios del dominio XBRL
<complexType name="decimalItemType" final="extension">
<simpleContent>
<extension base="decimal">
<attributeGroup ref="xbrli:numericItemAttrs" />
<anyAttribute namespace="##other" processContents="lax" />
</extension>
</simpleContent>
</complexType>
<attributeGroup name="numericItemAttrs">
<annotation>
<documentation>
Group of attributes for numeric items
</documentation>
</annotation>
<attribute name="contextRef" type="IDREF" use="required" />
<attribute name="unitRef" type="IDREF" use="required" />
<attribute name="precision" type="xbrli:precisionType"
use="optional" />
<attribute name="decimals" type="xbrli:decimalsType"
use="optional" />
<attribute name="id" type="ID" use="optional" />
</attributeGroup>
Numéricos
Tipo XBRL
Tipo base
decimalItemType
decimal
floatItemType
float
doubleItemType
double
integerItemType
integer
nonPositiveIntegerItemType
nonPositiveInteger
negativeIntegerItemType
negativeInteger
longItemType
long
intItemType
int
shortItemType
Short
byteItemType
byte
nonNegativeIntegerItemType
nonNegativeInteger
unsignedLongItemType
unsignedLong
unsignedIntItemType
unsignedInt
unsignedShortItemType
unsignedShort
unsignedByteItemType
unsignedByte
positiveIntegerItemType
positiveInteger
monetaryItemType
xbrli:monetary
sharesItemType
xbrli:shares
pureItemType
xbrli:pure
fractionItemType
decimal /xbrli:nonZeroDecimal
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL: Esquemas
 Tipos de datos
Derivan por extensión de los tipos
base XML
<complexType name="stringItemType" final="extension">
<simpleContent>
<extension base="string">
<attributeGroup ref="xbrli:nonNumericItemAttrs" />
<anyAttribute namespace="##other" processContents="lax" />
</extension>
</simpleContent>
</complexType>
<attributeGroup name="nonNumericItemAttrs">
<annotation>
<documentation>
Group of attributes for non-numeric items
</documentation>
</annotation>
<attribute name="contextRef" type="IDREF" use="required" />
<attribute name="id" type="ID" use="optional" />
</attributeGroup>
No numéricos
Tipo XBRL
Tipo base
stringItemType
string
booleanItemType
Boolean
hexBinaryItemType
hexBinary
base64BinaryItemType
base64Binary
anyURIItemType
anyURI
QNameItemType
QName
durationItemType
duration
dateTimeItemType
dateTime
timeItemType
time
dateItemType
date
gYearMonthItemType
gYearMonth
gYearItemType
gYear
gMonthDayItemType
gMonthDay
gDayItemType
gDay
gMonthItemType
gMonth
normalizedStringItemType
normalizedString
tokenItemType
token
languageItemType
language
NameItemType
Name
NCNameItemType
NCName
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL: Linkbases
Los linkbases definen la estructura de los datos.
Aportan información adicional expresando:
•
Relaciones entre conceptos.
•
Asociación de conceptos con recursos externos.
 Tipos de XBRL linkbases
•
Linkbases de relación
Linkbase de relación
(calculation, definition y
presentation) definen las
Linkbase de relación
relaciones entre los
elementos de la taxonomía.
•
Linkbases de asociación
(label y reference) definen
las relaciones con recursos
externos.
Linkbase de relación
Linkbase de asociación
Linkbase de asociación
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL: Linkbases
 Linkbases de relación: presentación, definición y cálculo
XML Schema
Elemento
Elemento
Elemento 1
Elemento 2
Elemento
Elemento 3
Elemento
Elemento 4
Elemento
Elemento 5
Elemento
Elemento 7
Elemento
Elemento
Elemento 6
Elemento 8
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL: Linkbases
 Linkbases de relación: Definición
Establece relaciones de tipo entre conceptos.
 Linkbases de relación: Presentación
Se establecen las relaciones que existen entre
los conceptos a la hora de representarlos,
estableciendo dependencias jerárquicas que
ayudan a entender la información reportada.
Linkbase Presentación
XML Schema
Presentation Link
arc
arc
locator
Elemento
locator
Elemento
locator
Elemento
<?xml version="1.0" encoding="UTF-8"?>
<linkbase xmlns="http://www.xbrl.org/2003/linkbase"
xmlns:xlink="http://www.w3.org/1999/xlink”
xmlns:xsi="http://www.w3.org/2001/XMLSchemainstance” xsi:schemaLocation="http://www.xbrl.org/2003/linkbase
http://www.xbrl.org/2003/xbrl-linkbase-2003-12-31.xsd">
<presentationLink xlink:type="extended">
<loc xlink:type="locator"
xlink:href="sample3_balancesheet.xsd#Assets“
xlink:label="src”
xlink:role="http://www.xbrl.org/linkprops/locator/root"/>
<loc xlink:type="locator"
xlink:href="sample3_balancesheet.xsd#Cash“
xlink:label="dest"/>
<definitionArc xlink:type="arc” xlink:arcrole=
"http://www.xbrl.org/linkprops/arc/parent-child”
xlink:from="src" xlink:to="dest" xlink:actuate="onRequest”
xlink:show="replace"/>
...
</presentationLink>
…
</linkbase>
El link “locator” implica que el recurso es externo
Enlace de Assets (origen) a
Cash (destino)
Recurso que se enlaza
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL: Linkbases
 Linkbases de relación: Cálculo
•
Relaciones de cálculo simples entre dos conceptos.
•
Sólo se pueden definir sumas, aplicando factores de ponderación.
item0 = w1*item1 + w2*item2 + …
Linkbase Calculation Link
XML Schema
Calculation Link
Elemento 1
=
Elemento 2
+
Elemento 3
arc
Factor de ponderación
Elemento 3
=
Elemento 4
+
Elemento 5
arc
locator
Elemento
locator
Elemento
locator
Elemento
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL: Linkbases
XML Schema
 Linkbases de asociación: Etiquetas
•
Asocia etiquetas en diferentes
Etiqueta inglés
Elemento
Etiqueta español
Etiqueta inglés
Elemento
Etiqueta español
Etiqueta inglés
Elemento
Etiqueta español
idiomas a los elementos de
taxonomía.
•
Permite distinta tipología de
etiquetas.
Linkbase Label Link
Label Link
Resource
EN label
ES label
EN label
ES label
EN label
ES label
XML Schema
arc
arc
locator
Elemento
arc
arc
locator
Elemento
arc
arc
locator
Elemento
MODELO DE DATOS Y TAXONOMÍAS XBRL
Taxonomías XBRL: Linkbases
 Linkbases de asociación: Referencias
•
XML Schema
Asocia información adicional a los
diferentes elementos de la
taxonomía.
•
En la mayor parte de las ocasiones,
esta información es legal o
normativa.
Linkbase Reference Link
Resource
XML Schema
Reference Link
Información referencia
Sobre este concepto ver http…
arc
locator
Elemento
Información referencia
Sobre este concepto ver http…
arc
locator
Elemento
Información referencia
Sobre este concepto ver http…
arc
locator
Elemento
Elemento
Información referencia
Sobre este concepto ver http…
Elemento
Información referencia
Sobre este concepto ver http…
Elemento
Información referencia
Sobre este concepto ver http…
MODELO DE DATOS Y TAXONOMÍAS XBRL
Extensibilidad en XBRL
XBRL es extensible.
 Extensión de taxonomías
Permite crear nuevas taxonomías que importan
otras taxonomías existentes incorporando
información adicional.
•
Se permite importar 1 o varias taxonomías
•
La nueva taxonomía puede incluir
conceptos adicionales y crear relaciones
adicionales entre los conceptos nuevos o
los conceptos heredados.
 Extensión de taxonomías
Permite la inclusión de nuevos tipos de
relaciones (o roles de arco).
¡ojo! con las herramientas estándar  serán ignorados
MODELO DE DATOS Y TAXONOMÍAS XBRL
Indice
(1) Taxonomías XBRL
•
Esquemas
•
Linkbases
•
Extensibilidad
(2) Dimensiones XBRL
(3) Fórmulas XBRL
(4) Enfoques de definición de modelos de
reporte
(5) Modelo DPM
MODELO DE DATOS Y TAXONOMÍAS XBRL
Dimensiones XBRL
 Origen de una nueva especificación
Con
la
especificación
XBRL
las
taxonomías
estaban
limitadas
a
estructuras
mono-
dimensionales, mediante el uso de listas de conceptos, o bidimensionales, a través de tuplas.
Bajo el paraguas de la taxonomía COREP (Common REPorting) en el ámbito de supervisión
bancaria europea, el consorcio de XBRL Internacional desarrolla en 2005 la especificación de
dimensiones buscando un modelo de datos con una estructura dimensional.
La especificación XBRL Dimensions 1.0 está en estado de recomendado desde septiembre del
2006.
País
España
Francia
Suecia
Colombia
…
Total Tasaciones
Producto
Inmueble
Maquinaria
…
Divisa
Euro
Dólar
Corona
Pesetas
Pesos
…
MODELO DE DATOS Y TAXONOMÍAS XBRL
Dimensiones XBRL
 Elementos básicos
métricas
+
dimensiones
+
dominios
+
hipercubos
•
Métricas: Formas de medir las operaciones de negocio. Es el concepto que se mide.
Ej: Total tasaciones, ingresos, gastos, beneficios, ..
•
Dimensiones: Formas de organizar la operación. Contienen conjuntos de valores que
permiten categorizar e identificar la información referida a las métricas.
Ej: País, producto, divisa, ..
•
Dominios: El conjunto de valores posibles de una dimensión.
- Pueden ser de dimensiones explícitas o tipadas.
- Se ordenan habitualmente de forma jerárquica.
- Un mismo dominio puede utilizarse en diferentes dimensiones.
Ej: Conjunto de país, conjunto de divisa, ..
•
Hipercubos: Conjunto de combinaciones de dimensiones posibles de una cierta
métrica.
MODELO DE DATOS Y TAXONOMÍAS XBRL
Dimensiones XBRL
Europa
España
Francia
País
Suecia
País X Producto
Ibero América
Total Tasaciones
Colombia
Producto
Inmueble
Producto X Divisa
Maquinaria
Divisa
La simplicidad del modelo se basa en el
hecho de que representan las entidades
que los usuarios de negocio manejan
habitualmente.
Los analistas de negocio conocen métricas en
las que están interesados, que dimensiones
aplican y como se organizan jerárquicamente
los elementos de los distintos dominios.
Euro
Corona
Dolar
Pesos
MODELO DE DATOS Y TAXONOMÍAS XBRL
Indice
(1) Taxonomías XBRL
•
Esquemas
•
Linkbases
•
Extensibilidad
(2) Dimensiones XBRL
(3) Fórmulas XBRL
(4) Enfoques de definición de modelos de
reporte
(5) Modelo DPM
MODELO DE DATOS Y TAXONOMÍAS XBRL
Fórmulas XBRL
 Origen de una nueva especificación
Con la linkbase de cálculo las validaciones estaban limitadas a definir sumas, aplicando
factores de ponderación.
item0 = w1*item1 + w2*item2 + …
¿Por qué la necesidad de una nueva especificación?
-
Existencia de reglas de negocio complejas
-
Necesidad de validaciones con datos reportados en diferentes contextos (periodos,
dimensiones, etc).
-
Necesidad de realizar validaciones con información externa.
La especificación XBRL Formula 1.0 está en estado de recomendado desde junio del 2009.
Diferentes módulos con ampliaciones se han ido incorporando a lo largo de los años.
MODELO DE DATOS Y TAXONOMÍAS XBRL
Fórmulas XBRL
 Los aspectos del modelo
•
Un valor
•
Un concepto: Total tasaciones
•
Un conjunto de dimensiones
•
-
Estándar: Entidad y tiempo
-
Definidas por el usuario: País, producto, …
Total
tasaciones
Concepto
Concept
Incomes
100 € (prec 3)
Propiedades adicionales: Unidad y precisión
Sociedad
tasación
Dexia
XYZ
Entidad
Credit
institution
Tiempo
t
Dec
2007
Diciembre
2014
MODELO DE DATOS Y TAXONOMÍAS XBRL
Fórmulas XBRL
 Modelo del procesamiento de fórmulas
Una fórmulas XBRL está expresada como un recurso.
•
La entrada: Variables y filtros
•
Usa expresiones Xpath 2.0
Ejemplo: (($a + $b) * 2.5)
-
Permite combinaciones aritméticas, lógicas, condicionales
-
Conjunto estándar de operadores y funciones
+, -, *, div, mod, =, !=, <, >, and, or, …
abs, ceiling, floor, concat, upper-case, …
•
Existen precondiciones y parámetros.
•
Mensajes de satisfacción o de insatisfacción.
 Tipos de fórmulas
•
Fórmulas: Producen nuevos hechos como resultado.
•
Asertos: Verifican una condición (true o false).
-
Asertos de valor
-
Asertos de existencia
-
Asertos de consistencia
A*B+C
MODELO DE DATOS Y TAXONOMÍAS XBRL
Fórmulas XBRL
 Muchísimos filtros disponibles
Concepto:
Unidad:
Por nombre
Por tipo de peridod
Por unidad de medida
Periodo:
Por atributo balance
General
Por tipo de dato
Comienzo-periodo
...
Fin-periodo
Dimensiones:
Instante-periodo
Dimensión explícita
Instant-duration
Dimensión tipada
Flitros generales:
Tupla
Valor
Entidad
Precisión
...
....
MODELO DE DATOS Y TAXONOMÍAS XBRL
+
Fórmulas XBRL: Lecciones aprendidas
Usuario de negocio
Formularios
X business rules
Usuarios de negocio
2
1
Reglas
1 formula XBRL
Escritura en lenguaje técnico
(en términos de celdas)
Documentos de
reglas de negocio
Pensamiento en nivel abstracto
Analistas TI
Fórmulas XBRL
1
Lectura en lenguaje técnico
(en terminos de celdas)
2
Proceso de abstracción de la información
conceptual de los terminos de celdas
3 Escritura de fórmulas en un nivel
abstracto
Documentos de
reglas de negocio
+
Analistas TI
MODELO DE DATOS Y TAXONOMÍAS XBRL
Indice
(1) Taxonomías XBRL
•
Esquemas
•
Linkbases
•
Extensibilidad
(2) Dimensiones XBRL
(3) Fórmulas XBRL
(4) Enfoques de definición de modelos
de reporte
(5) Modelo DPM
MODELO DE DATOS Y TAXONOMÍAS XBRL
Enfoques para la definición de modelos de reporte
Desarrollar una taxonomía es traducir los requerimientos de negocio para el reporte de
información en formato XBRL.
Estos requerimientos son habitualmente expresados en normas y directrices regulatorias.
Ejemplos son:
 International Financial Reporting Standards (IFRSs) adopted by the International Accounting Standards
Board (IASB),
 Directive 2006/49/EC of the European Parliament and of the Council (14 June 2006) on the capital adequacy
of investment firms and credit institutions,
…
Estas normas o requerimientos escritos suelen ser interpretadas o presentadas en plantillas o
formularios.
El primer paso es el análisis exhaustivo del modelo de datos.
Un componente clave en este análisis es el enfoque utilizado para identificar los datos.
Existen dos diferentes aproximaciones:
- Enfoque centrado en formularios de presentación
- Enfoque centrado en matrices de datos
MODELO DE DATOS Y TAXONOMÍAS XBRL
Enfoques para la definición de modelos de reporte
 Enfoque centrado en formularios de presentación
Los conceptos son identificaos por la posición en la plantilla o formulario en la que son
representados.
Por ejemplo: Fila y columna o número de celda (esta información carece de significado dentro
de la plantilla o formulario).
Código de la celda: 0050
Nombre del elemento: ifrs-gp:EquityTotal
Dimension: es-be-d-FR-pn_PatrimonioNetoDimension
Valor: es-be-d-FR-pn:CapitalFondoDotación
Código de la celda: 1021
Nombre del elemento:
es-be-p-FINREP:CapitalFondoDotación
Orientado visualizar datos en
formularios o plantillas en las que
son reportados
Ambas celdas representan el mismo concepto financiero y deben contener el mismo valor pero
están definidas con elementos y características diferentes
MODELO DE DATOS Y TAXONOMÍAS XBRL
Enfoques para la definición de modelos de reporte
 Enfoque centrado en matrices de datos
Los conceptos son identificados por un conjunto de características intrínsecas a su propio
significado: los valores de un conjunto de atributos o aspectos.
El dato tiene significado completo por si solo, la posición en un formulario (celda / Fila-
columna) no es necesaria para su identificación.
MODELO DE DATOS Y TAXONOMÍAS XBRL
Indice
(1) Taxonomías XBRL
•
Esquemas
•
Linkbases
•
Extensibilidad
(2) Dimensiones XBRL
(3) Fórmulas XBRL
(4) Enfoques de definición de modelos de
reporte
(5) Modelo DPM
MODELO DE DATOS Y TAXONOMÍAS XBRL
Modelo DPM
El Modelo de Punto de Datos (“Data Point Modeling”) es una metodología para el
desarrollo de modelos de datos financieros que describe las características de la información
que se intercambia en el marco de cumplimiento regulatorio.
¿Qué es DPM? Una metodología para organizar datos. Incluye diccionarios, recursos asociados
y definiciones del modelo de dato en base a tablas con conceptos del diccionario.
¿Qué no es DPM? Un formato técnico. Algo puramente del mundo IT.
MODELO DE DATOS Y TAXONOMÍAS XBRL
Modelo DPM
 ¿Qué es un punto de datos?
Punto de Datos (“Data Point”) es una composición de características que identifica
unívocamente el concepto financiero que describe un hecho. Estas características son:
- Métricas
- Dimensiones
- Referencia temporal
DataPoint
Context
Hecho (“Fact”) es el dato más básico de intercambio
Entidad
Periodo
en el
contexto de
de información
<<
>>
DataPoint
1
1
<<
*
Fact
está descrito por
>>
*
1
Valor
Unidad
Precisión
Características
Dimensionales
1
1
Referencia
temporal
Métrica
1..*
<<
*
Footnote
Lenguaje
Texto
explicado/matizado por
>>
1
Miembro
1
1
Dimensión
Tipo de dato
1
Tipo periodo
MODELO DE DATOS Y TAXONOMÍAS XBRL
Modelo DPM
Celda r060 c010 de la plantilla FT 01.01 = Celda r060 c010 de la plantilla FT 03.01
Mismo concepto financiero
Mismo “Data point”
MODELO DE DATOS Y TAXONOMÍAS XBRL
Modelo DPM
 Características de un punto de datos
•
Centrado en el dato: Independiente de su representación en plantillas o formularios de
reporte
•
Inequivoco y formal: Descrito por conceptos de negocio elementales y organización en
estructuras lógicas. Facilita la comunicación entre negocio y TI.
•
Neutral: No está basado en ninguna tecnología en particular.
•
Completo dado que permite la traducción de los formatos TI de intercambio de datos,
y en particular las taxonomías XBRL, sin depender de los conocimientos y la
disponibilidad de expertos en negocios.
 Diccionarios y Frameworks
•
El diccionario contiene la definición única de los conceptos de negocio (métricas,
dimensiones, dominios y miembros de los dominios).
•
Frameworks son los conjuntos de información a reportar según criterios funcionales.
MODELO DE DATOS Y TAXONOMÍAS XBRL
Modelo DPM
Elemento Diccionario
Métrica define la naturaleza de la medida a realizar. Está
+ Periodo actual
determinado por
• Tipo de dato
• Monetario
Métrica
+ Tipo de dato
+ Tipo de periodo
• Porcentaje
• Fecha
• etc…
• Tipo de periodo
• Momento especifico
• Intervalo de tiempo
MODELO DE DATOS Y TAXONOMÍAS XBRL
Modelo DPM
Dimensión es una propiedad para calificar el concepto
Elemento Diccionario
financiero que describe un hecho.
Dominio
+ Periodo actual
es
miembros
un
que
conjunto
de
comparten
la
misma semántica.
Dominio
Dimensión
Miembro es el valor que toma la
dimensión.
Dominio
Dominio
Típado
Dimensión
Tipada
explícito
domain”) cuando los miembros
Dominio asociado
de un dominio están definidos por
enumeración
Dominio
Explicito
Dimensión
Explicita
(“Explicit
Miembro por defecto
Dominio asociado
Miembros
0..1
Miembro Dominio
Explicito
(ej:
área
geográfica).
Dominio
tipado
domain”)
es
miembros
tienen
(Typed
cuando
adicionales (ej: Nif).
los
restricciones
MODELO DE DATOS Y TAXONOMÍAS XBRL
Framework es un conjunto de la información a
Modelo DPM
reportar según criterios funcionales.
Taxonomía
Framework
es un conjunto de información
específico a reportar durante un cierto periodo
de tiempo.
Módulo es el conjunto específico de datos
Taxonomía
•
•
•
financieros (puntos de datos) a reportar.
Normativa
Fecha versionado
Periodo actual
Tabla
es
financieros
Módulos
Grupo
Tabla
en
de
específico
datos)
formatos
de
a
datos
reportar
(templates)
con
forma matricial que se denominan estados. Un
1..*
<<ordena>>
Data Point
Tabla
conjunto
(puntos
representados
Tabla base
1..*
el
estado puede estar formado por varias tablas.
Grupo tabla es el conjunto de tablas que se
divide
un
estado
dependiendo
de
unas
condiciones. Son varias las razones para agrupar
tablas.
MODELO DE DATOS Y TAXONOMÍAS XBRL
Recapitulamos …
Gracias por su atención.
[email protected]
Grupo de Formación XBRL España
MODELO DE DATOS Y TAXONOMÍAS XBRL
Fórmulas XBRL
 El filtro implícito
Tres pasos en la evaluación de un conjunto de variables:
•
Cada variable evaluada de manera individual para obtener la lista de valores candidatos
$a = (a1, a2, a3)
$b = (b1, b2)
$c = (c1, c2)
•
•
Se genera el producto cartesiano
a1
a1
a1
a1
a2
a2
a2
a2
a3
a3
a3
a3
b1
b1
b2
b2
b1
b1
b2
b2
b1
b1
b2
b2
c1
c2
c1
c2
c1
c2
c1
c2
c1
c2
c1
c2
El filtro implícito descarta cada combinación que no verifique lo siguiente:
Por cada par de variables de una fórmula / aserto, el valor de cada aspecto que no se
filtra explícitamente por un filtro variable debe ser el mismo