example Dopfib

schema C = literal : sql {
 entities 
	a1 a2 a3 b1 b2 c1 c2 c3 c4

 foreign_keys
	g1 : a1 -> b1 
	g2 : a2 -> b2 
	g3 : a3 -> b2
	h1 : a1 -> c1 
	h2 : a2 -> c2 
	h3 : a3 -> c4
	
 attributes
	a1_str : a1 -> Varchar
 	a2_str : a2 -> Varchar
 	a3_str : a3 -> Varchar
	
	b1_str : b1 -> Varchar
 	b2_str : b2 -> Varchar

 	c1_str : c1 -> Varchar
 	c2_str : c2 -> Varchar
 	c3_str : c3 -> Varchar
 	c4_str : c4 -> Varchar
}

schema D = literal : sql {
 entities 
 	A B C
 foreign_keys
 	G : A -> B 
 	H : A -> C
  attributes
	A_str : A -> Varchar
 	B_str : B -> Varchar
 	C_str : C -> Varchar	
}

mapping F = literal : C -> D {
  entity
  	a1 -> A 
  foreign_keys
  	h1 -> H 
  	g1 -> G 
  attributes
  	a1_str -> A_str 
  	
 entity
	a2 -> A 
 foreign_keys
	h2 -> H 
	g2 -> G 
 attributes
	a2_str -> A_str 

  entity
  	a3 -> A
  foreign_keys
	g3 -> G
  	h3 -> H
  attributes
  	a3_str -> A_str

  entity
  	b1 -> B
  attributes
  	b1_str -> B_str 

  entity
  	b2 -> B
  attributes
  	b2_str -> B_str

  entity
  	c1 -> C 
  attributes
  	c1_str -> C_str 

  entity
  	c2 -> C 
  attributes
  	c2_str -> C_str

  entity
  	c3 -> C 
  attributes
  	c3_str -> C_str 

  entity
  	c4 -> C
  attributes
  	c4_str -> C_str
} 

instance I = random : C {
	generators
		a1 -> 10
		a2 -> 10
		a3 -> 10
		b1 -> 10
		b2 -> 10
		c1 -> 10
		c2 -> 10
		c3 -> 10
		c4 -> 10
	//options
	//	random_seed = 2
}

instance J = sigma_chase F I

instance J2 = sigma F I
Keywords:

schema_var
sigma
sigma_chase
random
mapping_literal

Options:




instance J2

A
IDA_strGH
0?03050
1?03151
2?03251
3?03352
4?03452
5?03553
6?03354
7?03050
8?03652
9?03755
10?03656
11?03757
12?03858
13?03559
14?03860
15?03861
16?03662
17?03063
18?03364
19?03960
20?04579
21?04078
22?04874
23?04875
24?04675
25?04474
26?04277
27?04076
28?04172
29?04972
B
IDB_str
30?0
31?0
32?0
33?0
34?0
35?0
36?0
37?0
38?0
39?0
40?0
41?0
42?0
43?0
44?0
45?0
46?0
47?0
48?0
49?0
C
IDC_str
50?0
51?0
52?0
53?0
54?0
55?0
56?0
57?0
58?0
59?0
60?0
61?0
62?0
63?0
64?0
65?0
66?0
67?0
68?0
69?0
70?0
71?0
72?0
73?0
74?0
75?0
76?0
77?0
78?0
79?0
80?0
81?0
82?0
83?0
84?0
85?0
86?0
87?0
88?0
89?0


instance J

A
IDA_strGH
0?04067
1?04867
2?04963
3?04762
4?04565
5?04364
6?04164
7?04165
8?04961
9?04460
10?03673
11?03570
12?03978
13?03374
14?03776
15?03773
16?03177
17?03772
18?03875
19?03371
20?03881
21?03384
22?03980
23?03585
24?03186
25?03084
26?03584
27?03282
28?03482
29?03980
B
IDB_str
30?0
31?0
32?0
33?0
34?0
35?0
36?0
37?0
38?0
39?0
40?0
41?0
42?0
43?0
44?0
45?0
46?0
47?0
48?0
49?0
C
IDC_str
50?0
51?0
52?0
53?0
54?0
55?0
56?0
57?0
58?0
59?0
60?0
61?0
62?0
63?0
64?0
65?0
66?0
67?0
68?0
69?0
70?0
71?0
72?0
73?0
74?0
75?0
76?0
77?0
78?0
79?0
80?0
81?0
82?0
83?0
84?0
85?0
86?0
87?0
88?0
89?0


instance I

a1
IDa1_strg1h1
0?03057
1?03857
2?03953
3?03752
4?03555
5?03354
6?03154
7?03155
8?03951
9?03450
a2
IDa2_strg2h2
10?04861
11?04364
12?04960
13?04565
14?04166
15?04064
16?04564
17?04262
18?04462
19?04960
a3
IDa3_strg3h3
20?04683
21?04580
22?04988
23?04384
24?04786
25?04783
26?04187
27?04782
28?04885
29?04381
b1
IDb1_str
30?0
31?0
32?0
33?0
34?0
35?0
36?0
37?0
38?0
39?0
b2
IDb2_str
40?0
41?0
42?0
43?0
44?0
45?0
46?0
47?0
48?0
49?0
c1
IDc1_str
50?0
51?0
52?0
53?0
54?0
55?0
56?0
57?0
58?0
59?0
c2
IDc2_str
60?0
61?0
62?0
63?0
64?0
65?0
66?0
67?0
68?0
69?0
c3
IDc3_str
70?0
71?0
72?0
73?0
74?0
75?0
76?0
77?0
78?0
79?0
c4
IDc4_str
80?0
81?0
82?0
83?0
84?0
85?0
86?0
87?0
88?0
89?0