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?03152
3?03253
4?03254
5?03355
6?03453
7?03050
8?03256
9?03557
10?04467
11?04462
12?04265
13?03660
14?04367
15?04061
16?03666
17?03860
18?04265
19?03859
20?03168
21?03169
22?03368
23?03270
24?03571
25?04668
26?03071
27?03471
28?03468
29?03072
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?03069
1?03567
2?03566
3?03066
4?03867
5?03166
6?03468
7?03667
8?03263
9?03267
10?04788
11?04382
12?04787
13?04981
14?04586
15?04280
16?04987
17?04382
18?04185
19?04180
20?03158
21?03453
22?03059
23?03555
24?03651
25?03450
26?03455
27?03252
28?03254
29?03059
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?03758
1?03352
2?03757
3?03951
4?03556
5?03250
6?03957
7?03352
8?03155
9?03150
a2
IDa2_strg2h2
10?04168
11?04463
12?04069
13?04565
14?04661
15?04460
16?04465
17?04262
18?04264
19?04069
a3
IDa3_strg3h3
20?04089
21?04587
22?04586
23?04086
24?04887
25?04186
26?04488
27?04687
28?04283
29?04287
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