int
main(int argc, char *argv[])
{
const char *program = rasqal_basename(argv[0]);
rasqal_rowsource *rowsource = NULL;
rasqal_rowsource *left_rs = NULL;
rasqal_rowsource *right_rs = NULL;
rasqal_world* world = NULL;
rasqal_query* query = NULL;
raptor_sequence* seq = NULL;
int failures = 0;
int vars_count;
rasqal_variables_table* vt;
raptor_sequence* vars_seq = NULL;
rasqal_row_compatible* rc_map = NULL;
int i;
world = rasqal_new_world(); rasqal_world_open(world);
query = rasqal_new_query(world, "sparql", NULL);
vt = query->vars_table;
/* 3 variables and 4 rows */
vars_count = 3;
seq = rasqal_new_row_sequence(world, vt, compatible_data_abc_rows, vars_count,
&vars_seq);
if(!seq) {
fprintf(stderr,
"%s: failed to create left sequence of %d vars\n", program,
vars_count);
failures++;
goto tidy;
}
left_rs = rasqal_new_rowsequence_rowsource(world, query, vt, seq, vars_seq);
if(!left_rs) {
fprintf(stderr, "%s: failed to create left rowsource\n", program);
failures++;
goto tidy;
}
/* vars_seq and seq are now owned by left_rs */
vars_seq = seq = NULL;
/* 3 variables and 4 rows */
vars_count = 3;
seq = rasqal_new_row_sequence(world, vt, compatible_data_abcd_rows,
vars_count, &vars_seq);
if(!seq) {
fprintf(stderr,
"%s: failed to create right sequence of %d rows\n", program,
vars_count);
failures++;
goto tidy;
}
right_rs = rasqal_new_rowsequence_rowsource(world, query, vt, seq, vars_seq);
if(!right_rs) {
fprintf(stderr, "%s: failed to create right rowsource\n", program);
failures++;
goto tidy;
}
/* vars_seq and seq are now owned by right_rs */
vars_seq = seq = NULL;
rc_map = rasqal_new_row_compatible(vt, left_rs, right_rs);
if(!rc_map) {
fprintf(stderr, "%s: failed to create row compatible\n", program);
failures++;
goto tidy;
}
rasqal_print_row_compatible(stderr, rc_map);
#ifdef RASQAL_DEBUG
fputs("\n", stderr);
#endif
for(i = 0; i < EXPECTED_ROWS_COUNT; i++) {
rasqal_row *left_row = rasqal_rowsource_read_row(left_rs);
rasqal_row *right_row = rasqal_rowsource_read_row(right_rs);
int expected = expected_compatible_results[i];
int compatible;
if(!left_row) {
fprintf(stderr, "%s: FAILED left rowsource ended early at row #%d\n", program, i);
failures++;
goto tidy;
}
if(!right_row) {
fprintf(stderr, "%s: FAILED right rowsource ended early at row #%d\n", program, i);
failures++;
goto tidy;
}
compatible = rasqal_row_compatible_check(rc_map, left_row, right_row);
RASQAL_DEBUG4("%s: compatible check for row #%d returned %d\n",
program, i, compatible);
if(compatible != expected) {
fprintf(stderr,
"%s: FAILED compatible check for row #%d returned %d expected %d\n",
program, i, compatible, expected);
failures++;
}
#ifdef RASQAL_DEBUG
fputs("\n", stderr);
#endif
if(left_row)
rasqal_free_row(left_row);
if(right_row)
rasqal_free_row(right_row);
}
tidy:
if(rc_map)
rasqal_free_row_compatible(rc_map);
if(seq)
raptor_free_sequence(seq);
if(left_rs)
rasqal_free_rowsource(left_rs);
if(right_rs)
rasqal_free_rowsource(right_rs);
if(rowsource)
rasqal_free_rowsource(rowsource);
if(query)
rasqal_free_query(query);
if(world)
rasqal_free_world(world);
return failures;
}
static rasqal_row*
rasqal_join_rowsource_read_row(rasqal_rowsource* rowsource, void *user_data)
{
rasqal_join_rowsource_context* con;
rasqal_row* row = NULL;
rasqal_query *query = rowsource->query;
con = (rasqal_join_rowsource_context*)user_data;
if(con->failed || con->state == JS_FINISHED)
return NULL;
while(1) {
rasqal_row *right_row;
int bresult = 1;
int compatible = 1;
if(con->state == JS_START) {
/* start / re-start left */
if(con->left_row)
rasqal_free_row(con->left_row);
con->left_row = rasqal_rowsource_read_row(con->left);
#ifdef RASQAL_DEBUG
RASQAL_DEBUG2("rowsource %p read left row : ", rowsource);
if(con->left_row)
rasqal_row_print(con->left_row, stderr);
else
fputs("NONE", stderr);
fputs("\n", stderr);
#endif
con->state = JS_INIT_RIGHT;
}
if(con->state == JS_INIT_RIGHT) {
/* start right */
if(!con->left_row) {
con->state = JS_FINISHED;
return NULL;
}
con->right_rows_joined_count = 0;
rasqal_rowsource_reset(con->right);
}
right_row = rasqal_rowsource_read_row(con->right);
#ifdef RASQAL_DEBUG
RASQAL_DEBUG2("rowsource %p read right row : ", rowsource);
if(right_row)
rasqal_row_print(right_row, stderr);
else
fputs("NONE", stderr);
fputs("\n", stderr);
#endif
if(!right_row && con->state == JS_READ_RIGHT) {
/* right has finished */
/* restart left */
con->state = JS_START;
/* if all right table returned no bindings, return left row */
if(!con->right_rows_joined_count) {
/* otherwise return LEFT or RIGHT row only */
if(con->join_type == RASQAL_JOIN_TYPE_LEFT) {
/* LEFT JOIN - add left row if expr fails or not compatible */
if(con->left_row) {
con->right_rows_joined_count++;
row = rasqal_join_rowsource_build_merged_row(rowsource, con, NULL);
break;
}
}
}
/* restart left by continuing the loop */
continue;
}
/* state is always JS_READ_RIGHT at this point */
con->state = JS_READ_RIGHT;
/* now may have both left and right rows so compute compatibility */
if(right_row) {
compatible = rasqal_row_compatible_check(con->rc_map,
con->left_row, right_row);
RASQAL_DEBUG2("join rows compatible: %s\n", compatible ? "YES" : "NO");
}
if(con->constant_join_condition >= 0) {
/* Get constant join expression value */
bresult = con->constant_join_condition;
} else if(con->expr) {
/* Check join expression if present */
rasqal_literal *result;
int error = 0;
result = rasqal_expression_evaluate2(con->expr, query->eval_context,
&error);
#ifdef RASQAL_DEBUG
RASQAL_DEBUG1("join expression result: ");
if(error)
fputs("type error", DEBUG_FH);
else
rasqal_literal_print(result, DEBUG_FH);
fputc('\n', DEBUG_FH);
#endif
if(error) {
bresult = 0;
} else {
error = 0;
bresult = rasqal_literal_as_boolean(result, &error);
#ifdef RASQAL_DEBUG
if(error)
RASQAL_DEBUG1("filter boolean expression returned error\n");
else
RASQAL_DEBUG2("filter boolean expression result: %d\n", bresult);
#endif
rasqal_free_literal(result);
}
}
if(con->join_type == RASQAL_JOIN_TYPE_NATURAL) {
/* found a row if compatible and constraint matches */
if(compatible && bresult && right_row) {
con->right_rows_joined_count++;
/* consumes right_row */
row = rasqal_join_rowsource_build_merged_row(rowsource, con, right_row);
break;
}
} else if(con->join_type == RASQAL_JOIN_TYPE_LEFT) {
/*
* { merge(mu1, mu2) | mu1 in Omega1 and mu2 in Omega2, and mu1
* and mu2 are compatible and expr(merge(mu1, mu2)) is true }
*/
if(compatible && bresult) {
con->right_rows_joined_count++;
/* No constraint OR constraint & compatible so return merged row */
/* Compute row only now it is known to be needed (consumes right_row) */
row = rasqal_join_rowsource_build_merged_row(rowsource, con, right_row);
break;
}
#if 0
/*
* { mu1 | mu1 in Omega1 and mu2 in Omega2, and mu1 and mu2 are
* not compatible }
*/
if(!compatible) {
/* otherwise return LEFT or RIGHT row only */
if(con->join_type == RASQAL_JOIN_TYPE_LEFT) {
/* LEFT JOIN - add left row if expr fails or not compatible */
if(con->left_row) {
con->right_rows_joined_count++;
row = rasqal_join_rowsource_build_merged_row(rowsource, con, NULL);
if(right_row)
rasqal_free_row(right_row);
break;
}
}
}
#endif
/*
* { mu1 | mu1 in Omega1 and mu2 in Omega2, and mu1 and mu2 are
* compatible and for all mu2, expr(merge(mu1, mu2)) is false }
*/
/* The above is handled using check for
* !con->right_rows_joined_count earlier, to generate a row
* once.
*/
} /* end if LEFT JOIN */
if(right_row)
rasqal_free_row(right_row);
} /* end while */
if(row) {
rasqal_row_set_rowsource(row, rowsource);
row->offset = con->offset++;
rasqal_row_bind_variables(row, rowsource->query->vars_table);
}
return row;
}
