Module Rdf.Sparql_algebraSource

Sourcetype error =
  1. | Variable_already_defined of Sparql_types.var
  2. | Unknown_prefix of Sparql_types.pname_ns
Sourceexception Error of error
Sourceval error : error -> 'a
Sourceval string_of_error : error -> string
Sourcetype query = {
  1. query_proj : Sparql_types.select_clause option;
  2. query_where : Sparql_types.group_graph_pattern;
  3. query_modifier : Sparql_types.solution_modifier;
  4. query_values : Sparql_types.values_clause;
}
Sourceexception Implicit_aggregate_found
Sourcetype path =
  1. | Var of Sparql_types.var
  2. | Iri of Sparql_types.iriloc
  3. | Inv of path
  4. | Alt of path * path
  5. | Seq of path * path
  6. | ZeroOrMore of path
  7. | OneOrMore of path
  8. | ZeroOrOne of path
  9. | NPS of Sparql_types.iriloc list
Sourcetype algebra =
  1. | BGP of triple list
  2. | Join of algebra * algebra
  3. | LeftJoin of algebra * algebra * filter list
  4. | Filter of algebra * filter list
  5. | Union of algebra * algebra
  6. | Graph of Sparql_types.var_or_iri * algebra
  7. | Extend of algebra * Sparql_types.var * Sparql_types.expression
  8. | Minus of algebra * algebra
  9. | ToMultiset of algebra
  10. | DataToMultiset of Sparql_types.datablock
  11. | Group of Sparql_types.group_condition list * algebra
  12. | Aggregation of Sparql_types.aggregate
  13. | AggregateJoin of algebra * algebra list
  14. | Project of algebra * VS.t
  15. | Distinct of algebra
  16. | Reduced of algebra
  17. | Slice of algebra * int option * int option
  18. | OrderBy of algebra * Sparql_types.order_condition list
Sourceval visible_vars : query -> VS.t
Sourceval fresh_var : unit -> Sparql_types.var
Sourceval path_iri_first : path
Sourceval path_iri_rest : path
Sourceval iri_nil : T.iri
Sourceval path_iri_type : path
Sourceval translate_path : Sparql_types.path -> path
Sourceval translate_path_sequence : Sparql_types.path_sequence -> path
Sourceval translate_path_elt_or_inverse : T.path_elt_or_inverse -> path
Sourceval translate_path_elt : T.path_elt -> path
Sourceval translate_path_primary : Sparql_types.path_primary -> path
Sourceval partition_path_one_in_prop_set : Sparql_types.path_one_in_prop_set list -> Sparql_types.iriloc list * Sparql_types.iriloc list
Sourceval translate_property_path_pattern : (T.var_or_term * path * T.var_or_term) list -> (T.var_or_term * path * T.var_or_term) -> (T.var_or_term * path * T.var_or_term) list
Sourceval translate_property_path_patterns : triple list -> (T.var_or_term * path * T.var_or_term) list
Sourceval build_triples_path : T.var_or_term -> triple list -> T.prop_object_list -> triple list
Sourceval build_triples_prop_graph_node : T.var_or_term -> path -> triple list -> Sparql_types.object_ -> triple list
Sourceval build_triples_path_collection : triple list -> T.var_or_term -> Sparql_types.object_ list -> triple list
Sourceval translate_triples_same_subject_path : triple list -> T.triples_same_subject -> (T.var_or_term * path * T.var_or_term) list
Sourceval translate_ggp : T.group_graph_pattern -> algebra
Sourceval translate_subselect : Sparql_types.sub_select -> algebra
Sourceval translate_ggp_sub : Sparql_types.ggp_sub -> algebra
Sourceval translate_triples_block : T.triples_block -> algebra
Sourceval translate_union : T.group_graph_pattern list -> algebra
Sourceval translate_service : T.service_graph_pattern -> algebra
Sourceval translate_inline_data : T.datablock -> algebra
Sourceval has_implicit_grouping : query -> bool
Sourceval aggregation_step : query -> algebra -> algebra * (Sparql_types.var * Sparql_types.expression) list * query
Sourceval translate_query_level : query -> algebra
Sourceval p : Buffer.t -> string -> unit
Sourceval string_of_var : Sparql_types.var -> string
Sourceval string_of_var_or_term : Sparql_types.var_or_term -> string
Sourceval string_of_path : path -> string
Sourceval string_of_triple : (Sparql_types.var_or_term * path * Sparql_types.var_or_term) -> string
Sourceval print_triple : string -> Buffer.t -> (Sparql_types.var_or_term * path * Sparql_types.var_or_term) -> unit
Sourceval print_triples : string -> Buffer.t -> (Sparql_types.var_or_term * path * Sparql_types.var_or_term) list -> unit
Sourceval print_expr : Buffer.t -> Sparql_types.expression -> unit
Sourceval print_group_condition : Buffer.t -> Sparql_types.group_condition -> unit
Sourceval print_order_cond : Buffer.t -> Sparql_types.order_condition -> unit
Sourceval print_order_conds : Buffer.t -> Sparql_types.order_condition list -> unit
Sourceval print : string -> Buffer.t -> algebra -> unit
Sourceval string_of_algebra : algebra -> string