• Nenhum resultado encontrado

[PENDING] STR2: Optimized Simple Tabular Reduction for Table Constraints

N/A
N/A
Protected

Academic year: 2024

Share "STR2: Optimized Simple Tabular Reduction for Table Constraints"

Copied!
37
0
0

Texto

Imagem

Figure 1: Constraint c is such that scp(c) = {x 1 , x 2 , x 3 , x 4 , x 5 } and rel(c) = table[c] contains 2 4 (allowed) tuples, as shown
Figure 2: Illustration of STR on a ternary positive table constraint c xyz .
Figure 3: Mean search cost of solving instances in classes h13, 60, 2, 20, ti with MAC.
Figure 5: Mean search cost of solving instances in classes h12, 60, 2, 20, ti with MAC.
+7

Referências

Documentos relacionados