relationalai 0.13.0.dev0__py3-none-any.whl → 0.13.1__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (837) hide show
  1. frontend/debugger/dist/.gitignore +2 -0
  2. frontend/debugger/dist/assets/favicon-Dy0ZgA6N.png +0 -0
  3. frontend/debugger/dist/assets/index-Cssla-O7.js +208 -0
  4. frontend/debugger/dist/assets/index-DlHsYx1V.css +9 -0
  5. frontend/debugger/dist/index.html +17 -0
  6. relationalai/__init__.py +256 -1
  7. relationalai/clients/__init__.py +18 -0
  8. relationalai/clients/client.py +912 -0
  9. relationalai/clients/config.py +673 -0
  10. relationalai/clients/direct_access_client.py +118 -0
  11. relationalai/clients/exec_txn_poller.py +91 -0
  12. relationalai/clients/hash_util.py +31 -0
  13. relationalai/clients/local.py +571 -0
  14. relationalai/clients/profile_polling.py +73 -0
  15. relationalai/clients/resources/__init__.py +8 -0
  16. relationalai/clients/resources/azure/azure.py +477 -0
  17. relationalai/clients/resources/snowflake/__init__.py +20 -0
  18. relationalai/clients/resources/snowflake/cli_resources.py +87 -0
  19. relationalai/clients/resources/snowflake/direct_access_resources.py +694 -0
  20. relationalai/clients/resources/snowflake/engine_state_handlers.py +309 -0
  21. relationalai/clients/resources/snowflake/error_handlers.py +199 -0
  22. relationalai/clients/resources/snowflake/export_procedure.py.jinja +249 -0
  23. relationalai/clients/resources/snowflake/resources_factory.py +99 -0
  24. relationalai/clients/resources/snowflake/snowflake.py +3190 -0
  25. relationalai/clients/resources/snowflake/use_index_poller.py +1019 -0
  26. relationalai/clients/resources/snowflake/use_index_resources.py +188 -0
  27. relationalai/clients/resources/snowflake/util.py +387 -0
  28. relationalai/clients/result_helpers.py +420 -0
  29. relationalai/clients/types.py +113 -0
  30. relationalai/clients/util.py +356 -0
  31. relationalai/debugging.py +389 -0
  32. relationalai/dsl.py +1749 -0
  33. relationalai/early_access/builder/__init__.py +30 -0
  34. relationalai/early_access/builder/builder/__init__.py +35 -0
  35. relationalai/early_access/builder/snowflake/__init__.py +12 -0
  36. relationalai/early_access/builder/std/__init__.py +25 -0
  37. relationalai/early_access/builder/std/decimals/__init__.py +12 -0
  38. relationalai/early_access/builder/std/integers/__init__.py +12 -0
  39. relationalai/early_access/builder/std/math/__init__.py +12 -0
  40. relationalai/early_access/builder/std/strings/__init__.py +14 -0
  41. relationalai/early_access/devtools/__init__.py +12 -0
  42. relationalai/early_access/devtools/benchmark_lqp/__init__.py +12 -0
  43. relationalai/early_access/devtools/extract_lqp/__init__.py +12 -0
  44. relationalai/early_access/dsl/adapters/orm/adapter_qb.py +427 -0
  45. relationalai/early_access/dsl/adapters/orm/parser.py +636 -0
  46. relationalai/early_access/dsl/adapters/owl/adapter.py +176 -0
  47. relationalai/early_access/dsl/adapters/owl/parser.py +160 -0
  48. relationalai/early_access/dsl/bindings/common.py +402 -0
  49. relationalai/early_access/dsl/bindings/csv.py +170 -0
  50. relationalai/early_access/dsl/bindings/legacy/binding_models.py +143 -0
  51. relationalai/early_access/dsl/bindings/snowflake.py +64 -0
  52. relationalai/early_access/dsl/codegen/binder.py +411 -0
  53. relationalai/early_access/dsl/codegen/common.py +79 -0
  54. relationalai/early_access/dsl/codegen/helpers.py +23 -0
  55. relationalai/early_access/dsl/codegen/relations.py +700 -0
  56. relationalai/early_access/dsl/codegen/weaver.py +417 -0
  57. relationalai/early_access/dsl/core/builders/__init__.py +47 -0
  58. relationalai/early_access/dsl/core/builders/logic.py +19 -0
  59. relationalai/early_access/dsl/core/builders/scalar_constraint.py +11 -0
  60. relationalai/early_access/dsl/core/constraints/predicate/atomic.py +455 -0
  61. relationalai/early_access/dsl/core/constraints/predicate/universal.py +73 -0
  62. relationalai/early_access/dsl/core/constraints/scalar.py +310 -0
  63. relationalai/early_access/dsl/core/context.py +13 -0
  64. relationalai/early_access/dsl/core/cset.py +132 -0
  65. relationalai/early_access/dsl/core/exprs/__init__.py +116 -0
  66. relationalai/early_access/dsl/core/exprs/relational.py +18 -0
  67. relationalai/early_access/dsl/core/exprs/scalar.py +412 -0
  68. relationalai/early_access/dsl/core/instances.py +44 -0
  69. relationalai/early_access/dsl/core/logic/__init__.py +193 -0
  70. relationalai/early_access/dsl/core/logic/aggregation.py +98 -0
  71. relationalai/early_access/dsl/core/logic/exists.py +223 -0
  72. relationalai/early_access/dsl/core/logic/helper.py +163 -0
  73. relationalai/early_access/dsl/core/namespaces.py +32 -0
  74. relationalai/early_access/dsl/core/relations.py +276 -0
  75. relationalai/early_access/dsl/core/rules.py +112 -0
  76. relationalai/early_access/dsl/core/std/__init__.py +45 -0
  77. relationalai/early_access/dsl/core/temporal/recall.py +6 -0
  78. relationalai/early_access/dsl/core/types/__init__.py +270 -0
  79. relationalai/early_access/dsl/core/types/concepts.py +128 -0
  80. relationalai/early_access/dsl/core/types/constrained/__init__.py +267 -0
  81. relationalai/early_access/dsl/core/types/constrained/nominal.py +143 -0
  82. relationalai/early_access/dsl/core/types/constrained/subtype.py +124 -0
  83. relationalai/early_access/dsl/core/types/standard.py +92 -0
  84. relationalai/early_access/dsl/core/types/unconstrained.py +50 -0
  85. relationalai/early_access/dsl/core/types/variables.py +203 -0
  86. relationalai/early_access/dsl/ir/compiler.py +318 -0
  87. relationalai/early_access/dsl/ir/executor.py +260 -0
  88. relationalai/early_access/dsl/ontologies/constraints.py +88 -0
  89. relationalai/early_access/dsl/ontologies/export.py +30 -0
  90. relationalai/early_access/dsl/ontologies/models.py +453 -0
  91. relationalai/early_access/dsl/ontologies/python_printer.py +303 -0
  92. relationalai/early_access/dsl/ontologies/readings.py +60 -0
  93. relationalai/early_access/dsl/ontologies/relationships.py +322 -0
  94. relationalai/early_access/dsl/ontologies/roles.py +87 -0
  95. relationalai/early_access/dsl/ontologies/subtyping.py +55 -0
  96. relationalai/early_access/dsl/orm/constraints.py +438 -0
  97. relationalai/early_access/dsl/orm/measures/dimensions.py +200 -0
  98. relationalai/early_access/dsl/orm/measures/initializer.py +16 -0
  99. relationalai/early_access/dsl/orm/measures/measure_rules.py +275 -0
  100. relationalai/early_access/dsl/orm/measures/measures.py +299 -0
  101. relationalai/early_access/dsl/orm/measures/role_exprs.py +268 -0
  102. relationalai/early_access/dsl/orm/models.py +256 -0
  103. relationalai/early_access/dsl/orm/object_oriented_printer.py +344 -0
  104. relationalai/early_access/dsl/orm/printer.py +469 -0
  105. relationalai/early_access/dsl/orm/reasoners.py +480 -0
  106. relationalai/early_access/dsl/orm/relations.py +19 -0
  107. relationalai/early_access/dsl/orm/relationships.py +251 -0
  108. relationalai/early_access/dsl/orm/types.py +42 -0
  109. relationalai/early_access/dsl/orm/utils.py +79 -0
  110. relationalai/early_access/dsl/orm/verb.py +204 -0
  111. relationalai/early_access/dsl/physical_metadata/tables.py +133 -0
  112. relationalai/early_access/dsl/relations.py +170 -0
  113. relationalai/early_access/dsl/rulesets.py +69 -0
  114. relationalai/early_access/dsl/schemas/__init__.py +450 -0
  115. relationalai/early_access/dsl/schemas/builder.py +48 -0
  116. relationalai/early_access/dsl/schemas/comp_names.py +51 -0
  117. relationalai/early_access/dsl/schemas/components.py +203 -0
  118. relationalai/early_access/dsl/schemas/contexts.py +156 -0
  119. relationalai/early_access/dsl/schemas/exprs.py +89 -0
  120. relationalai/early_access/dsl/schemas/fragments.py +464 -0
  121. relationalai/early_access/dsl/serialization.py +79 -0
  122. relationalai/early_access/dsl/serialize/exporter.py +163 -0
  123. relationalai/early_access/dsl/snow/api.py +105 -0
  124. relationalai/early_access/dsl/snow/common.py +76 -0
  125. relationalai/early_access/dsl/state_mgmt/__init__.py +129 -0
  126. relationalai/early_access/dsl/state_mgmt/state_charts.py +125 -0
  127. relationalai/early_access/dsl/state_mgmt/transitions.py +130 -0
  128. relationalai/early_access/dsl/types/__init__.py +40 -0
  129. relationalai/early_access/dsl/types/concepts.py +12 -0
  130. relationalai/early_access/dsl/types/entities.py +135 -0
  131. relationalai/early_access/dsl/types/values.py +17 -0
  132. relationalai/early_access/dsl/utils.py +102 -0
  133. relationalai/early_access/graphs/__init__.py +13 -0
  134. relationalai/early_access/lqp/__init__.py +12 -0
  135. relationalai/early_access/lqp/compiler/__init__.py +12 -0
  136. relationalai/early_access/lqp/constructors/__init__.py +18 -0
  137. relationalai/early_access/lqp/executor/__init__.py +12 -0
  138. relationalai/early_access/lqp/ir/__init__.py +12 -0
  139. relationalai/early_access/lqp/passes/__init__.py +12 -0
  140. relationalai/early_access/lqp/pragmas/__init__.py +12 -0
  141. relationalai/early_access/lqp/primitives/__init__.py +12 -0
  142. relationalai/early_access/lqp/types/__init__.py +12 -0
  143. relationalai/early_access/lqp/utils/__init__.py +12 -0
  144. relationalai/early_access/lqp/validators/__init__.py +12 -0
  145. relationalai/early_access/metamodel/__init__.py +58 -0
  146. relationalai/early_access/metamodel/builtins/__init__.py +12 -0
  147. relationalai/early_access/metamodel/compiler/__init__.py +12 -0
  148. relationalai/early_access/metamodel/dependency/__init__.py +12 -0
  149. relationalai/early_access/metamodel/factory/__init__.py +17 -0
  150. relationalai/early_access/metamodel/helpers/__init__.py +12 -0
  151. relationalai/early_access/metamodel/ir/__init__.py +14 -0
  152. relationalai/early_access/metamodel/rewrite/__init__.py +7 -0
  153. relationalai/early_access/metamodel/typer/__init__.py +3 -0
  154. relationalai/early_access/metamodel/typer/typer/__init__.py +12 -0
  155. relationalai/early_access/metamodel/types/__init__.py +15 -0
  156. relationalai/early_access/metamodel/util/__init__.py +15 -0
  157. relationalai/early_access/metamodel/visitor/__init__.py +12 -0
  158. relationalai/early_access/rel/__init__.py +12 -0
  159. relationalai/early_access/rel/executor/__init__.py +12 -0
  160. relationalai/early_access/rel/rel_utils/__init__.py +12 -0
  161. relationalai/early_access/rel/rewrite/__init__.py +7 -0
  162. relationalai/early_access/solvers/__init__.py +19 -0
  163. relationalai/early_access/sql/__init__.py +11 -0
  164. relationalai/early_access/sql/executor/__init__.py +3 -0
  165. relationalai/early_access/sql/rewrite/__init__.py +3 -0
  166. relationalai/early_access/tests/logging/__init__.py +12 -0
  167. relationalai/early_access/tests/test_snapshot_base/__init__.py +12 -0
  168. relationalai/early_access/tests/utils/__init__.py +12 -0
  169. relationalai/environments/__init__.py +35 -0
  170. relationalai/environments/base.py +381 -0
  171. relationalai/environments/colab.py +14 -0
  172. relationalai/environments/generic.py +71 -0
  173. relationalai/environments/ipython.py +68 -0
  174. relationalai/environments/jupyter.py +9 -0
  175. relationalai/environments/snowbook.py +169 -0
  176. relationalai/errors.py +2496 -0
  177. relationalai/experimental/SF.py +38 -0
  178. relationalai/experimental/inspect.py +47 -0
  179. relationalai/experimental/pathfinder/__init__.py +158 -0
  180. relationalai/experimental/pathfinder/api.py +160 -0
  181. relationalai/experimental/pathfinder/automaton.py +584 -0
  182. relationalai/experimental/pathfinder/bridge.py +226 -0
  183. relationalai/experimental/pathfinder/compiler.py +416 -0
  184. relationalai/experimental/pathfinder/datalog.py +214 -0
  185. relationalai/experimental/pathfinder/diagnostics.py +56 -0
  186. relationalai/experimental/pathfinder/filter.py +236 -0
  187. relationalai/experimental/pathfinder/glushkov.py +439 -0
  188. relationalai/experimental/pathfinder/options.py +265 -0
  189. relationalai/experimental/pathfinder/pathfinder-v0.7.0.rel +1951 -0
  190. relationalai/experimental/pathfinder/rpq.py +344 -0
  191. relationalai/experimental/pathfinder/transition.py +200 -0
  192. relationalai/experimental/pathfinder/utils.py +26 -0
  193. relationalai/experimental/paths/README.md +107 -0
  194. relationalai/experimental/paths/api.py +143 -0
  195. relationalai/experimental/paths/benchmarks/grid_graph.py +37 -0
  196. relationalai/experimental/paths/code_organization.md +2 -0
  197. relationalai/experimental/paths/examples/Movies.ipynb +16328 -0
  198. relationalai/experimental/paths/examples/basic_example.py +40 -0
  199. relationalai/experimental/paths/examples/minimal_engine_warmup.py +3 -0
  200. relationalai/experimental/paths/examples/movie_example.py +77 -0
  201. relationalai/experimental/paths/examples/movies_data/actedin.csv +193 -0
  202. relationalai/experimental/paths/examples/movies_data/directed.csv +45 -0
  203. relationalai/experimental/paths/examples/movies_data/follows.csv +7 -0
  204. relationalai/experimental/paths/examples/movies_data/movies.csv +39 -0
  205. relationalai/experimental/paths/examples/movies_data/person.csv +134 -0
  206. relationalai/experimental/paths/examples/movies_data/produced.csv +16 -0
  207. relationalai/experimental/paths/examples/movies_data/ratings.csv +10 -0
  208. relationalai/experimental/paths/examples/movies_data/wrote.csv +11 -0
  209. relationalai/experimental/paths/examples/paths_benchmark.py +115 -0
  210. relationalai/experimental/paths/examples/paths_example.py +116 -0
  211. relationalai/experimental/paths/examples/pattern_to_automaton.py +28 -0
  212. relationalai/experimental/paths/find_paths_via_automaton.py +85 -0
  213. relationalai/experimental/paths/graph.py +185 -0
  214. relationalai/experimental/paths/path_algorithms/find_paths.py +280 -0
  215. relationalai/experimental/paths/path_algorithms/one_sided_ball_repetition.py +26 -0
  216. relationalai/experimental/paths/path_algorithms/one_sided_ball_upto.py +111 -0
  217. relationalai/experimental/paths/path_algorithms/single.py +59 -0
  218. relationalai/experimental/paths/path_algorithms/two_sided_balls_repetition.py +39 -0
  219. relationalai/experimental/paths/path_algorithms/two_sided_balls_upto.py +103 -0
  220. relationalai/experimental/paths/path_algorithms/usp-old.py +130 -0
  221. relationalai/experimental/paths/path_algorithms/usp-tuple.py +183 -0
  222. relationalai/experimental/paths/path_algorithms/usp.py +150 -0
  223. relationalai/experimental/paths/product_graph.py +93 -0
  224. relationalai/experimental/paths/rpq/automaton.py +584 -0
  225. relationalai/experimental/paths/rpq/diagnostics.py +56 -0
  226. relationalai/experimental/paths/rpq/rpq.py +378 -0
  227. relationalai/experimental/paths/tests/tests_limit_sp_max_length.py +90 -0
  228. relationalai/experimental/paths/tests/tests_limit_sp_multiple.py +119 -0
  229. relationalai/experimental/paths/tests/tests_limit_sp_single.py +104 -0
  230. relationalai/experimental/paths/tests/tests_limit_walks_multiple.py +113 -0
  231. relationalai/experimental/paths/tests/tests_limit_walks_single.py +149 -0
  232. relationalai/experimental/paths/tests/tests_one_sided_ball_repetition_multiple.py +70 -0
  233. relationalai/experimental/paths/tests/tests_one_sided_ball_repetition_single.py +64 -0
  234. relationalai/experimental/paths/tests/tests_one_sided_ball_upto_multiple.py +115 -0
  235. relationalai/experimental/paths/tests/tests_one_sided_ball_upto_single.py +75 -0
  236. relationalai/experimental/paths/tests/tests_single_paths.py +152 -0
  237. relationalai/experimental/paths/tests/tests_single_walks.py +208 -0
  238. relationalai/experimental/paths/tests/tests_single_walks_undirected.py +297 -0
  239. relationalai/experimental/paths/tests/tests_two_sided_balls_repetition_multiple.py +107 -0
  240. relationalai/experimental/paths/tests/tests_two_sided_balls_repetition_single.py +76 -0
  241. relationalai/experimental/paths/tests/tests_two_sided_balls_upto_multiple.py +76 -0
  242. relationalai/experimental/paths/tests/tests_two_sided_balls_upto_single.py +110 -0
  243. relationalai/experimental/paths/tests/tests_usp_nsp_multiple.py +229 -0
  244. relationalai/experimental/paths/tests/tests_usp_nsp_single.py +108 -0
  245. relationalai/experimental/paths/tree_agg.py +168 -0
  246. relationalai/experimental/paths/utilities/iterators.py +27 -0
  247. relationalai/experimental/paths/utilities/prefix_sum.py +91 -0
  248. relationalai/experimental/solvers.py +1087 -0
  249. relationalai/loaders/csv.py +195 -0
  250. relationalai/loaders/loader.py +177 -0
  251. relationalai/loaders/types.py +23 -0
  252. relationalai/rel_emitter.py +373 -0
  253. relationalai/rel_utils.py +185 -0
  254. relationalai/semantics/__init__.py +22 -146
  255. relationalai/semantics/designs/query_builder/identify_by.md +106 -0
  256. relationalai/semantics/devtools/benchmark_lqp.py +535 -0
  257. relationalai/semantics/devtools/compilation_manager.py +294 -0
  258. relationalai/semantics/devtools/extract_lqp.py +110 -0
  259. relationalai/semantics/internal/internal.py +3785 -0
  260. relationalai/semantics/internal/snowflake.py +325 -0
  261. relationalai/semantics/lqp/README.md +34 -0
  262. relationalai/semantics/lqp/builtins.py +16 -0
  263. relationalai/semantics/lqp/compiler.py +22 -0
  264. relationalai/semantics/lqp/constructors.py +68 -0
  265. relationalai/semantics/lqp/executor.py +469 -0
  266. relationalai/semantics/lqp/intrinsics.py +24 -0
  267. relationalai/semantics/lqp/model2lqp.py +877 -0
  268. relationalai/semantics/lqp/passes.py +680 -0
  269. relationalai/semantics/lqp/primitives.py +252 -0
  270. relationalai/semantics/lqp/result_helpers.py +202 -0
  271. relationalai/semantics/lqp/rewrite/annotate_constraints.py +57 -0
  272. relationalai/semantics/lqp/rewrite/cdc.py +216 -0
  273. relationalai/semantics/lqp/rewrite/extract_common.py +338 -0
  274. relationalai/semantics/lqp/rewrite/extract_keys.py +512 -0
  275. relationalai/semantics/lqp/rewrite/function_annotations.py +114 -0
  276. relationalai/semantics/lqp/rewrite/functional_dependencies.py +314 -0
  277. relationalai/semantics/lqp/rewrite/quantify_vars.py +296 -0
  278. relationalai/semantics/lqp/rewrite/splinter.py +76 -0
  279. relationalai/semantics/lqp/types.py +101 -0
  280. relationalai/semantics/lqp/utils.py +160 -0
  281. relationalai/semantics/lqp/validators.py +57 -0
  282. relationalai/semantics/metamodel/__init__.py +40 -6
  283. relationalai/semantics/metamodel/builtins.py +771 -205
  284. relationalai/semantics/metamodel/compiler.py +133 -0
  285. relationalai/semantics/metamodel/dependency.py +862 -0
  286. relationalai/semantics/metamodel/executor.py +61 -0
  287. relationalai/semantics/metamodel/factory.py +287 -0
  288. relationalai/semantics/metamodel/helpers.py +361 -0
  289. relationalai/semantics/metamodel/rewrite/discharge_constraints.py +39 -0
  290. relationalai/semantics/metamodel/rewrite/dnf_union_splitter.py +210 -0
  291. relationalai/semantics/metamodel/rewrite/extract_nested_logicals.py +78 -0
  292. relationalai/semantics/metamodel/rewrite/flatten.py +554 -0
  293. relationalai/semantics/metamodel/rewrite/format_outputs.py +165 -0
  294. relationalai/semantics/metamodel/typer/checker.py +353 -0
  295. relationalai/semantics/metamodel/typer/typer.py +1395 -0
  296. relationalai/semantics/metamodel/util.py +506 -0
  297. relationalai/semantics/reasoners/__init__.py +10 -0
  298. relationalai/semantics/reasoners/graph/README.md +620 -0
  299. relationalai/semantics/reasoners/graph/__init__.py +37 -0
  300. relationalai/semantics/reasoners/graph/core.py +9019 -0
  301. relationalai/semantics/reasoners/graph/design/beyond_demand_transform.md +797 -0
  302. relationalai/semantics/reasoners/graph/tests/README.md +21 -0
  303. relationalai/semantics/reasoners/optimization/__init__.py +68 -0
  304. relationalai/semantics/reasoners/optimization/common.py +88 -0
  305. relationalai/semantics/reasoners/optimization/solvers_dev.py +568 -0
  306. relationalai/semantics/reasoners/optimization/solvers_pb.py +1414 -0
  307. relationalai/semantics/rel/builtins.py +40 -0
  308. relationalai/semantics/rel/compiler.py +989 -0
  309. relationalai/semantics/rel/executor.py +362 -0
  310. relationalai/semantics/rel/rel.py +482 -0
  311. relationalai/semantics/rel/rel_utils.py +276 -0
  312. relationalai/semantics/snowflake/__init__.py +3 -0
  313. relationalai/semantics/sql/compiler.py +2503 -0
  314. relationalai/semantics/sql/executor/duck_db.py +52 -0
  315. relationalai/semantics/sql/executor/result_helpers.py +64 -0
  316. relationalai/semantics/sql/executor/snowflake.py +149 -0
  317. relationalai/semantics/sql/rewrite/denormalize.py +222 -0
  318. relationalai/semantics/sql/rewrite/double_negation.py +49 -0
  319. relationalai/semantics/sql/rewrite/recursive_union.py +127 -0
  320. relationalai/semantics/sql/rewrite/sort_output_query.py +246 -0
  321. relationalai/semantics/sql/sql.py +504 -0
  322. relationalai/semantics/std/__init__.py +40 -60
  323. relationalai/semantics/std/constraints.py +43 -37
  324. relationalai/semantics/std/datetime.py +135 -246
  325. relationalai/semantics/std/decimals.py +52 -45
  326. relationalai/semantics/std/floats.py +5 -13
  327. relationalai/semantics/std/integers.py +11 -26
  328. relationalai/semantics/std/math.py +112 -183
  329. relationalai/semantics/std/pragmas.py +11 -0
  330. relationalai/semantics/std/re.py +62 -80
  331. relationalai/semantics/std/std.py +14 -0
  332. relationalai/semantics/std/strings.py +60 -117
  333. relationalai/semantics/tests/test_snapshot_abstract.py +143 -0
  334. relationalai/semantics/tests/test_snapshot_base.py +9 -0
  335. relationalai/semantics/tests/utils.py +46 -0
  336. relationalai/std/__init__.py +70 -0
  337. relationalai/tools/cli.py +1936 -0
  338. relationalai/tools/cli_controls.py +1826 -0
  339. relationalai/tools/cli_helpers.py +398 -0
  340. relationalai/tools/debugger.py +183 -289
  341. relationalai/tools/debugger_client.py +109 -0
  342. relationalai/tools/debugger_server.py +302 -0
  343. relationalai/tools/dev.py +685 -0
  344. relationalai/tools/notes +7 -0
  345. relationalai/tools/qb_debugger.py +425 -0
  346. relationalai/util/clean_up_databases.py +95 -0
  347. relationalai/util/format.py +106 -48
  348. relationalai/util/list_databases.py +9 -0
  349. relationalai/util/otel_configuration.py +26 -0
  350. relationalai/util/otel_handler.py +484 -0
  351. relationalai/util/snowflake_handler.py +88 -0
  352. relationalai/util/span_format_test.py +43 -0
  353. relationalai/util/span_tracker.py +207 -0
  354. relationalai/util/spans_file_handler.py +72 -0
  355. relationalai/util/tracing_handler.py +34 -0
  356. relationalai-0.13.1.dist-info/METADATA +74 -0
  357. relationalai-0.13.1.dist-info/RECORD +459 -0
  358. relationalai-0.13.1.dist-info/WHEEL +4 -0
  359. relationalai-0.13.1.dist-info/entry_points.txt +3 -0
  360. relationalai-0.13.1.dist-info/licenses/LICENSE +202 -0
  361. relationalai_test_util/__init__.py +4 -0
  362. relationalai_test_util/fixtures.py +233 -0
  363. relationalai_test_util/snapshot.py +252 -0
  364. relationalai_test_util/traceback.py +118 -0
  365. relationalai/config/__init__.py +0 -56
  366. relationalai/config/config.py +0 -289
  367. relationalai/config/config_fields.py +0 -86
  368. relationalai/config/connections/__init__.py +0 -46
  369. relationalai/config/connections/base.py +0 -23
  370. relationalai/config/connections/duckdb.py +0 -29
  371. relationalai/config/connections/snowflake.py +0 -243
  372. relationalai/config/external/__init__.py +0 -17
  373. relationalai/config/external/dbt_converter.py +0 -101
  374. relationalai/config/external/dbt_models.py +0 -93
  375. relationalai/config/external/snowflake_converter.py +0 -41
  376. relationalai/config/external/snowflake_models.py +0 -85
  377. relationalai/config/external/utils.py +0 -19
  378. relationalai/semantics/backends/lqp/annotations.py +0 -11
  379. relationalai/semantics/backends/sql/sql_compiler.py +0 -327
  380. relationalai/semantics/frontend/base.py +0 -1707
  381. relationalai/semantics/frontend/core.py +0 -179
  382. relationalai/semantics/frontend/front_compiler.py +0 -1313
  383. relationalai/semantics/frontend/pprint.py +0 -408
  384. relationalai/semantics/metamodel/metamodel.py +0 -437
  385. relationalai/semantics/metamodel/metamodel_analyzer.py +0 -519
  386. relationalai/semantics/metamodel/metamodel_compiler.py +0 -0
  387. relationalai/semantics/metamodel/pprint.py +0 -412
  388. relationalai/semantics/metamodel/rewriter.py +0 -266
  389. relationalai/semantics/metamodel/typer.py +0 -1378
  390. relationalai/semantics/std/aggregates.py +0 -149
  391. relationalai/semantics/std/common.py +0 -44
  392. relationalai/semantics/std/numbers.py +0 -86
  393. relationalai/shims/executor.py +0 -147
  394. relationalai/shims/helpers.py +0 -126
  395. relationalai/shims/hoister.py +0 -221
  396. relationalai/shims/mm2v0.py +0 -1290
  397. relationalai/tools/cli/__init__.py +0 -6
  398. relationalai/tools/cli/cli.py +0 -90
  399. relationalai/tools/cli/components/__init__.py +0 -5
  400. relationalai/tools/cli/components/progress_reader.py +0 -1524
  401. relationalai/tools/cli/components/utils.py +0 -58
  402. relationalai/tools/cli/config_template.py +0 -45
  403. relationalai/tools/cli/dev.py +0 -19
  404. relationalai/tools/typer_debugger.py +0 -93
  405. relationalai/util/dataclasses.py +0 -43
  406. relationalai/util/docutils.py +0 -40
  407. relationalai/util/error.py +0 -199
  408. relationalai/util/naming.py +0 -145
  409. relationalai/util/python.py +0 -35
  410. relationalai/util/runtime.py +0 -156
  411. relationalai/util/schema.py +0 -197
  412. relationalai/util/source.py +0 -185
  413. relationalai/util/structures.py +0 -163
  414. relationalai/util/tracing.py +0 -261
  415. relationalai-0.13.0.dev0.dist-info/METADATA +0 -46
  416. relationalai-0.13.0.dev0.dist-info/RECORD +0 -488
  417. relationalai-0.13.0.dev0.dist-info/WHEEL +0 -5
  418. relationalai-0.13.0.dev0.dist-info/entry_points.txt +0 -3
  419. relationalai-0.13.0.dev0.dist-info/top_level.txt +0 -2
  420. v0/relationalai/__init__.py +0 -216
  421. v0/relationalai/clients/__init__.py +0 -5
  422. v0/relationalai/clients/azure.py +0 -477
  423. v0/relationalai/clients/client.py +0 -912
  424. v0/relationalai/clients/config.py +0 -673
  425. v0/relationalai/clients/direct_access_client.py +0 -118
  426. v0/relationalai/clients/hash_util.py +0 -31
  427. v0/relationalai/clients/local.py +0 -571
  428. v0/relationalai/clients/profile_polling.py +0 -73
  429. v0/relationalai/clients/result_helpers.py +0 -420
  430. v0/relationalai/clients/snowflake.py +0 -3869
  431. v0/relationalai/clients/types.py +0 -113
  432. v0/relationalai/clients/use_index_poller.py +0 -980
  433. v0/relationalai/clients/util.py +0 -356
  434. v0/relationalai/debugging.py +0 -389
  435. v0/relationalai/dsl.py +0 -1749
  436. v0/relationalai/early_access/builder/__init__.py +0 -30
  437. v0/relationalai/early_access/builder/builder/__init__.py +0 -35
  438. v0/relationalai/early_access/builder/snowflake/__init__.py +0 -12
  439. v0/relationalai/early_access/builder/std/__init__.py +0 -25
  440. v0/relationalai/early_access/builder/std/decimals/__init__.py +0 -12
  441. v0/relationalai/early_access/builder/std/integers/__init__.py +0 -12
  442. v0/relationalai/early_access/builder/std/math/__init__.py +0 -12
  443. v0/relationalai/early_access/builder/std/strings/__init__.py +0 -14
  444. v0/relationalai/early_access/devtools/__init__.py +0 -12
  445. v0/relationalai/early_access/devtools/benchmark_lqp/__init__.py +0 -12
  446. v0/relationalai/early_access/devtools/extract_lqp/__init__.py +0 -12
  447. v0/relationalai/early_access/dsl/adapters/orm/adapter_qb.py +0 -427
  448. v0/relationalai/early_access/dsl/adapters/orm/parser.py +0 -636
  449. v0/relationalai/early_access/dsl/adapters/owl/adapter.py +0 -176
  450. v0/relationalai/early_access/dsl/adapters/owl/parser.py +0 -160
  451. v0/relationalai/early_access/dsl/bindings/common.py +0 -402
  452. v0/relationalai/early_access/dsl/bindings/csv.py +0 -170
  453. v0/relationalai/early_access/dsl/bindings/legacy/binding_models.py +0 -143
  454. v0/relationalai/early_access/dsl/bindings/snowflake.py +0 -64
  455. v0/relationalai/early_access/dsl/codegen/binder.py +0 -411
  456. v0/relationalai/early_access/dsl/codegen/common.py +0 -79
  457. v0/relationalai/early_access/dsl/codegen/helpers.py +0 -23
  458. v0/relationalai/early_access/dsl/codegen/relations.py +0 -700
  459. v0/relationalai/early_access/dsl/codegen/weaver.py +0 -417
  460. v0/relationalai/early_access/dsl/core/builders/__init__.py +0 -47
  461. v0/relationalai/early_access/dsl/core/builders/logic.py +0 -19
  462. v0/relationalai/early_access/dsl/core/builders/scalar_constraint.py +0 -11
  463. v0/relationalai/early_access/dsl/core/constraints/predicate/atomic.py +0 -455
  464. v0/relationalai/early_access/dsl/core/constraints/predicate/universal.py +0 -73
  465. v0/relationalai/early_access/dsl/core/constraints/scalar.py +0 -310
  466. v0/relationalai/early_access/dsl/core/context.py +0 -13
  467. v0/relationalai/early_access/dsl/core/cset.py +0 -132
  468. v0/relationalai/early_access/dsl/core/exprs/__init__.py +0 -116
  469. v0/relationalai/early_access/dsl/core/exprs/relational.py +0 -18
  470. v0/relationalai/early_access/dsl/core/exprs/scalar.py +0 -412
  471. v0/relationalai/early_access/dsl/core/instances.py +0 -44
  472. v0/relationalai/early_access/dsl/core/logic/__init__.py +0 -193
  473. v0/relationalai/early_access/dsl/core/logic/aggregation.py +0 -98
  474. v0/relationalai/early_access/dsl/core/logic/exists.py +0 -223
  475. v0/relationalai/early_access/dsl/core/logic/helper.py +0 -163
  476. v0/relationalai/early_access/dsl/core/namespaces.py +0 -32
  477. v0/relationalai/early_access/dsl/core/relations.py +0 -276
  478. v0/relationalai/early_access/dsl/core/rules.py +0 -112
  479. v0/relationalai/early_access/dsl/core/std/__init__.py +0 -45
  480. v0/relationalai/early_access/dsl/core/temporal/recall.py +0 -6
  481. v0/relationalai/early_access/dsl/core/types/__init__.py +0 -270
  482. v0/relationalai/early_access/dsl/core/types/concepts.py +0 -128
  483. v0/relationalai/early_access/dsl/core/types/constrained/__init__.py +0 -267
  484. v0/relationalai/early_access/dsl/core/types/constrained/nominal.py +0 -143
  485. v0/relationalai/early_access/dsl/core/types/constrained/subtype.py +0 -124
  486. v0/relationalai/early_access/dsl/core/types/standard.py +0 -92
  487. v0/relationalai/early_access/dsl/core/types/unconstrained.py +0 -50
  488. v0/relationalai/early_access/dsl/core/types/variables.py +0 -203
  489. v0/relationalai/early_access/dsl/ir/compiler.py +0 -318
  490. v0/relationalai/early_access/dsl/ir/executor.py +0 -260
  491. v0/relationalai/early_access/dsl/ontologies/constraints.py +0 -88
  492. v0/relationalai/early_access/dsl/ontologies/export.py +0 -30
  493. v0/relationalai/early_access/dsl/ontologies/models.py +0 -453
  494. v0/relationalai/early_access/dsl/ontologies/python_printer.py +0 -303
  495. v0/relationalai/early_access/dsl/ontologies/readings.py +0 -60
  496. v0/relationalai/early_access/dsl/ontologies/relationships.py +0 -322
  497. v0/relationalai/early_access/dsl/ontologies/roles.py +0 -87
  498. v0/relationalai/early_access/dsl/ontologies/subtyping.py +0 -55
  499. v0/relationalai/early_access/dsl/orm/constraints.py +0 -438
  500. v0/relationalai/early_access/dsl/orm/measures/dimensions.py +0 -200
  501. v0/relationalai/early_access/dsl/orm/measures/initializer.py +0 -16
  502. v0/relationalai/early_access/dsl/orm/measures/measure_rules.py +0 -275
  503. v0/relationalai/early_access/dsl/orm/measures/measures.py +0 -299
  504. v0/relationalai/early_access/dsl/orm/measures/role_exprs.py +0 -268
  505. v0/relationalai/early_access/dsl/orm/models.py +0 -256
  506. v0/relationalai/early_access/dsl/orm/object_oriented_printer.py +0 -344
  507. v0/relationalai/early_access/dsl/orm/printer.py +0 -469
  508. v0/relationalai/early_access/dsl/orm/reasoners.py +0 -480
  509. v0/relationalai/early_access/dsl/orm/relations.py +0 -19
  510. v0/relationalai/early_access/dsl/orm/relationships.py +0 -251
  511. v0/relationalai/early_access/dsl/orm/types.py +0 -42
  512. v0/relationalai/early_access/dsl/orm/utils.py +0 -79
  513. v0/relationalai/early_access/dsl/orm/verb.py +0 -204
  514. v0/relationalai/early_access/dsl/physical_metadata/tables.py +0 -133
  515. v0/relationalai/early_access/dsl/relations.py +0 -170
  516. v0/relationalai/early_access/dsl/rulesets.py +0 -69
  517. v0/relationalai/early_access/dsl/schemas/__init__.py +0 -450
  518. v0/relationalai/early_access/dsl/schemas/builder.py +0 -48
  519. v0/relationalai/early_access/dsl/schemas/comp_names.py +0 -51
  520. v0/relationalai/early_access/dsl/schemas/components.py +0 -203
  521. v0/relationalai/early_access/dsl/schemas/contexts.py +0 -156
  522. v0/relationalai/early_access/dsl/schemas/exprs.py +0 -89
  523. v0/relationalai/early_access/dsl/schemas/fragments.py +0 -464
  524. v0/relationalai/early_access/dsl/serialization.py +0 -79
  525. v0/relationalai/early_access/dsl/serialize/exporter.py +0 -163
  526. v0/relationalai/early_access/dsl/snow/api.py +0 -104
  527. v0/relationalai/early_access/dsl/snow/common.py +0 -76
  528. v0/relationalai/early_access/dsl/state_mgmt/__init__.py +0 -129
  529. v0/relationalai/early_access/dsl/state_mgmt/state_charts.py +0 -125
  530. v0/relationalai/early_access/dsl/state_mgmt/transitions.py +0 -130
  531. v0/relationalai/early_access/dsl/types/__init__.py +0 -40
  532. v0/relationalai/early_access/dsl/types/concepts.py +0 -12
  533. v0/relationalai/early_access/dsl/types/entities.py +0 -135
  534. v0/relationalai/early_access/dsl/types/values.py +0 -17
  535. v0/relationalai/early_access/dsl/utils.py +0 -102
  536. v0/relationalai/early_access/graphs/__init__.py +0 -13
  537. v0/relationalai/early_access/lqp/__init__.py +0 -12
  538. v0/relationalai/early_access/lqp/compiler/__init__.py +0 -12
  539. v0/relationalai/early_access/lqp/constructors/__init__.py +0 -18
  540. v0/relationalai/early_access/lqp/executor/__init__.py +0 -12
  541. v0/relationalai/early_access/lqp/ir/__init__.py +0 -12
  542. v0/relationalai/early_access/lqp/passes/__init__.py +0 -12
  543. v0/relationalai/early_access/lqp/pragmas/__init__.py +0 -12
  544. v0/relationalai/early_access/lqp/primitives/__init__.py +0 -12
  545. v0/relationalai/early_access/lqp/types/__init__.py +0 -12
  546. v0/relationalai/early_access/lqp/utils/__init__.py +0 -12
  547. v0/relationalai/early_access/lqp/validators/__init__.py +0 -12
  548. v0/relationalai/early_access/metamodel/__init__.py +0 -58
  549. v0/relationalai/early_access/metamodel/builtins/__init__.py +0 -12
  550. v0/relationalai/early_access/metamodel/compiler/__init__.py +0 -12
  551. v0/relationalai/early_access/metamodel/dependency/__init__.py +0 -12
  552. v0/relationalai/early_access/metamodel/factory/__init__.py +0 -17
  553. v0/relationalai/early_access/metamodel/helpers/__init__.py +0 -12
  554. v0/relationalai/early_access/metamodel/ir/__init__.py +0 -14
  555. v0/relationalai/early_access/metamodel/rewrite/__init__.py +0 -7
  556. v0/relationalai/early_access/metamodel/typer/__init__.py +0 -3
  557. v0/relationalai/early_access/metamodel/typer/typer/__init__.py +0 -12
  558. v0/relationalai/early_access/metamodel/types/__init__.py +0 -15
  559. v0/relationalai/early_access/metamodel/util/__init__.py +0 -15
  560. v0/relationalai/early_access/metamodel/visitor/__init__.py +0 -12
  561. v0/relationalai/early_access/rel/__init__.py +0 -12
  562. v0/relationalai/early_access/rel/executor/__init__.py +0 -12
  563. v0/relationalai/early_access/rel/rel_utils/__init__.py +0 -12
  564. v0/relationalai/early_access/rel/rewrite/__init__.py +0 -7
  565. v0/relationalai/early_access/solvers/__init__.py +0 -19
  566. v0/relationalai/early_access/sql/__init__.py +0 -11
  567. v0/relationalai/early_access/sql/executor/__init__.py +0 -3
  568. v0/relationalai/early_access/sql/rewrite/__init__.py +0 -3
  569. v0/relationalai/early_access/tests/logging/__init__.py +0 -12
  570. v0/relationalai/early_access/tests/test_snapshot_base/__init__.py +0 -12
  571. v0/relationalai/early_access/tests/utils/__init__.py +0 -12
  572. v0/relationalai/environments/__init__.py +0 -35
  573. v0/relationalai/environments/base.py +0 -381
  574. v0/relationalai/environments/colab.py +0 -14
  575. v0/relationalai/environments/generic.py +0 -71
  576. v0/relationalai/environments/ipython.py +0 -68
  577. v0/relationalai/environments/jupyter.py +0 -9
  578. v0/relationalai/environments/snowbook.py +0 -169
  579. v0/relationalai/errors.py +0 -2455
  580. v0/relationalai/experimental/SF.py +0 -38
  581. v0/relationalai/experimental/inspect.py +0 -47
  582. v0/relationalai/experimental/pathfinder/__init__.py +0 -158
  583. v0/relationalai/experimental/pathfinder/api.py +0 -160
  584. v0/relationalai/experimental/pathfinder/automaton.py +0 -584
  585. v0/relationalai/experimental/pathfinder/bridge.py +0 -226
  586. v0/relationalai/experimental/pathfinder/compiler.py +0 -416
  587. v0/relationalai/experimental/pathfinder/datalog.py +0 -214
  588. v0/relationalai/experimental/pathfinder/diagnostics.py +0 -56
  589. v0/relationalai/experimental/pathfinder/filter.py +0 -236
  590. v0/relationalai/experimental/pathfinder/glushkov.py +0 -439
  591. v0/relationalai/experimental/pathfinder/options.py +0 -265
  592. v0/relationalai/experimental/pathfinder/rpq.py +0 -344
  593. v0/relationalai/experimental/pathfinder/transition.py +0 -200
  594. v0/relationalai/experimental/pathfinder/utils.py +0 -26
  595. v0/relationalai/experimental/paths/api.py +0 -143
  596. v0/relationalai/experimental/paths/benchmarks/grid_graph.py +0 -37
  597. v0/relationalai/experimental/paths/examples/basic_example.py +0 -40
  598. v0/relationalai/experimental/paths/examples/minimal_engine_warmup.py +0 -3
  599. v0/relationalai/experimental/paths/examples/movie_example.py +0 -77
  600. v0/relationalai/experimental/paths/examples/paths_benchmark.py +0 -115
  601. v0/relationalai/experimental/paths/examples/paths_example.py +0 -116
  602. v0/relationalai/experimental/paths/examples/pattern_to_automaton.py +0 -28
  603. v0/relationalai/experimental/paths/find_paths_via_automaton.py +0 -85
  604. v0/relationalai/experimental/paths/graph.py +0 -185
  605. v0/relationalai/experimental/paths/path_algorithms/find_paths.py +0 -280
  606. v0/relationalai/experimental/paths/path_algorithms/one_sided_ball_repetition.py +0 -26
  607. v0/relationalai/experimental/paths/path_algorithms/one_sided_ball_upto.py +0 -111
  608. v0/relationalai/experimental/paths/path_algorithms/single.py +0 -59
  609. v0/relationalai/experimental/paths/path_algorithms/two_sided_balls_repetition.py +0 -39
  610. v0/relationalai/experimental/paths/path_algorithms/two_sided_balls_upto.py +0 -103
  611. v0/relationalai/experimental/paths/path_algorithms/usp-old.py +0 -130
  612. v0/relationalai/experimental/paths/path_algorithms/usp-tuple.py +0 -183
  613. v0/relationalai/experimental/paths/path_algorithms/usp.py +0 -150
  614. v0/relationalai/experimental/paths/product_graph.py +0 -93
  615. v0/relationalai/experimental/paths/rpq/automaton.py +0 -584
  616. v0/relationalai/experimental/paths/rpq/diagnostics.py +0 -56
  617. v0/relationalai/experimental/paths/rpq/rpq.py +0 -378
  618. v0/relationalai/experimental/paths/tests/tests_limit_sp_max_length.py +0 -90
  619. v0/relationalai/experimental/paths/tests/tests_limit_sp_multiple.py +0 -119
  620. v0/relationalai/experimental/paths/tests/tests_limit_sp_single.py +0 -104
  621. v0/relationalai/experimental/paths/tests/tests_limit_walks_multiple.py +0 -113
  622. v0/relationalai/experimental/paths/tests/tests_limit_walks_single.py +0 -149
  623. v0/relationalai/experimental/paths/tests/tests_one_sided_ball_repetition_multiple.py +0 -70
  624. v0/relationalai/experimental/paths/tests/tests_one_sided_ball_repetition_single.py +0 -64
  625. v0/relationalai/experimental/paths/tests/tests_one_sided_ball_upto_multiple.py +0 -115
  626. v0/relationalai/experimental/paths/tests/tests_one_sided_ball_upto_single.py +0 -75
  627. v0/relationalai/experimental/paths/tests/tests_single_paths.py +0 -152
  628. v0/relationalai/experimental/paths/tests/tests_single_walks.py +0 -208
  629. v0/relationalai/experimental/paths/tests/tests_single_walks_undirected.py +0 -297
  630. v0/relationalai/experimental/paths/tests/tests_two_sided_balls_repetition_multiple.py +0 -107
  631. v0/relationalai/experimental/paths/tests/tests_two_sided_balls_repetition_single.py +0 -76
  632. v0/relationalai/experimental/paths/tests/tests_two_sided_balls_upto_multiple.py +0 -76
  633. v0/relationalai/experimental/paths/tests/tests_two_sided_balls_upto_single.py +0 -110
  634. v0/relationalai/experimental/paths/tests/tests_usp_nsp_multiple.py +0 -229
  635. v0/relationalai/experimental/paths/tests/tests_usp_nsp_single.py +0 -108
  636. v0/relationalai/experimental/paths/tree_agg.py +0 -168
  637. v0/relationalai/experimental/paths/utilities/iterators.py +0 -27
  638. v0/relationalai/experimental/paths/utilities/prefix_sum.py +0 -91
  639. v0/relationalai/experimental/solvers.py +0 -1087
  640. v0/relationalai/loaders/csv.py +0 -195
  641. v0/relationalai/loaders/loader.py +0 -177
  642. v0/relationalai/loaders/types.py +0 -23
  643. v0/relationalai/rel_emitter.py +0 -373
  644. v0/relationalai/rel_utils.py +0 -185
  645. v0/relationalai/semantics/__init__.py +0 -29
  646. v0/relationalai/semantics/devtools/benchmark_lqp.py +0 -536
  647. v0/relationalai/semantics/devtools/compilation_manager.py +0 -294
  648. v0/relationalai/semantics/devtools/extract_lqp.py +0 -110
  649. v0/relationalai/semantics/internal/internal.py +0 -3785
  650. v0/relationalai/semantics/internal/snowflake.py +0 -324
  651. v0/relationalai/semantics/lqp/builtins.py +0 -16
  652. v0/relationalai/semantics/lqp/compiler.py +0 -22
  653. v0/relationalai/semantics/lqp/constructors.py +0 -68
  654. v0/relationalai/semantics/lqp/executor.py +0 -469
  655. v0/relationalai/semantics/lqp/intrinsics.py +0 -24
  656. v0/relationalai/semantics/lqp/model2lqp.py +0 -839
  657. v0/relationalai/semantics/lqp/passes.py +0 -680
  658. v0/relationalai/semantics/lqp/primitives.py +0 -252
  659. v0/relationalai/semantics/lqp/result_helpers.py +0 -202
  660. v0/relationalai/semantics/lqp/rewrite/annotate_constraints.py +0 -57
  661. v0/relationalai/semantics/lqp/rewrite/cdc.py +0 -216
  662. v0/relationalai/semantics/lqp/rewrite/extract_common.py +0 -338
  663. v0/relationalai/semantics/lqp/rewrite/extract_keys.py +0 -449
  664. v0/relationalai/semantics/lqp/rewrite/function_annotations.py +0 -114
  665. v0/relationalai/semantics/lqp/rewrite/functional_dependencies.py +0 -314
  666. v0/relationalai/semantics/lqp/rewrite/quantify_vars.py +0 -296
  667. v0/relationalai/semantics/lqp/rewrite/splinter.py +0 -76
  668. v0/relationalai/semantics/lqp/types.py +0 -101
  669. v0/relationalai/semantics/lqp/utils.py +0 -160
  670. v0/relationalai/semantics/lqp/validators.py +0 -57
  671. v0/relationalai/semantics/metamodel/__init__.py +0 -40
  672. v0/relationalai/semantics/metamodel/builtins.py +0 -774
  673. v0/relationalai/semantics/metamodel/compiler.py +0 -133
  674. v0/relationalai/semantics/metamodel/dependency.py +0 -862
  675. v0/relationalai/semantics/metamodel/executor.py +0 -61
  676. v0/relationalai/semantics/metamodel/factory.py +0 -287
  677. v0/relationalai/semantics/metamodel/helpers.py +0 -361
  678. v0/relationalai/semantics/metamodel/rewrite/discharge_constraints.py +0 -39
  679. v0/relationalai/semantics/metamodel/rewrite/dnf_union_splitter.py +0 -210
  680. v0/relationalai/semantics/metamodel/rewrite/extract_nested_logicals.py +0 -78
  681. v0/relationalai/semantics/metamodel/rewrite/flatten.py +0 -549
  682. v0/relationalai/semantics/metamodel/rewrite/format_outputs.py +0 -165
  683. v0/relationalai/semantics/metamodel/typer/checker.py +0 -353
  684. v0/relationalai/semantics/metamodel/typer/typer.py +0 -1395
  685. v0/relationalai/semantics/metamodel/util.py +0 -505
  686. v0/relationalai/semantics/reasoners/__init__.py +0 -10
  687. v0/relationalai/semantics/reasoners/graph/__init__.py +0 -37
  688. v0/relationalai/semantics/reasoners/graph/core.py +0 -9020
  689. v0/relationalai/semantics/reasoners/optimization/__init__.py +0 -68
  690. v0/relationalai/semantics/reasoners/optimization/common.py +0 -88
  691. v0/relationalai/semantics/reasoners/optimization/solvers_dev.py +0 -568
  692. v0/relationalai/semantics/reasoners/optimization/solvers_pb.py +0 -1163
  693. v0/relationalai/semantics/rel/builtins.py +0 -40
  694. v0/relationalai/semantics/rel/compiler.py +0 -989
  695. v0/relationalai/semantics/rel/executor.py +0 -359
  696. v0/relationalai/semantics/rel/rel.py +0 -482
  697. v0/relationalai/semantics/rel/rel_utils.py +0 -276
  698. v0/relationalai/semantics/snowflake/__init__.py +0 -3
  699. v0/relationalai/semantics/sql/compiler.py +0 -2503
  700. v0/relationalai/semantics/sql/executor/duck_db.py +0 -52
  701. v0/relationalai/semantics/sql/executor/result_helpers.py +0 -64
  702. v0/relationalai/semantics/sql/executor/snowflake.py +0 -145
  703. v0/relationalai/semantics/sql/rewrite/denormalize.py +0 -222
  704. v0/relationalai/semantics/sql/rewrite/double_negation.py +0 -49
  705. v0/relationalai/semantics/sql/rewrite/recursive_union.py +0 -127
  706. v0/relationalai/semantics/sql/rewrite/sort_output_query.py +0 -246
  707. v0/relationalai/semantics/sql/sql.py +0 -504
  708. v0/relationalai/semantics/std/__init__.py +0 -54
  709. v0/relationalai/semantics/std/constraints.py +0 -43
  710. v0/relationalai/semantics/std/datetime.py +0 -363
  711. v0/relationalai/semantics/std/decimals.py +0 -62
  712. v0/relationalai/semantics/std/floats.py +0 -7
  713. v0/relationalai/semantics/std/integers.py +0 -22
  714. v0/relationalai/semantics/std/math.py +0 -141
  715. v0/relationalai/semantics/std/pragmas.py +0 -11
  716. v0/relationalai/semantics/std/re.py +0 -83
  717. v0/relationalai/semantics/std/std.py +0 -14
  718. v0/relationalai/semantics/std/strings.py +0 -63
  719. v0/relationalai/semantics/tests/__init__.py +0 -0
  720. v0/relationalai/semantics/tests/test_snapshot_abstract.py +0 -143
  721. v0/relationalai/semantics/tests/test_snapshot_base.py +0 -9
  722. v0/relationalai/semantics/tests/utils.py +0 -46
  723. v0/relationalai/std/__init__.py +0 -70
  724. v0/relationalai/tools/__init__.py +0 -0
  725. v0/relationalai/tools/cli.py +0 -1940
  726. v0/relationalai/tools/cli_controls.py +0 -1826
  727. v0/relationalai/tools/cli_helpers.py +0 -390
  728. v0/relationalai/tools/debugger.py +0 -183
  729. v0/relationalai/tools/debugger_client.py +0 -109
  730. v0/relationalai/tools/debugger_server.py +0 -302
  731. v0/relationalai/tools/dev.py +0 -685
  732. v0/relationalai/tools/qb_debugger.py +0 -425
  733. v0/relationalai/util/clean_up_databases.py +0 -95
  734. v0/relationalai/util/format.py +0 -123
  735. v0/relationalai/util/list_databases.py +0 -9
  736. v0/relationalai/util/otel_configuration.py +0 -25
  737. v0/relationalai/util/otel_handler.py +0 -484
  738. v0/relationalai/util/snowflake_handler.py +0 -88
  739. v0/relationalai/util/span_format_test.py +0 -43
  740. v0/relationalai/util/span_tracker.py +0 -207
  741. v0/relationalai/util/spans_file_handler.py +0 -72
  742. v0/relationalai/util/tracing_handler.py +0 -34
  743. /relationalai/{semantics/frontend → analysis}/__init__.py +0 -0
  744. {v0/relationalai → relationalai}/analysis/mechanistic.py +0 -0
  745. {v0/relationalai → relationalai}/analysis/whynot.py +0 -0
  746. /relationalai/{shims → auth}/__init__.py +0 -0
  747. {v0/relationalai → relationalai}/auth/jwt_generator.py +0 -0
  748. {v0/relationalai → relationalai}/auth/oauth_callback_server.py +0 -0
  749. {v0/relationalai → relationalai}/auth/token_handler.py +0 -0
  750. {v0/relationalai → relationalai}/auth/util.py +0 -0
  751. {v0/relationalai/clients → relationalai/clients/resources/snowflake}/cache_store.py +0 -0
  752. {v0/relationalai → relationalai}/compiler.py +0 -0
  753. {v0/relationalai → relationalai}/dependencies.py +0 -0
  754. {v0/relationalai → relationalai}/docutils.py +0 -0
  755. {v0/relationalai/analysis → relationalai/early_access}/__init__.py +0 -0
  756. {v0/relationalai → relationalai}/early_access/dsl/__init__.py +0 -0
  757. {v0/relationalai/auth → relationalai/early_access/dsl/adapters}/__init__.py +0 -0
  758. {v0/relationalai/early_access → relationalai/early_access/dsl/adapters/orm}/__init__.py +0 -0
  759. {v0/relationalai → relationalai}/early_access/dsl/adapters/orm/model.py +0 -0
  760. {v0/relationalai/early_access/dsl/adapters → relationalai/early_access/dsl/adapters/owl}/__init__.py +0 -0
  761. {v0/relationalai → relationalai}/early_access/dsl/adapters/owl/model.py +0 -0
  762. {v0/relationalai/early_access/dsl/adapters/orm → relationalai/early_access/dsl/bindings}/__init__.py +0 -0
  763. {v0/relationalai/early_access/dsl/adapters/owl → relationalai/early_access/dsl/bindings/legacy}/__init__.py +0 -0
  764. {v0/relationalai/early_access/dsl/bindings → relationalai/early_access/dsl/codegen}/__init__.py +0 -0
  765. {v0/relationalai → relationalai}/early_access/dsl/constants.py +0 -0
  766. {v0/relationalai → relationalai}/early_access/dsl/core/__init__.py +0 -0
  767. {v0/relationalai → relationalai}/early_access/dsl/core/constraints/__init__.py +0 -0
  768. {v0/relationalai → relationalai}/early_access/dsl/core/constraints/predicate/__init__.py +0 -0
  769. {v0/relationalai → relationalai}/early_access/dsl/core/stack.py +0 -0
  770. {v0/relationalai/early_access/dsl/bindings/legacy → relationalai/early_access/dsl/core/temporal}/__init__.py +0 -0
  771. {v0/relationalai → relationalai}/early_access/dsl/core/utils.py +0 -0
  772. {v0/relationalai/early_access/dsl/codegen → relationalai/early_access/dsl/ir}/__init__.py +0 -0
  773. {v0/relationalai/early_access/dsl/core/temporal → relationalai/early_access/dsl/ontologies}/__init__.py +0 -0
  774. {v0/relationalai → relationalai}/early_access/dsl/ontologies/raw_source.py +0 -0
  775. {v0/relationalai/early_access/dsl/ir → relationalai/early_access/dsl/orm}/__init__.py +0 -0
  776. {v0/relationalai/early_access/dsl/ontologies → relationalai/early_access/dsl/orm/measures}/__init__.py +0 -0
  777. {v0/relationalai → relationalai}/early_access/dsl/orm/reasoner_errors.py +0 -0
  778. {v0/relationalai/early_access/dsl/orm → relationalai/early_access/dsl/physical_metadata}/__init__.py +0 -0
  779. {v0/relationalai/early_access/dsl/orm/measures → relationalai/early_access/dsl/serialize}/__init__.py +0 -0
  780. {v0/relationalai → relationalai}/early_access/dsl/serialize/binding_model.py +0 -0
  781. {v0/relationalai → relationalai}/early_access/dsl/serialize/model.py +0 -0
  782. {v0/relationalai/early_access/dsl/physical_metadata → relationalai/early_access/dsl/snow}/__init__.py +0 -0
  783. {v0/relationalai → relationalai}/early_access/tests/__init__.py +0 -0
  784. {v0/relationalai → relationalai}/environments/ci.py +0 -0
  785. {v0/relationalai → relationalai}/environments/hex.py +0 -0
  786. {v0/relationalai → relationalai}/environments/terminal.py +0 -0
  787. {v0/relationalai → relationalai}/experimental/__init__.py +0 -0
  788. {v0/relationalai → relationalai}/experimental/graphs.py +0 -0
  789. {v0/relationalai → relationalai}/experimental/paths/__init__.py +0 -0
  790. {v0/relationalai → relationalai}/experimental/paths/benchmarks/__init__.py +0 -0
  791. {v0/relationalai → relationalai}/experimental/paths/path_algorithms/__init__.py +0 -0
  792. {v0/relationalai → relationalai}/experimental/paths/rpq/__init__.py +0 -0
  793. {v0/relationalai → relationalai}/experimental/paths/rpq/filter.py +0 -0
  794. {v0/relationalai → relationalai}/experimental/paths/rpq/glushkov.py +0 -0
  795. {v0/relationalai → relationalai}/experimental/paths/rpq/transition.py +0 -0
  796. {v0/relationalai → relationalai}/experimental/paths/utilities/__init__.py +0 -0
  797. {v0/relationalai → relationalai}/experimental/paths/utilities/utilities.py +0 -0
  798. {v0/relationalai/early_access/dsl/serialize → relationalai/loaders}/__init__.py +0 -0
  799. {v0/relationalai → relationalai}/metagen.py +0 -0
  800. {v0/relationalai → relationalai}/metamodel.py +0 -0
  801. {v0/relationalai → relationalai}/rel.py +0 -0
  802. {v0/relationalai → relationalai}/semantics/devtools/__init__.py +0 -0
  803. {v0/relationalai → relationalai}/semantics/internal/__init__.py +0 -0
  804. {v0/relationalai → relationalai}/semantics/internal/annotations.py +0 -0
  805. {v0/relationalai → relationalai}/semantics/lqp/__init__.py +0 -0
  806. {v0/relationalai → relationalai}/semantics/lqp/ir.py +0 -0
  807. {v0/relationalai → relationalai}/semantics/lqp/pragmas.py +0 -0
  808. {v0/relationalai → relationalai}/semantics/lqp/rewrite/__init__.py +0 -0
  809. {v0/relationalai → relationalai}/semantics/metamodel/dataflow.py +0 -0
  810. {v0/relationalai → relationalai}/semantics/metamodel/ir.py +0 -0
  811. {v0/relationalai → relationalai}/semantics/metamodel/rewrite/__init__.py +0 -0
  812. {v0/relationalai → relationalai}/semantics/metamodel/typer/__init__.py +0 -0
  813. {v0/relationalai → relationalai}/semantics/metamodel/types.py +0 -0
  814. {v0/relationalai → relationalai}/semantics/metamodel/visitor.py +0 -0
  815. {v0/relationalai → relationalai}/semantics/reasoners/experimental/__init__.py +0 -0
  816. {v0/relationalai → relationalai}/semantics/rel/__init__.py +0 -0
  817. {v0/relationalai → relationalai}/semantics/sql/__init__.py +0 -0
  818. {v0/relationalai → relationalai}/semantics/sql/executor/__init__.py +0 -0
  819. {v0/relationalai → relationalai}/semantics/sql/rewrite/__init__.py +0 -0
  820. {v0/relationalai/early_access/dsl/snow → relationalai/semantics/tests}/__init__.py +0 -0
  821. {v0/relationalai → relationalai}/semantics/tests/logging.py +0 -0
  822. {v0/relationalai → relationalai}/std/aggregates.py +0 -0
  823. {v0/relationalai → relationalai}/std/dates.py +0 -0
  824. {v0/relationalai → relationalai}/std/graphs.py +0 -0
  825. {v0/relationalai → relationalai}/std/inspect.py +0 -0
  826. {v0/relationalai → relationalai}/std/math.py +0 -0
  827. {v0/relationalai → relationalai}/std/re.py +0 -0
  828. {v0/relationalai → relationalai}/std/strings.py +0 -0
  829. {v0/relationalai/loaders → relationalai/tools}/__init__.py +0 -0
  830. {v0/relationalai → relationalai}/tools/cleanup_snapshots.py +0 -0
  831. {v0/relationalai → relationalai}/tools/constants.py +0 -0
  832. {v0/relationalai → relationalai}/tools/query_utils.py +0 -0
  833. {v0/relationalai → relationalai}/tools/snapshot_viewer.py +0 -0
  834. {v0/relationalai → relationalai}/util/__init__.py +0 -0
  835. {v0/relationalai → relationalai}/util/constants.py +0 -0
  836. {v0/relationalai → relationalai}/util/graph.py +0 -0
  837. {v0/relationalai → relationalai}/util/timeout.py +0 -0
