candidates_dblp.json 3.88 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
{
    "title": "Verification Candidates",
    "print_title": "no",
    "legend": "lower right",
    "legend_font_size": 18,
    "legend_frame_alpha": 0.8,
    "grid": "on",
    "dataset_name": "DBLP",
    "markers": ["s", "*", "o", "^", "p", "d", "8"],
    "markersize": [15, 20, 15, 15, 15, 15, 15],
    "markerfacecolor": "none",
    "colors": ["red", "green", "blue", "cyan", "magenta", "orange", "greenyellow"],
    "tables": [
        {
            "table_name": "tang_join", 
            "attributes": [
                {
                    "attr_name": "avg(verification_candidates)"
                }
            ],
            "name": "$\\mathtt{Tang}$",
            "constraints": {
Thomas Huetter's avatar
Thomas Huetter committed
23
24
                "verification_algorithm": ["APTED"],
                "((tree_to_binary_tree_time + index_time + verification_time)/1000) <": [36000]
25
26
27
28
29
30
31
32
33
34
35
36
            }
        },
        {
            "table_name": "t_join", 
            "attributes": [
                {
                    "attr_name": "avg(verification_candidates)"
                }
            ],
            "name": "$\\mathtt{TJoin}$",
            "constraints": {
                "verification_algorithm": ["Touzet"],
Thomas Huetter's avatar
Thomas Huetter committed
37
38
                "upperbound": ["greedy"],
                "((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
39
40
41
42
43
44
45
46
47
48
49
            }
        },
        {
            "table_name": "binary_branches_join", 
            "attributes": [
                {
                    "attr_name": "avg(verification_candidates)"
                }
            ],
            "name": "$\\mathtt{Binary}$",
            "constraints": {
Thomas Huetter's avatar
Thomas Huetter committed
50
51
                "verification_algorithm": ["APTED"],
                "((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
52
53
54
55
56
57
58
59
60
61
62
            }
        },
        {
            "table_name": "histogram_join", 
            "attributes": [
                {
                    "attr_name": "avg(verification_candidates)"
                }
            ],
            "name": "$\\mathtt{Histo}$",
            "constraints": {
Thomas Huetter's avatar
Thomas Huetter committed
63
64
                "verification_algorithm": ["APTED"],
                "((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
            }
        },
        {
            "table_name": "guha_join", 
            "attributes": [
                {
                    "attr_name": "avg(l_t_candidates - u_t_result_pairs)"
                }
            ],
            "name": "$\\mathtt{Guha}$",
            "constraints": {
                "reference_set_size": [8],
                "verification_algorithm": ["APTED"]
            }
        },
        {
            "table_name": "t_join", 
            "attributes": [
                {
Thomas Huetter's avatar
Thomas Huetter committed
84
                    "attr_name": "avg(upperbound_pruned)"
85
86
                }
            ],
Thomas Huetter's avatar
Thomas Huetter committed
87
            "name": "$\\mathtt{LGM}$",
88
89
            "constraints": {
                "verification_algorithm": ["Touzet"],
Thomas Huetter's avatar
Thomas Huetter committed
90
91
                "upperbound": ["greedy"],
                "((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
92
93
94
95
96
97
98
99
100
            }
        },
        {
            "table_name": "t_join", 
            "attributes": [
                {
                    "attr_name": "avg(join_result_size)"
                }
            ],
Thomas Huetter's avatar
Thomas Huetter committed
101
102
103
104
            "name": "$\\mathtt{Result}$",
            "constraints": {
                "((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
            }
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
        }
    ],
    "constraints": {
        "dataset_filename": ["dblp_no_www_sorted.bracket"]
    },
    "x_axis": {
        "db_column": "threshold",
        "name": "Threshold",
        "xticks": 1,
        "xmin": 1,
        "xmax": 8.001, 
        "font_size": 20, 
        "ticks_font_size": 20
    },
    "y_axis": {
        "name": "Candidates (Tree Pairs)",
        "scale": "log",
        "font_size": 20, 
Thomas Huetter's avatar
Thomas Huetter committed
123
        "ticks_font_size": 20
124
125
    }
}