@@ -1,107 +0,0 @@
1
- from v0.relationalai.semantics import Model, Integer, define, select
2
- from v0.relationalai.experimental.paths.graph import Graph
3
- from v0.relationalai.experimental.paths.path_algorithms.two_sided_balls_repetition import two_balls_repetition
4
-
5
-
6
- # Test with diamond graph
7
- model_grid = Model("test_two_balls_repetition grid", dry_run=False)
8
-
9
- grid = Graph.construct_grid(model_grid, 4)
10
-
11
- n = Integer.ref()
12
- u = grid.Node.ref()
13
-
14
- source_1_1 = grid.Node.new(row = 1, col = 1)
15
- source_1_2 = grid.Node.new(row = 2, col = 2)
16
- target_1_1 = grid.Node.new(row = 3, col = 3)
17
- target_1_2 = grid.Node.new(row = 4, col = 4)
18
-
19
- Source_1 = model_grid.Concept("Source_1", extends=[grid.Node])
20
- Target_1 = model_grid.Concept("Target_1", extends=[grid.Node])
21
-
22
- define(Source_1(source_1_1))
23
- define(Source_1(source_1_2))
24
- define(Target_1(target_1_1))
25
- define(Target_1(target_1_2))
26
-
27
- source_ball_1, target_ball_1 = two_balls_repetition(grid, Source_1, Target_1, 1)
28
- iter_source_1 = select(n, u.row, u.col).where(source_ball_1(n, u)).to_df()
29
- set_source_ball_1 = set(row for row in iter_source_1.itertuples(index = False, name = None))
30
- iter_target_1 = select(n, u.row, u.col).where(target_ball_1(n, u)).to_df()
31
- set_target_ball_1 = set(row for row in iter_target_1.itertuples(index = False, name = None))
32
-
33
- expected_source_ball_1 = {
34
- (0, 1, 1), (0, 2, 2)
35
- }
36
-
37
- expected_target_ball_1 = {
38
- (0, 4, 4), (1, 3, 4), (1, 4, 3), (0, 3, 3), (1, 3, 2), (1, 2, 3)
39
- }
40
-
41
- assert (
42
- set_source_ball_1 == expected_source_ball_1 and
43
- set_target_ball_1 == expected_target_ball_1
44
- )
45
-
46
-
47
- # First test with diamond graph
48
- model_diamond = Model("test_two_balls_repetition diamond", dry_run=False)
49
-
50
- diamond = Graph.construct_diamond(model_diamond, 3)
51
-
52
- v = diamond.Node.ref()
53
-
54
- source_2_1 = diamond.Node.new(id = 1)
55
- source_2_2 = diamond.Node.new(id = 2)
56
- target_2_1 = diamond.Node.new(id = 9)
57
- target_2_2 = diamond.Node.new(id = 10)
58
-
59
- Source_2 = model_diamond.Concept("Source_2", extends=[diamond.Node])
60
- Target_2 = model_diamond.Concept("Target_2", extends=[diamond.Node])
61
-
62
- define(Source_2(source_2_1))
63
- define(Source_2(source_2_2))
64
- define(Target_2(target_2_1))
65
- define(Target_2(target_2_2))
66
-
67
- source_ball_2, target_ball_2 = two_balls_repetition(diamond, Source_2, Target_2, 20)
68
- iter_source_2 = select(n, v.id).where(source_ball_2(n, v)).to_df()
69
- set_source_ball_2 = set(row for row in iter_source_2.itertuples(index = False, name = None))
70
- iter_target_2 = select(n, v.id).where(target_ball_2(n, v)).to_df()
71
- set_target_ball_2 = set(row for row in iter_target_2.itertuples(index = False, name = None))
72
-
73
- expected_source_ball_2 = {
74
- (0, 1), (1, 2), (1, 3), (2, 4), (3, 5), (3, 6), (4, 7), (5, 8), (5, 9), (6, 10),
75
- (0, 2), (1, 4), (2, 5), (2, 6), (3, 7), (4, 8), (4, 9), (5, 10)
76
- }
77
-
78
- expected_target_ball_2 = {
79
- (0, 10), (1, 9), (1, 8), (2, 7), (3, 5), (3, 6), (4, 4), (5, 2), (5, 3), (6, 1),
80
- (0, 9), (1, 7), (2, 5), (2, 6), (3, 4), (4, 2), (4, 3), (5, 1)
81
- }
82
-
83
- assert (
84
- set_source_ball_2 == expected_source_ball_2 and
85
- set_target_ball_2 == expected_target_ball_2
86
- )
87
-
88
-
89
- # Second test with diamond graph
90
- source_ball_3, target_ball_3 = two_balls_repetition(diamond, Source_2, Target_2, 0)
91
- iter_source_3 = select(n, v.id).where(source_ball_3(n, v)).to_df()
92
- set_source_ball_3 = set(row for row in iter_source_3.itertuples(index = False, name = None))
93
- iter_target_3 = select(n, v.id).where(target_ball_3(n, v)).to_df()
94
- set_target_ball_3 = set(row for row in iter_target_3.itertuples(index = False, name = None))
95
-
96
- expected_source_ball_3 = {
97
- (0, 1), (0, 2)
98
- }
99
-
100
- expected_target_ball_3 = {
101
- (0, 10), (0, 9)
102
- }
103
-
104
- assert (
105
- set_source_ball_3 == expected_source_ball_3 and
106
- set_target_ball_3 == expected_target_ball_3
107
- )
@@ -1,76 +0,0 @@
1
- from v0.relationalai.semantics import Model, Integer, define, select
2
- from v0.relationalai.experimental.paths.graph import Graph
3
- from v0.relationalai.experimental.paths.path_algorithms.two_sided_balls_repetition import two_balls_repetition
4
-
5
-
6
- # Test with diamond graph
7
- model_grid = Model("test_two_balls_repetition grid", dry_run=False)
8
-
9
- grid = Graph.construct_grid(model_grid, 4)
10
-
11
- n = Integer.ref()
12
- u = grid.Node.ref()
13
-
14
- source_1 = grid.Node.new(row = 1, col = 1)
15
- target_1 = grid.Node.new(row = 4, col = 4)
16
-
17
- Source_1 = model_grid.Concept("Source_1", extends=[grid.Node])
18
- Target_1 = model_grid.Concept("Target_1", extends=[grid.Node])
19
-
20
- define(Source_1(source_1))
21
- define(Target_1(target_1))
22
-
23
- source_ball_1, target_ball_1 = two_balls_repetition(grid, Source_1, Target_1, 4)
24
- iter_source_1 = select(n, u.row, u.col).where(source_ball_1(n, u)).to_df()
25
- set_source_ball_1 = set(row for row in iter_source_1.itertuples(index = False, name = None))
26
- iter_target_1 = select(n, u.row, u.col).where(target_ball_1(n, u)).to_df()
27
- set_target_ball_1 = set(row for row in iter_target_1.itertuples(index = False, name = None))
28
-
29
- expected_source_ball_1 = {
30
- (0, 1, 1), (1, 2, 1), (1, 1, 2), (2, 3, 1), (2, 2, 2), (2, 1, 3)
31
- }
32
-
33
- expected_target_ball_1 = {
34
- (0, 4, 4), (1, 3, 4), (1, 4, 3), (2, 2, 4), (2, 3, 3), (2, 4, 2)
35
- }
36
-
37
- assert (
38
- set_source_ball_1 == expected_source_ball_1 and
39
- set_target_ball_1 == expected_target_ball_1
40
- )
41
-
42
-
43
- # First test with diamond graph
44
- model_diamond = Model("test_two_balls_repetition diamond", dry_run=False)
45
-
46
- diamond = Graph.construct_diamond(model_diamond, 3)
47
-
48
- v = diamond.Node.ref()
49
-
50
- source_2 = diamond.Node.new(id = 4)
51
- target_2 = diamond.Node.new(id = 7)
52
-
53
- Source_2 = model_diamond.Concept("Source_2", extends=[diamond.Node])
54
- Target_2 = model_diamond.Concept("Target_2", extends=[diamond.Node])
55
-
56
- define(Source_2(source_2))
57
- define(Target_2(target_2))
58
-
59
- source_ball_2, target_ball_2 = two_balls_repetition(diamond, Source_2, Target_2, 5)
60
- iter_source_2 = select(n, v.id).where(source_ball_2(n, v)).to_df()
61
- set_source_ball_2 = set(row for row in iter_source_2.itertuples(index = False, name = None))
62
- iter_target_2 = select(n, v.id).where(target_ball_2(n, v)).to_df()
63
- set_target_ball_2 = set(row for row in iter_target_2.itertuples(index = False, name = None))
64
-
65
- expected_source_ball_2 = {
66
- (0, 4), (1, 5), (1, 6), (2, 7)
67
- }
68
-
69
- expected_target_ball_2 = {
70
- (0, 7), (1, 5), (1, 6), (2, 4), (3, 2), (3, 3)
71
- }
72
-
73
- assert (
74
- set_source_ball_2 == expected_source_ball_2 and
75
- set_target_ball_2 == expected_target_ball_2
76
- )
@@ -1,76 +0,0 @@
1
- from v0.relationalai.semantics import Model, Integer, define, select
2
- from v0.relationalai.experimental.paths.graph import Graph
3
- from v0.relationalai.experimental.paths.path_algorithms.two_sided_balls_upto import two_balls_upto
4
-
5
-
6
- # Test with grid graph
7
- model_grid = Model("test_two_balls_upto_single grid", dry_run=False)
8
-
9
- grid = Graph.construct_grid(model_grid, 3)
10
-
11
- n = Integer.ref()
12
- u = grid.Node.ref()
13
-
14
- source_1 = grid.Node.new(row = 1, col = 1)
15
- target_1 = grid.Node.new(row = 3, col = 3)
16
-
17
- Source_1 = model_grid.Concept("Source_1", extends=[grid.Node])
18
- Target_1 = model_grid.Concept("Target_1", extends=[grid.Node])
19
-
20
- define(Source_1(source_1))
21
- define(Target_1(target_1))
22
-
23
- source_ball_1, target_ball_1 = two_balls_upto(grid, Source_1, Target_1)
24
- iter_source_1 = select(n, u.row, u.col).where(source_ball_1(n, u)).to_df()
25
- set_source_ball_1 = set(row for row in iter_source_1.itertuples(index = False, name = None))
26
- iter_target_1 = select(n, u.row, u.col).where(target_ball_1(n, u)).to_df()
27
- set_target_ball_1 = set(row for row in iter_target_1.itertuples(index = False, name = None))
28
-
29
- expected_source_ball_1 = {
30
- (0, 1, 1), (1, 1, 2), (1, 2, 1), (2, 1, 3), (2, 2, 2), (2, 3, 1)
31
- }
32
-
33
- expected_target_ball_1 = {
34
- (0, 3, 3), (1, 3, 2), (1, 2, 3), (2, 1, 3), (2, 2, 2), (2, 3, 1)
35
- }
36
-
37
- assert (
38
- set_source_ball_1 == expected_source_ball_1 and
39
- set_target_ball_1 == expected_target_ball_1
40
- )
41
-
42
-
43
- # First test with diamond graph
44
- model_diamond = Model("test_two_balls_upto_single diamond", dry_run=False)
45
-
46
- diamond = Graph.construct_diamond(model_diamond, 3)
47
-
48
- v = diamond.Node.ref()
49
-
50
- source_2 = diamond.Node.new(id = 2)
51
- target_2 = diamond.Node.new(id = 8)
52
-
53
- Source_2 = model_diamond.Concept("Source_2", extends=[diamond.Node])
54
- Target_2 = model_diamond.Concept("Target_2", extends=[diamond.Node])
55
-
56
- define(Source_2(source_2))
57
- define(Target_2(target_2))
58
-
59
- source_ball_2, target_ball_2 = two_balls_upto(diamond, Source_2, Target_2)
60
- iter_source_2 = select(n, v.id).where(source_ball_2(n, v)).to_df()
61
- set_source_ball_2 = set(row for row in iter_source_2.itertuples(index = False, name = None))
62
- iter_target_2 = select(n, v.id).where(target_ball_2(n, v)).to_df()
63
- set_target_ball_2 = set(row for row in iter_target_2.itertuples(index = False, name = None))
64
-
65
- expected_source_ball_2 = {
66
- (0, 2), (1, 4), (2, 5), (2, 6)
67
- }
68
-
69
- expected_target_ball_2 = {
70
- (0, 8), (1, 7), (2, 5), (2, 6)
71
- }
72
-
73
- assert (
74
- set_source_ball_2 == expected_source_ball_2 and
75
- set_target_ball_2 == expected_target_ball_2
76
- )
@@ -1,110 +0,0 @@
1
- from v0.relationalai.semantics import Model, Integer, define, select
2
- from v0.relationalai.experimental.paths.graph import Graph
3
- from v0.relationalai.experimental.paths.path_algorithms.two_sided_balls_upto import two_balls_upto
4
-
5
-
6
- # Test with grid graph
7
- model_grid = Model("test_two_balls_upto_single grid", dry_run=False)
8
-
9
- grid = Graph.construct_grid(model_grid, 3)
10
-
11
- n = Integer.ref()
12
- u = grid.Node.ref()
13
-
14
- source_1 = grid.Node.new(row = 1, col = 1)
15
- target_1 = grid.Node.new(row = 3, col = 3)
16
-
17
- Source_1 = model_grid.Concept("Source_1", extends=[grid.Node])
18
- Target_1 = model_grid.Concept("Target_1", extends=[grid.Node])
19
-
20
- define(Source_1(source_1))
21
- define(Target_1(target_1))
22
-
23
- source_ball_1, target_ball_1 = two_balls_upto(grid, Source_1, Target_1)
24
- iter_source_1 = select(n, u.row, u.col).where(source_ball_1(n, u)).to_df()
25
- set_source_ball_1 = set(row for row in iter_source_1.itertuples(index = False, name = None))
26
- iter_target_1 = select(n, u.row, u.col).where(target_ball_1(n, u)).to_df()
27
- set_target_ball_1 = set(row for row in iter_target_1.itertuples(index = False, name = None))
28
-
29
- expected_source_ball_1 = {
30
- (0, 1, 1), (1, 1, 2), (1, 2, 1), (2, 1, 3), (2, 2, 2), (2, 3, 1)
31
- }
32
-
33
- expected_target_ball_1 = {
34
- (0, 3, 3), (1, 3, 2), (1, 2, 3), (2, 1, 3), (2, 2, 2), (2, 3, 1)
35
- }
36
-
37
- assert (
38
- set_source_ball_1 == expected_source_ball_1 and
39
- set_target_ball_1 == expected_target_ball_1
40
- )
41
-
42
-
43
- # First test with diamond graph
44
- model_diamond = Model("test_two_balls_upto_single diamond", dry_run=False)
45
-
46
- diamond = Graph.construct_diamond(model_diamond, 3)
47
-
48
- v = diamond.Node.ref()
49
-
50
- source_2 = diamond.Node.new(id = 2)
51
- target_2 = diamond.Node.new(id = 8)
52
-
53
- Source_2 = model_diamond.Concept("Source_2", extends=[diamond.Node])
54
- Target_2 = model_diamond.Concept("Target_2", extends=[diamond.Node])
55
-
56
- define(Source_2(source_2))
57
- define(Target_2(target_2))
58
-
59
- source_ball_2, target_ball_2 = two_balls_upto(diamond, Source_2, Target_2)
60
- iter_source_2 = select(n, v.id).where(source_ball_2(n, v)).to_df()
61
- set_source_ball_2 = set(row for row in iter_source_2.itertuples(index = False, name = None))
62
- iter_target_2 = select(n, v.id).where(target_ball_2(n, v)).to_df()
63
- set_target_ball_2 = set(row for row in iter_target_2.itertuples(index = False, name = None))
64
-
65
- expected_source_ball_2 = {
66
- (0, 2), (1, 4), (2, 5), (2, 6)
67
- }
68
-
69
- expected_target_ball_2 = {
70
- (0, 8), (1, 7), (2, 5), (2, 6)
71
- }
72
-
73
- assert (
74
- set_source_ball_2 == expected_source_ball_2 and
75
- set_target_ball_2 == expected_target_ball_2
76
- )
77
-
78
-
79
- # Second test with diamond graph
80
- source_3_1 = diamond.Node.new(id = 2)
81
- source_3_2 = diamond.Node.new(id = 4)
82
- target_3_1 = diamond.Node.new(id = 4)
83
- target_3_2 = diamond.Node.new(id = 5)
84
-
85
- Source_3 = model_diamond.Concept("Source_3", extends=[diamond.Node])
86
- Target_3 = model_diamond.Concept("Target_3", extends=[diamond.Node])
87
-
88
- define(Source_3(source_3_1))
89
- define(Source_3(source_3_2))
90
- define(Target_3(target_3_1))
91
- define(Target_3(target_3_2))
92
-
93
- source_ball_3, target_ball_3 = two_balls_upto(diamond, Source_3, Target_3)
94
- iter_source_3 = select(n, v.id).where(source_ball_3(n, v)).to_df()
95
- set_source_ball_3 = set(row for row in iter_source_3.itertuples(index = False, name = None))
96
- iter_target_3 = select(n, v.id).where(target_ball_3(n, v)).to_df()
97
- set_target_ball_3 = set(row for row in iter_target_3.itertuples(index = False, name = None))
98
-
99
- expected_source_ball_3 = {
100
- (0, 2), (0, 4)
101
- }
102
-
103
- expected_target_ball_3 = {
104
- (0, 4), (0, 5)
105
- }
106
-
107
- assert (
108
- set_source_ball_3 == expected_source_ball_3 and
109
- set_target_ball_3 == expected_target_ball_3
110
- )
@@ -1,229 +0,0 @@
1
- from v0.relationalai.semantics import Model, Integer, define, select
2
- from v0.relationalai.experimental.paths.graph import Graph
3
- from v0.relationalai.experimental.paths.path_algorithms.usp import compute_usp, compute_nsp
4
-
5
-
6
- # First test for usp with grid graph
7
- model_grid = Model("test_usp_nsp_multiple grid", dry_run=False)
8
-
9
- grid1 = Graph.construct_grid(model_grid, 3)
10
-
11
- source1_1 = grid1.Node.new(row = 1, col = 1)
12
- source1_2 = grid1.Node.new(row = 1, col = 2)
13
- target1_1 = grid1.Node.new(row = 3, col = 2)
14
- target1_2 = grid1.Node.new(row = 3, col = 3)
15
-
16
- Source1 = model_grid.Concept("Source1", extends=[grid1.Node])
17
- Target1 = model_grid.Concept("Target1", extends=[grid1.Node])
18
-
19
- define(Source1(source1_1))
20
- define(Source1(source1_2))
21
- define(Target1(target1_1))
22
- define(Target1(target1_2))
23
-
24
- u, v = grid1.Node.ref(), grid1.Node.ref()
25
- n = Integer.ref()
26
-
27
- usp1, _ = compute_usp(grid1, Source1, Target1)
28
- iter_usp1 = select(u.row, u.col, v.row, v.col).where(usp1(u, v)).to_df()
29
- set_usp1 = set(row for row in iter_usp1.itertuples(index = False, name = None))
30
-
31
- expected_usp1 = {
32
- (1, 2, 2, 2), (2, 2, 3, 2)
33
- }
34
-
35
- assert set_usp1 == expected_usp1
36
-
37
-
38
- # Second test for usp with grid graph
39
- Target2 = model_grid.Concept("Target2", extends=[grid1.Node])
40
-
41
- define(Target2(target1_2))
42
-
43
- u, v = grid1.Node.ref(), grid1.Node.ref()
44
- n = Integer.ref()
45
-
46
- usp2, _ = compute_usp(grid1, Source1, Target2)
47
- iter_usp2 = select(u.row, u.col, v.row, v.col).where(usp2(u, v)).to_df()
48
- set_usp2 = set(row for row in iter_usp2.itertuples(index = False, name = None))
49
-
50
- expected_usp2 = {
51
- (1, 2, 2, 2), (2, 2, 3, 2),
52
- (1, 3, 2, 3), (2, 3, 3, 3),
53
- (1, 2, 1, 3), (2, 2, 2, 3), (3, 2, 3, 3)
54
- }
55
-
56
- assert set_usp2 == expected_usp2
57
-
58
-
59
- # First test for usp with diamond graph
60
- model_diamond = Model("test_usp_nsp_multiple diamond", dry_run=False)
61
-
62
- diamond3 = Graph.construct_diamond(model_diamond, 3)
63
-
64
- du, dv = diamond3.Node.ref(), diamond3.Node.ref()
65
-
66
- source3_1 = diamond3.Node.new(id = 2)
67
- source3_2 = diamond3.Node.new(id = 3)
68
- target3_1 = diamond3.Node.new(id = 8)
69
- target3_2 = diamond3.Node.new(id = 9)
70
-
71
- Source3 = model_diamond.Concept("Source3", extends=[diamond3.Node])
72
- Target3 = model_diamond.Concept("Target3", extends=[diamond3.Node])
73
-
74
- define(Source3(source3_1))
75
- define(Source3(source3_2))
76
- define(Target3(target3_1))
77
- define(Target3(target3_2))
78
-
79
- usp3, _ = compute_usp(diamond3, Source3, Target3)
80
- iter_usp3 = select(du.id, dv.id).where(usp3(du, dv)).to_df()
81
- set_usp3 = set(row for row in iter_usp3.itertuples(index = False, name = None))
82
-
83
- expected_usp3 = {
84
- (2, 4), (3, 4), (4, 5), (4, 6), (5, 7), (6, 7), (7, 9), (7, 8)
85
- }
86
-
87
- assert set_usp3 == expected_usp3
88
-
89
-
90
- # First test for nsp with grid graph
91
- nsp1 = compute_nsp(grid1, Source1, Target1)
92
- iter_nsp1 = select(u.row, u.col, n).where(nsp1(u, n)).to_df()
93
- set_nsp1 = set(row for row in iter_nsp1.itertuples(index = False, name = None))
94
-
95
- expected_nsp1 = {
96
- (1, 2, 1), (2, 2, 1), (3, 2, 1)
97
- }
98
-
99
- assert set_nsp1 == expected_nsp1
100
-
101
-
102
- # Second test for nsp with diamond graph
103
- model_diamond_2 = Model("test_usp_nsp_multiple diamond_2", dry_run=False)
104
-
105
- diamond4 = Graph.construct_diamond(model_diamond_2, 5)
106
-
107
- dw = diamond4.Node.ref()
108
-
109
- source4_1 = diamond4.Node.new(id = 4)
110
- source4_2 = diamond4.Node.new(id = 5)
111
- source4_3 = diamond4.Node.new(id = 7)
112
- target4_1 = diamond4.Node.new(id = 7)
113
- target4_2 = diamond4.Node.new(id = 9)
114
- target4_3 = diamond4.Node.new(id = 10)
115
-
116
- Source4 = model_diamond_2.Concept("Source4", extends=[diamond4.Node])
117
- Target4 = model_diamond_2.Concept("Target4", extends=[diamond4.Node])
118
-
119
- define(Source4(source4_1))
120
- define(Source4(source4_2))
121
- define(Source4(source4_3))
122
- define(Target4(target4_1))
123
- define(Target4(target4_2))
124
- define(Target4(target4_3))
125
-
126
- nsp4 = compute_nsp(diamond4, Source4, Target4)
127
- iter_nsp4 = select(dw.id, n).where(nsp4(dw, n)).to_df()
128
- set_nsp4 = set(row for row in iter_nsp4.itertuples(index = False, name = None))
129
-
130
- expected_nsp4 = {
131
- (7, 1)
132
- }
133
-
134
- assert set_nsp4 == expected_nsp4
135
-
136
-
137
- # First test with cyclic graph
138
- model_cyclic = Model("test_usp_nsp_multiple cyclic", dry_run=False)
139
-
140
- cyclic5 = Graph.from_edge_list(model_cyclic, [(1, 2), (2, 3), (3, 4), (2, 5), (5, 2), (5, 6)])
141
-
142
- cu, cv = cyclic5.Node.ref(), cyclic5.Node.ref()
143
-
144
- source5 = cyclic5.Node.new(id = 1)
145
- target5_1 = cyclic5.Node.new(id = 4)
146
- target5_2 = cyclic5.Node.new(id = 6)
147
-
148
- Source5 = model_cyclic.Concept("Source5", extends=[cyclic5.Node])
149
- Target5 = model_cyclic.Concept("Target5", extends=[cyclic5.Node])
150
-
151
- define(Source5(source5))
152
- define(Target5(target5_1))
153
- define(Target5(target5_2))
154
-
155
- usp5, _ = compute_usp(cyclic5, Source5, Target5)
156
- iter_usp5 = select(cu.id, cv.id).where(usp5(cu, cv)).to_df()
157
- set_usp5 = set(row for row in iter_usp5.itertuples(index = False, name = None))
158
-
159
- nsp5 = compute_nsp(cyclic5, Source5, Target5)
160
- iter_nsp5 = select(cu.id, n).where(nsp5(cu, n)).to_df()
161
- set_nsp5 = set(row for row in iter_nsp5.itertuples(index = False, name = None))
162
-
163
- expected_usp5 = {
164
- (1, 2), (2, 3), (3, 4), (2, 5), (5, 6)
165
- }
166
-
167
- expected_nsp5 = {
168
- (1, 2), (2, 2), (3, 1), (4, 1), (5, 1), (6, 1)
169
- }
170
-
171
- assert (
172
- set_usp5 == expected_usp5 and
173
- set_nsp5 == expected_nsp5
174
- )
175
-
176
-
177
- # First test for usp and nsp with undirected diamond graph
178
- model_und = Model("test_usp_nsp_multiple und", dry_run=False)
179
-
180
- diamond6 = Graph.construct_diamond(model_und, 5, "undirected")
181
-
182
- uu, uv = diamond6.Node.ref(), diamond6.Node.ref()
183
-
184
- source6_1 = diamond6.Node.new(id = 7)
185
- source6_2 = diamond6.Node.new(id = 10)
186
- target6_1 = diamond6.Node.new(id = 4)
187
- target6_2 = diamond6.Node.new(id = 13)
188
-
189
- Source6 = model_und.Concept("Source6", extends=[diamond6.Node])
190
- Target6 = model_und.Concept("Target6", extends=[diamond6.Node])
191
-
192
- define(Source6(source6_1))
193
- define(Source6(source6_2))
194
- define(Target6(target6_1))
195
- define(Target6(target6_2))
196
-
197
- usp6, _ = compute_usp(diamond6, Source6, Target6)
198
- iter_usp6 = select(uu.id, uv.id).where(usp6(uu, uv)).to_df()
199
- set_usp6 = set(row for row in iter_usp6.itertuples(index = False, name = None))
200
-
201
- nsp6 = compute_nsp(diamond6, Source6, Target6)
202
- iter_nsp6 = select(uu.id, n).where(nsp6(uu, n)).to_df()
203
- set_nsp6 = set(row for row in iter_nsp6.itertuples(index = False, name = None))
204
-
205
- expected_usp6 = {
206
- (7, 6), (7, 5), (6, 4), (5, 4),
207
- (10, 11), (10, 12), (11, 13), (12, 13)
208
- }
209
-
210
- expected_nsp6 = {
211
- (4, 1), (5, 1), (6, 1), (7, 2),
212
- (13, 1), (12, 1), (11, 1), (10, 2)
213
- }
214
-
215
- assert (
216
- set_usp6 == expected_usp6 and
217
- set_nsp6 == expected_nsp6
218
- )
219
-
220
-
221
- # First test for usp and nsp with grid graph
222
- target7 = grid1.Node.new(row = 4, col = 4)
223
-
224
- Target7 = model_grid.Concept("Target7", extends=[grid1.Node])
225
-
226
- usp7, _ = compute_usp(grid1, Source1, Target7)
227
- nsp7 = compute_nsp(grid1, Source1, Target7)
228
-
229
- assert usp7.to_df().empty and nsp7.to_df().empty
@@ -1,108 +0,0 @@
1
- from v0.relationalai.semantics import Model, Integer, define, select
2
- from v0.relationalai.experimental.paths.graph import Graph
3
- from v0.relationalai.experimental.paths.path_algorithms.usp import compute_usp, compute_nsp
4
-
5
-
6
- # First test for usp with grid graph
7
- model_grid = Model("test_usp_nsp_single grid", dry_run=False)
8
-
9
- grid1 = Graph.construct_grid(model_grid, 3)
10
-
11
- source1 = grid1.Node.new(row = 1, col = 1)
12
- target1 = grid1.Node.new(row = 3, col = 3)
13
-
14
- Source1 = model_grid.Concept("Source1", extends=[grid1.Node])
15
- Target1 = model_grid.Concept("Target1", extends=[grid1.Node])
16
-
17
- define(Source1(source1))
18
- define(Target1(target1))
19
-
20
- u, v = grid1.Node.ref(), grid1.Node.ref()
21
- n = Integer.ref()
22
-
23
- usp1, _ = compute_usp(grid1, Source1, Target1)
24
- iter_usp1 = select(u.row, u.col, v.row, v.col).where(usp1(u, v)).to_df()
25
- set_usp1 = set(row for row in iter_usp1.itertuples(index = False, name = None))
26
-
27
- expected_usp1 = {
28
- (1, 1, 2, 1), (2, 1, 3, 1),
29
- (1, 2, 2, 2), (2, 2, 3, 2),
30
- (1, 3, 2, 3), (2, 3, 3, 3),
31
- (1, 1, 1, 2), (1, 2, 1, 3),
32
- (2, 1, 2, 2), (2, 2, 2, 3),
33
- (3, 1, 3, 2), (3, 2, 3, 3)
34
- }
35
-
36
- assert set_usp1 == expected_usp1
37
-
38
-
39
- # Second test for usp with diamond graph
40
- model_diamond = Model("test_usp_nsp_single diamond", dry_run=False)
41
-
42
- diamond2 = Graph.construct_diamond(model_diamond, 3)
43
-
44
- du, dv = diamond2.Node.ref(), diamond2.Node.ref()
45
-
46
- source2 = diamond2.Node.new(id = 2)
47
- target2 = diamond2.Node.new(id = 9)
48
-
49
- Source2 = model_diamond.Concept("Source2", extends=[diamond2.Node])
50
- Target2 = model_diamond.Concept("Target2", extends=[diamond2.Node])
51
-
52
- define(Source2(source2))
53
- define(Target2(target2))
54
-
55
- usp2, _ = compute_usp(diamond2, Source2, Target2)
56
- iter_usp2 = select(du.id, dv.id).where(usp2(du, dv)).to_df()
57
- set_usp2 = set(row for row in iter_usp2.itertuples(index = False, name = None))
58
-
59
- expected_usp2 = {
60
- (2, 4), (4, 5), (4, 6), (5, 7), (6, 7), (7, 9)
61
- }
62
-
63
- assert set_usp2 == expected_usp2
64
-
65
-
66
- # First test for nsp with grid graph
67
- nsp1 = compute_nsp(grid1, Source1, Target1)
68
- iter_nsp1 = select(u.row, u.col, n).where(nsp1(u, n)).to_df()
69
- set_nsp1 = set(row for row in iter_nsp1.itertuples(index = False, name = None))
70
-
71
- expected_nsp1 = {
72
- (1, 1, 6), (1, 2, 3), (2, 1, 3), (3, 1, 1), (2, 2, 2), (1, 3, 1),
73
- (2, 3, 1), (3, 2, 1), (3, 3, 1)
74
- }
75
-
76
- assert set_nsp1 == expected_nsp1
77
-
78
-
79
- """# Second test for nsp with diamond graph
80
- model_diamond_2 = Model("test_usp_nsp_single diamond_2", dry_run=False)
81
-
82
- diamond3 = Graph.construct_diamond(model_diamond_2, 5)
83
-
84
- dw = diamond3.Node.ref()
85
-
86
- source3 = diamond3.Node.new(id = 1)
87
- target3 = diamond3.Node.new(id = 16)
88
-
89
- Source3 = model_diamond_2.Concept("Source3", extends=[diamond3.Node])
90
- Target3 = model_diamond_2.Concept("Target3", extends=[diamond3.Node])
91
-
92
- define(Source3(source3))
93
- define(Target3(target3))
94
-
95
- nsp3 = compute_nsp(diamond3, Source3, Target3)
96
- iter_nsp3 = select(dw.id, n).where(nsp3(dw, n)).to_df()
97
- set_nsp3 = set(row for row in iter_nsp3.itertuples(index = False, name = None))
98
-
99
- expected_nsp3 = {
100
- (1, 32),
101
- (2, 16), (3, 16), (4, 16),
102
- (5, 8), (6, 8), (7, 8),
103
- (8, 4), (9, 4), (10, 4),
104
- (11, 2), (12, 2), (13, 2),
105
- (14, 1), (15, 1), (16, 1)
106
- }
107
-
108
- assert set_nsp3 == expected_nsp3"""