relationalai 0.13.0__py3-none-any.whl → 0.13.0.dev0__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.
- relationalai/__init__.py +1 -256
- relationalai/config/__init__.py +56 -0
- relationalai/config/config.py +289 -0
- relationalai/config/config_fields.py +86 -0
- relationalai/config/connections/__init__.py +46 -0
- relationalai/config/connections/base.py +23 -0
- relationalai/config/connections/duckdb.py +29 -0
- relationalai/config/connections/snowflake.py +243 -0
- relationalai/config/external/__init__.py +17 -0
- relationalai/config/external/dbt_converter.py +101 -0
- relationalai/config/external/dbt_models.py +93 -0
- relationalai/config/external/snowflake_converter.py +41 -0
- relationalai/config/external/snowflake_models.py +85 -0
- relationalai/config/external/utils.py +19 -0
- relationalai/semantics/__init__.py +146 -22
- relationalai/semantics/backends/lqp/annotations.py +11 -0
- relationalai/semantics/backends/sql/sql_compiler.py +327 -0
- relationalai/semantics/frontend/base.py +1707 -0
- relationalai/semantics/frontend/core.py +179 -0
- relationalai/semantics/frontend/front_compiler.py +1313 -0
- relationalai/semantics/frontend/pprint.py +408 -0
- relationalai/semantics/metamodel/__init__.py +6 -40
- relationalai/semantics/metamodel/builtins.py +205 -771
- relationalai/semantics/metamodel/metamodel.py +437 -0
- relationalai/semantics/metamodel/metamodel_analyzer.py +519 -0
- relationalai/semantics/metamodel/pprint.py +412 -0
- relationalai/semantics/metamodel/rewriter.py +266 -0
- relationalai/semantics/metamodel/typer.py +1378 -0
- relationalai/semantics/std/__init__.py +60 -40
- relationalai/semantics/std/aggregates.py +149 -0
- relationalai/semantics/std/common.py +44 -0
- relationalai/semantics/std/constraints.py +37 -43
- relationalai/semantics/std/datetime.py +246 -135
- relationalai/semantics/std/decimals.py +45 -52
- relationalai/semantics/std/floats.py +13 -5
- relationalai/semantics/std/integers.py +26 -11
- relationalai/semantics/std/math.py +183 -112
- relationalai/semantics/std/numbers.py +86 -0
- relationalai/semantics/std/re.py +80 -62
- relationalai/semantics/std/strings.py +117 -60
- relationalai/shims/executor.py +147 -0
- relationalai/shims/helpers.py +126 -0
- relationalai/shims/hoister.py +221 -0
- relationalai/shims/mm2v0.py +1290 -0
- relationalai/tools/cli/__init__.py +6 -0
- relationalai/tools/cli/cli.py +90 -0
- relationalai/tools/cli/components/__init__.py +5 -0
- relationalai/tools/cli/components/progress_reader.py +1524 -0
- relationalai/tools/cli/components/utils.py +58 -0
- relationalai/tools/cli/config_template.py +45 -0
- relationalai/tools/cli/dev.py +19 -0
- relationalai/tools/debugger.py +289 -183
- relationalai/tools/typer_debugger.py +93 -0
- relationalai/util/dataclasses.py +43 -0
- relationalai/util/docutils.py +40 -0
- relationalai/util/error.py +199 -0
- relationalai/util/format.py +48 -106
- relationalai/util/naming.py +145 -0
- relationalai/util/python.py +35 -0
- relationalai/util/runtime.py +156 -0
- relationalai/util/schema.py +197 -0
- relationalai/util/source.py +185 -0
- relationalai/util/structures.py +163 -0
- relationalai/util/tracing.py +261 -0
- relationalai-0.13.0.dev0.dist-info/METADATA +46 -0
- relationalai-0.13.0.dev0.dist-info/RECORD +488 -0
- relationalai-0.13.0.dev0.dist-info/WHEEL +5 -0
- relationalai-0.13.0.dev0.dist-info/entry_points.txt +3 -0
- relationalai-0.13.0.dev0.dist-info/top_level.txt +2 -0
- v0/relationalai/__init__.py +216 -0
- v0/relationalai/clients/__init__.py +5 -0
- v0/relationalai/clients/azure.py +477 -0
- v0/relationalai/clients/client.py +912 -0
- v0/relationalai/clients/config.py +673 -0
- v0/relationalai/clients/direct_access_client.py +118 -0
- v0/relationalai/clients/hash_util.py +31 -0
- v0/relationalai/clients/local.py +571 -0
- v0/relationalai/clients/profile_polling.py +73 -0
- v0/relationalai/clients/result_helpers.py +420 -0
- v0/relationalai/clients/snowflake.py +3869 -0
- v0/relationalai/clients/types.py +113 -0
- v0/relationalai/clients/use_index_poller.py +980 -0
- v0/relationalai/clients/util.py +356 -0
- v0/relationalai/debugging.py +389 -0
- v0/relationalai/dsl.py +1749 -0
- v0/relationalai/early_access/builder/__init__.py +30 -0
- v0/relationalai/early_access/builder/builder/__init__.py +35 -0
- v0/relationalai/early_access/builder/snowflake/__init__.py +12 -0
- v0/relationalai/early_access/builder/std/__init__.py +25 -0
- v0/relationalai/early_access/builder/std/decimals/__init__.py +12 -0
- v0/relationalai/early_access/builder/std/integers/__init__.py +12 -0
- v0/relationalai/early_access/builder/std/math/__init__.py +12 -0
- v0/relationalai/early_access/builder/std/strings/__init__.py +14 -0
- v0/relationalai/early_access/devtools/__init__.py +12 -0
- v0/relationalai/early_access/devtools/benchmark_lqp/__init__.py +12 -0
- v0/relationalai/early_access/devtools/extract_lqp/__init__.py +12 -0
- v0/relationalai/early_access/dsl/adapters/orm/adapter_qb.py +427 -0
- v0/relationalai/early_access/dsl/adapters/orm/parser.py +636 -0
- v0/relationalai/early_access/dsl/adapters/owl/adapter.py +176 -0
- v0/relationalai/early_access/dsl/adapters/owl/parser.py +160 -0
- v0/relationalai/early_access/dsl/bindings/common.py +402 -0
- v0/relationalai/early_access/dsl/bindings/csv.py +170 -0
- v0/relationalai/early_access/dsl/bindings/legacy/binding_models.py +143 -0
- v0/relationalai/early_access/dsl/bindings/snowflake.py +64 -0
- v0/relationalai/early_access/dsl/codegen/binder.py +411 -0
- v0/relationalai/early_access/dsl/codegen/common.py +79 -0
- v0/relationalai/early_access/dsl/codegen/helpers.py +23 -0
- v0/relationalai/early_access/dsl/codegen/relations.py +700 -0
- v0/relationalai/early_access/dsl/codegen/weaver.py +417 -0
- v0/relationalai/early_access/dsl/core/builders/__init__.py +47 -0
- v0/relationalai/early_access/dsl/core/builders/logic.py +19 -0
- v0/relationalai/early_access/dsl/core/builders/scalar_constraint.py +11 -0
- v0/relationalai/early_access/dsl/core/constraints/predicate/atomic.py +455 -0
- v0/relationalai/early_access/dsl/core/constraints/predicate/universal.py +73 -0
- v0/relationalai/early_access/dsl/core/constraints/scalar.py +310 -0
- v0/relationalai/early_access/dsl/core/context.py +13 -0
- v0/relationalai/early_access/dsl/core/cset.py +132 -0
- v0/relationalai/early_access/dsl/core/exprs/__init__.py +116 -0
- v0/relationalai/early_access/dsl/core/exprs/relational.py +18 -0
- v0/relationalai/early_access/dsl/core/exprs/scalar.py +412 -0
- v0/relationalai/early_access/dsl/core/instances.py +44 -0
- v0/relationalai/early_access/dsl/core/logic/__init__.py +193 -0
- v0/relationalai/early_access/dsl/core/logic/aggregation.py +98 -0
- v0/relationalai/early_access/dsl/core/logic/exists.py +223 -0
- v0/relationalai/early_access/dsl/core/logic/helper.py +163 -0
- v0/relationalai/early_access/dsl/core/namespaces.py +32 -0
- v0/relationalai/early_access/dsl/core/relations.py +276 -0
- v0/relationalai/early_access/dsl/core/rules.py +112 -0
- v0/relationalai/early_access/dsl/core/std/__init__.py +45 -0
- v0/relationalai/early_access/dsl/core/temporal/recall.py +6 -0
- v0/relationalai/early_access/dsl/core/types/__init__.py +270 -0
- v0/relationalai/early_access/dsl/core/types/concepts.py +128 -0
- v0/relationalai/early_access/dsl/core/types/constrained/__init__.py +267 -0
- v0/relationalai/early_access/dsl/core/types/constrained/nominal.py +143 -0
- v0/relationalai/early_access/dsl/core/types/constrained/subtype.py +124 -0
- v0/relationalai/early_access/dsl/core/types/standard.py +92 -0
- v0/relationalai/early_access/dsl/core/types/unconstrained.py +50 -0
- v0/relationalai/early_access/dsl/core/types/variables.py +203 -0
- v0/relationalai/early_access/dsl/ir/compiler.py +318 -0
- v0/relationalai/early_access/dsl/ir/executor.py +260 -0
- v0/relationalai/early_access/dsl/ontologies/constraints.py +88 -0
- v0/relationalai/early_access/dsl/ontologies/export.py +30 -0
- v0/relationalai/early_access/dsl/ontologies/models.py +453 -0
- v0/relationalai/early_access/dsl/ontologies/python_printer.py +303 -0
- v0/relationalai/early_access/dsl/ontologies/readings.py +60 -0
- v0/relationalai/early_access/dsl/ontologies/relationships.py +322 -0
- v0/relationalai/early_access/dsl/ontologies/roles.py +87 -0
- v0/relationalai/early_access/dsl/ontologies/subtyping.py +55 -0
- v0/relationalai/early_access/dsl/orm/constraints.py +438 -0
- v0/relationalai/early_access/dsl/orm/measures/dimensions.py +200 -0
- v0/relationalai/early_access/dsl/orm/measures/initializer.py +16 -0
- v0/relationalai/early_access/dsl/orm/measures/measure_rules.py +275 -0
- v0/relationalai/early_access/dsl/orm/measures/measures.py +299 -0
- v0/relationalai/early_access/dsl/orm/measures/role_exprs.py +268 -0
- v0/relationalai/early_access/dsl/orm/models.py +256 -0
- v0/relationalai/early_access/dsl/orm/object_oriented_printer.py +344 -0
- v0/relationalai/early_access/dsl/orm/printer.py +469 -0
- v0/relationalai/early_access/dsl/orm/reasoners.py +480 -0
- v0/relationalai/early_access/dsl/orm/relations.py +19 -0
- v0/relationalai/early_access/dsl/orm/relationships.py +251 -0
- v0/relationalai/early_access/dsl/orm/types.py +42 -0
- v0/relationalai/early_access/dsl/orm/utils.py +79 -0
- v0/relationalai/early_access/dsl/orm/verb.py +204 -0
- v0/relationalai/early_access/dsl/physical_metadata/tables.py +133 -0
- v0/relationalai/early_access/dsl/relations.py +170 -0
- v0/relationalai/early_access/dsl/rulesets.py +69 -0
- v0/relationalai/early_access/dsl/schemas/__init__.py +450 -0
- v0/relationalai/early_access/dsl/schemas/builder.py +48 -0
- v0/relationalai/early_access/dsl/schemas/comp_names.py +51 -0
- v0/relationalai/early_access/dsl/schemas/components.py +203 -0
- v0/relationalai/early_access/dsl/schemas/contexts.py +156 -0
- v0/relationalai/early_access/dsl/schemas/exprs.py +89 -0
- v0/relationalai/early_access/dsl/schemas/fragments.py +464 -0
- v0/relationalai/early_access/dsl/serialization.py +79 -0
- v0/relationalai/early_access/dsl/serialize/exporter.py +163 -0
- v0/relationalai/early_access/dsl/snow/api.py +104 -0
- v0/relationalai/early_access/dsl/snow/common.py +76 -0
- v0/relationalai/early_access/dsl/state_mgmt/__init__.py +129 -0
- v0/relationalai/early_access/dsl/state_mgmt/state_charts.py +125 -0
- v0/relationalai/early_access/dsl/state_mgmt/transitions.py +130 -0
- v0/relationalai/early_access/dsl/types/__init__.py +40 -0
- v0/relationalai/early_access/dsl/types/concepts.py +12 -0
- v0/relationalai/early_access/dsl/types/entities.py +135 -0
- v0/relationalai/early_access/dsl/types/values.py +17 -0
- v0/relationalai/early_access/dsl/utils.py +102 -0
- v0/relationalai/early_access/graphs/__init__.py +13 -0
- v0/relationalai/early_access/lqp/__init__.py +12 -0
- v0/relationalai/early_access/lqp/compiler/__init__.py +12 -0
- v0/relationalai/early_access/lqp/constructors/__init__.py +18 -0
- v0/relationalai/early_access/lqp/executor/__init__.py +12 -0
- v0/relationalai/early_access/lqp/ir/__init__.py +12 -0
- v0/relationalai/early_access/lqp/passes/__init__.py +12 -0
- v0/relationalai/early_access/lqp/pragmas/__init__.py +12 -0
- v0/relationalai/early_access/lqp/primitives/__init__.py +12 -0
- v0/relationalai/early_access/lqp/types/__init__.py +12 -0
- v0/relationalai/early_access/lqp/utils/__init__.py +12 -0
- v0/relationalai/early_access/lqp/validators/__init__.py +12 -0
- v0/relationalai/early_access/metamodel/__init__.py +58 -0
- v0/relationalai/early_access/metamodel/builtins/__init__.py +12 -0
- v0/relationalai/early_access/metamodel/compiler/__init__.py +12 -0
- v0/relationalai/early_access/metamodel/dependency/__init__.py +12 -0
- v0/relationalai/early_access/metamodel/factory/__init__.py +17 -0
- v0/relationalai/early_access/metamodel/helpers/__init__.py +12 -0
- v0/relationalai/early_access/metamodel/ir/__init__.py +14 -0
- v0/relationalai/early_access/metamodel/rewrite/__init__.py +7 -0
- v0/relationalai/early_access/metamodel/typer/__init__.py +3 -0
- v0/relationalai/early_access/metamodel/typer/typer/__init__.py +12 -0
- v0/relationalai/early_access/metamodel/types/__init__.py +15 -0
- v0/relationalai/early_access/metamodel/util/__init__.py +15 -0
- v0/relationalai/early_access/metamodel/visitor/__init__.py +12 -0
- v0/relationalai/early_access/rel/__init__.py +12 -0
- v0/relationalai/early_access/rel/executor/__init__.py +12 -0
- v0/relationalai/early_access/rel/rel_utils/__init__.py +12 -0
- v0/relationalai/early_access/rel/rewrite/__init__.py +7 -0
- v0/relationalai/early_access/solvers/__init__.py +19 -0
- v0/relationalai/early_access/sql/__init__.py +11 -0
- v0/relationalai/early_access/sql/executor/__init__.py +3 -0
- v0/relationalai/early_access/sql/rewrite/__init__.py +3 -0
- v0/relationalai/early_access/tests/logging/__init__.py +12 -0
- v0/relationalai/early_access/tests/test_snapshot_base/__init__.py +12 -0
- v0/relationalai/early_access/tests/utils/__init__.py +12 -0
- v0/relationalai/environments/__init__.py +35 -0
- v0/relationalai/environments/base.py +381 -0
- v0/relationalai/environments/colab.py +14 -0
- v0/relationalai/environments/generic.py +71 -0
- v0/relationalai/environments/ipython.py +68 -0
- v0/relationalai/environments/jupyter.py +9 -0
- v0/relationalai/environments/snowbook.py +169 -0
- v0/relationalai/errors.py +2455 -0
- v0/relationalai/experimental/SF.py +38 -0
- v0/relationalai/experimental/inspect.py +47 -0
- v0/relationalai/experimental/pathfinder/__init__.py +158 -0
- v0/relationalai/experimental/pathfinder/api.py +160 -0
- v0/relationalai/experimental/pathfinder/automaton.py +584 -0
- v0/relationalai/experimental/pathfinder/bridge.py +226 -0
- v0/relationalai/experimental/pathfinder/compiler.py +416 -0
- v0/relationalai/experimental/pathfinder/datalog.py +214 -0
- v0/relationalai/experimental/pathfinder/diagnostics.py +56 -0
- v0/relationalai/experimental/pathfinder/filter.py +236 -0
- v0/relationalai/experimental/pathfinder/glushkov.py +439 -0
- v0/relationalai/experimental/pathfinder/options.py +265 -0
- v0/relationalai/experimental/pathfinder/rpq.py +344 -0
- v0/relationalai/experimental/pathfinder/transition.py +200 -0
- v0/relationalai/experimental/pathfinder/utils.py +26 -0
- v0/relationalai/experimental/paths/api.py +143 -0
- v0/relationalai/experimental/paths/benchmarks/grid_graph.py +37 -0
- v0/relationalai/experimental/paths/examples/basic_example.py +40 -0
- v0/relationalai/experimental/paths/examples/minimal_engine_warmup.py +3 -0
- v0/relationalai/experimental/paths/examples/movie_example.py +77 -0
- v0/relationalai/experimental/paths/examples/paths_benchmark.py +115 -0
- v0/relationalai/experimental/paths/examples/paths_example.py +116 -0
- v0/relationalai/experimental/paths/examples/pattern_to_automaton.py +28 -0
- v0/relationalai/experimental/paths/find_paths_via_automaton.py +85 -0
- v0/relationalai/experimental/paths/graph.py +185 -0
- v0/relationalai/experimental/paths/path_algorithms/find_paths.py +280 -0
- v0/relationalai/experimental/paths/path_algorithms/one_sided_ball_repetition.py +26 -0
- v0/relationalai/experimental/paths/path_algorithms/one_sided_ball_upto.py +111 -0
- v0/relationalai/experimental/paths/path_algorithms/single.py +59 -0
- v0/relationalai/experimental/paths/path_algorithms/two_sided_balls_repetition.py +39 -0
- v0/relationalai/experimental/paths/path_algorithms/two_sided_balls_upto.py +103 -0
- v0/relationalai/experimental/paths/path_algorithms/usp-old.py +130 -0
- v0/relationalai/experimental/paths/path_algorithms/usp-tuple.py +183 -0
- v0/relationalai/experimental/paths/path_algorithms/usp.py +150 -0
- v0/relationalai/experimental/paths/product_graph.py +93 -0
- v0/relationalai/experimental/paths/rpq/automaton.py +584 -0
- v0/relationalai/experimental/paths/rpq/diagnostics.py +56 -0
- v0/relationalai/experimental/paths/rpq/rpq.py +378 -0
- v0/relationalai/experimental/paths/tests/tests_limit_sp_max_length.py +90 -0
- v0/relationalai/experimental/paths/tests/tests_limit_sp_multiple.py +119 -0
- v0/relationalai/experimental/paths/tests/tests_limit_sp_single.py +104 -0
- v0/relationalai/experimental/paths/tests/tests_limit_walks_multiple.py +113 -0
- v0/relationalai/experimental/paths/tests/tests_limit_walks_single.py +149 -0
- v0/relationalai/experimental/paths/tests/tests_one_sided_ball_repetition_multiple.py +70 -0
- v0/relationalai/experimental/paths/tests/tests_one_sided_ball_repetition_single.py +64 -0
- v0/relationalai/experimental/paths/tests/tests_one_sided_ball_upto_multiple.py +115 -0
- v0/relationalai/experimental/paths/tests/tests_one_sided_ball_upto_single.py +75 -0
- v0/relationalai/experimental/paths/tests/tests_single_paths.py +152 -0
- v0/relationalai/experimental/paths/tests/tests_single_walks.py +208 -0
- v0/relationalai/experimental/paths/tests/tests_single_walks_undirected.py +297 -0
- v0/relationalai/experimental/paths/tests/tests_two_sided_balls_repetition_multiple.py +107 -0
- v0/relationalai/experimental/paths/tests/tests_two_sided_balls_repetition_single.py +76 -0
- v0/relationalai/experimental/paths/tests/tests_two_sided_balls_upto_multiple.py +76 -0
- v0/relationalai/experimental/paths/tests/tests_two_sided_balls_upto_single.py +110 -0
- v0/relationalai/experimental/paths/tests/tests_usp_nsp_multiple.py +229 -0
- v0/relationalai/experimental/paths/tests/tests_usp_nsp_single.py +108 -0
- v0/relationalai/experimental/paths/tree_agg.py +168 -0
- v0/relationalai/experimental/paths/utilities/iterators.py +27 -0
- v0/relationalai/experimental/paths/utilities/prefix_sum.py +91 -0
- v0/relationalai/experimental/solvers.py +1087 -0
- v0/relationalai/loaders/__init__.py +0 -0
- v0/relationalai/loaders/csv.py +195 -0
- v0/relationalai/loaders/loader.py +177 -0
- v0/relationalai/loaders/types.py +23 -0
- v0/relationalai/rel_emitter.py +373 -0
- v0/relationalai/rel_utils.py +185 -0
- v0/relationalai/semantics/__init__.py +29 -0
- v0/relationalai/semantics/devtools/benchmark_lqp.py +536 -0
- v0/relationalai/semantics/devtools/compilation_manager.py +294 -0
- v0/relationalai/semantics/devtools/extract_lqp.py +110 -0
- v0/relationalai/semantics/internal/internal.py +3785 -0
- v0/relationalai/semantics/internal/snowflake.py +324 -0
- v0/relationalai/semantics/lqp/builtins.py +16 -0
- v0/relationalai/semantics/lqp/compiler.py +22 -0
- v0/relationalai/semantics/lqp/constructors.py +68 -0
- v0/relationalai/semantics/lqp/executor.py +469 -0
- v0/relationalai/semantics/lqp/intrinsics.py +24 -0
- v0/relationalai/semantics/lqp/model2lqp.py +839 -0
- v0/relationalai/semantics/lqp/passes.py +680 -0
- v0/relationalai/semantics/lqp/primitives.py +252 -0
- v0/relationalai/semantics/lqp/result_helpers.py +202 -0
- v0/relationalai/semantics/lqp/rewrite/annotate_constraints.py +57 -0
- v0/relationalai/semantics/lqp/rewrite/cdc.py +216 -0
- v0/relationalai/semantics/lqp/rewrite/extract_common.py +338 -0
- v0/relationalai/semantics/lqp/rewrite/extract_keys.py +449 -0
- v0/relationalai/semantics/lqp/rewrite/function_annotations.py +114 -0
- v0/relationalai/semantics/lqp/rewrite/functional_dependencies.py +314 -0
- v0/relationalai/semantics/lqp/rewrite/quantify_vars.py +296 -0
- v0/relationalai/semantics/lqp/rewrite/splinter.py +76 -0
- v0/relationalai/semantics/lqp/types.py +101 -0
- v0/relationalai/semantics/lqp/utils.py +160 -0
- v0/relationalai/semantics/lqp/validators.py +57 -0
- v0/relationalai/semantics/metamodel/__init__.py +40 -0
- v0/relationalai/semantics/metamodel/builtins.py +774 -0
- v0/relationalai/semantics/metamodel/compiler.py +133 -0
- v0/relationalai/semantics/metamodel/dependency.py +862 -0
- v0/relationalai/semantics/metamodel/executor.py +61 -0
- v0/relationalai/semantics/metamodel/factory.py +287 -0
- v0/relationalai/semantics/metamodel/helpers.py +361 -0
- v0/relationalai/semantics/metamodel/rewrite/discharge_constraints.py +39 -0
- v0/relationalai/semantics/metamodel/rewrite/dnf_union_splitter.py +210 -0
- v0/relationalai/semantics/metamodel/rewrite/extract_nested_logicals.py +78 -0
- v0/relationalai/semantics/metamodel/rewrite/flatten.py +549 -0
- v0/relationalai/semantics/metamodel/rewrite/format_outputs.py +165 -0
- v0/relationalai/semantics/metamodel/typer/checker.py +353 -0
- v0/relationalai/semantics/metamodel/typer/typer.py +1395 -0
- v0/relationalai/semantics/metamodel/util.py +505 -0
- v0/relationalai/semantics/reasoners/__init__.py +10 -0
- v0/relationalai/semantics/reasoners/graph/__init__.py +37 -0
- v0/relationalai/semantics/reasoners/graph/core.py +9020 -0
- v0/relationalai/semantics/reasoners/optimization/__init__.py +68 -0
- v0/relationalai/semantics/reasoners/optimization/common.py +88 -0
- v0/relationalai/semantics/reasoners/optimization/solvers_dev.py +568 -0
- v0/relationalai/semantics/reasoners/optimization/solvers_pb.py +1163 -0
- v0/relationalai/semantics/rel/builtins.py +40 -0
- v0/relationalai/semantics/rel/compiler.py +989 -0
- v0/relationalai/semantics/rel/executor.py +359 -0
- v0/relationalai/semantics/rel/rel.py +482 -0
- v0/relationalai/semantics/rel/rel_utils.py +276 -0
- v0/relationalai/semantics/snowflake/__init__.py +3 -0
- v0/relationalai/semantics/sql/compiler.py +2503 -0
- v0/relationalai/semantics/sql/executor/duck_db.py +52 -0
- v0/relationalai/semantics/sql/executor/result_helpers.py +64 -0
- v0/relationalai/semantics/sql/executor/snowflake.py +145 -0
- v0/relationalai/semantics/sql/rewrite/denormalize.py +222 -0
- v0/relationalai/semantics/sql/rewrite/double_negation.py +49 -0
- v0/relationalai/semantics/sql/rewrite/recursive_union.py +127 -0
- v0/relationalai/semantics/sql/rewrite/sort_output_query.py +246 -0
- v0/relationalai/semantics/sql/sql.py +504 -0
- v0/relationalai/semantics/std/__init__.py +54 -0
- v0/relationalai/semantics/std/constraints.py +43 -0
- v0/relationalai/semantics/std/datetime.py +363 -0
- v0/relationalai/semantics/std/decimals.py +62 -0
- v0/relationalai/semantics/std/floats.py +7 -0
- v0/relationalai/semantics/std/integers.py +22 -0
- v0/relationalai/semantics/std/math.py +141 -0
- v0/relationalai/semantics/std/pragmas.py +11 -0
- v0/relationalai/semantics/std/re.py +83 -0
- v0/relationalai/semantics/std/std.py +14 -0
- v0/relationalai/semantics/std/strings.py +63 -0
- v0/relationalai/semantics/tests/__init__.py +0 -0
- v0/relationalai/semantics/tests/test_snapshot_abstract.py +143 -0
- v0/relationalai/semantics/tests/test_snapshot_base.py +9 -0
- v0/relationalai/semantics/tests/utils.py +46 -0
- v0/relationalai/std/__init__.py +70 -0
- v0/relationalai/tools/__init__.py +0 -0
- v0/relationalai/tools/cli.py +1940 -0
- v0/relationalai/tools/cli_controls.py +1826 -0
- v0/relationalai/tools/cli_helpers.py +390 -0
- v0/relationalai/tools/debugger.py +183 -0
- v0/relationalai/tools/debugger_client.py +109 -0
- v0/relationalai/tools/debugger_server.py +302 -0
- v0/relationalai/tools/dev.py +685 -0
- v0/relationalai/tools/qb_debugger.py +425 -0
- v0/relationalai/util/clean_up_databases.py +95 -0
- v0/relationalai/util/format.py +123 -0
- v0/relationalai/util/list_databases.py +9 -0
- v0/relationalai/util/otel_configuration.py +25 -0
- v0/relationalai/util/otel_handler.py +484 -0
- v0/relationalai/util/snowflake_handler.py +88 -0
- v0/relationalai/util/span_format_test.py +43 -0
- v0/relationalai/util/span_tracker.py +207 -0
- v0/relationalai/util/spans_file_handler.py +72 -0
- v0/relationalai/util/tracing_handler.py +34 -0
- frontend/debugger/dist/.gitignore +0 -2
- frontend/debugger/dist/assets/favicon-Dy0ZgA6N.png +0 -0
- frontend/debugger/dist/assets/index-Cssla-O7.js +0 -208
- frontend/debugger/dist/assets/index-DlHsYx1V.css +0 -9
- frontend/debugger/dist/index.html +0 -17
- relationalai/clients/__init__.py +0 -18
- relationalai/clients/client.py +0 -912
- relationalai/clients/config.py +0 -673
- relationalai/clients/direct_access_client.py +0 -118
- relationalai/clients/hash_util.py +0 -31
- relationalai/clients/local.py +0 -571
- relationalai/clients/profile_polling.py +0 -73
- relationalai/clients/resources/__init__.py +0 -8
- relationalai/clients/resources/azure/azure.py +0 -477
- relationalai/clients/resources/snowflake/__init__.py +0 -20
- relationalai/clients/resources/snowflake/cli_resources.py +0 -87
- relationalai/clients/resources/snowflake/direct_access_resources.py +0 -711
- relationalai/clients/resources/snowflake/engine_state_handlers.py +0 -309
- relationalai/clients/resources/snowflake/error_handlers.py +0 -199
- relationalai/clients/resources/snowflake/export_procedure.py.jinja +0 -249
- relationalai/clients/resources/snowflake/resources_factory.py +0 -99
- relationalai/clients/resources/snowflake/snowflake.py +0 -3083
- relationalai/clients/resources/snowflake/use_index_poller.py +0 -1011
- relationalai/clients/resources/snowflake/use_index_resources.py +0 -188
- relationalai/clients/resources/snowflake/util.py +0 -387
- relationalai/clients/result_helpers.py +0 -420
- relationalai/clients/types.py +0 -113
- relationalai/clients/util.py +0 -356
- relationalai/debugging.py +0 -389
- relationalai/dsl.py +0 -1749
- relationalai/early_access/builder/__init__.py +0 -30
- relationalai/early_access/builder/builder/__init__.py +0 -35
- relationalai/early_access/builder/snowflake/__init__.py +0 -12
- relationalai/early_access/builder/std/__init__.py +0 -25
- relationalai/early_access/builder/std/decimals/__init__.py +0 -12
- relationalai/early_access/builder/std/integers/__init__.py +0 -12
- relationalai/early_access/builder/std/math/__init__.py +0 -12
- relationalai/early_access/builder/std/strings/__init__.py +0 -14
- relationalai/early_access/devtools/__init__.py +0 -12
- relationalai/early_access/devtools/benchmark_lqp/__init__.py +0 -12
- relationalai/early_access/devtools/extract_lqp/__init__.py +0 -12
- relationalai/early_access/dsl/adapters/orm/adapter_qb.py +0 -427
- relationalai/early_access/dsl/adapters/orm/parser.py +0 -636
- relationalai/early_access/dsl/adapters/owl/adapter.py +0 -176
- relationalai/early_access/dsl/adapters/owl/parser.py +0 -160
- relationalai/early_access/dsl/bindings/common.py +0 -402
- relationalai/early_access/dsl/bindings/csv.py +0 -170
- relationalai/early_access/dsl/bindings/legacy/binding_models.py +0 -143
- relationalai/early_access/dsl/bindings/snowflake.py +0 -64
- relationalai/early_access/dsl/codegen/binder.py +0 -411
- relationalai/early_access/dsl/codegen/common.py +0 -79
- relationalai/early_access/dsl/codegen/helpers.py +0 -23
- relationalai/early_access/dsl/codegen/relations.py +0 -700
- relationalai/early_access/dsl/codegen/weaver.py +0 -417
- relationalai/early_access/dsl/core/builders/__init__.py +0 -47
- relationalai/early_access/dsl/core/builders/logic.py +0 -19
- relationalai/early_access/dsl/core/builders/scalar_constraint.py +0 -11
- relationalai/early_access/dsl/core/constraints/predicate/atomic.py +0 -455
- relationalai/early_access/dsl/core/constraints/predicate/universal.py +0 -73
- relationalai/early_access/dsl/core/constraints/scalar.py +0 -310
- relationalai/early_access/dsl/core/context.py +0 -13
- relationalai/early_access/dsl/core/cset.py +0 -132
- relationalai/early_access/dsl/core/exprs/__init__.py +0 -116
- relationalai/early_access/dsl/core/exprs/relational.py +0 -18
- relationalai/early_access/dsl/core/exprs/scalar.py +0 -412
- relationalai/early_access/dsl/core/instances.py +0 -44
- relationalai/early_access/dsl/core/logic/__init__.py +0 -193
- relationalai/early_access/dsl/core/logic/aggregation.py +0 -98
- relationalai/early_access/dsl/core/logic/exists.py +0 -223
- relationalai/early_access/dsl/core/logic/helper.py +0 -163
- relationalai/early_access/dsl/core/namespaces.py +0 -32
- relationalai/early_access/dsl/core/relations.py +0 -276
- relationalai/early_access/dsl/core/rules.py +0 -112
- relationalai/early_access/dsl/core/std/__init__.py +0 -45
- relationalai/early_access/dsl/core/temporal/recall.py +0 -6
- relationalai/early_access/dsl/core/types/__init__.py +0 -270
- relationalai/early_access/dsl/core/types/concepts.py +0 -128
- relationalai/early_access/dsl/core/types/constrained/__init__.py +0 -267
- relationalai/early_access/dsl/core/types/constrained/nominal.py +0 -143
- relationalai/early_access/dsl/core/types/constrained/subtype.py +0 -124
- relationalai/early_access/dsl/core/types/standard.py +0 -92
- relationalai/early_access/dsl/core/types/unconstrained.py +0 -50
- relationalai/early_access/dsl/core/types/variables.py +0 -203
- relationalai/early_access/dsl/ir/compiler.py +0 -318
- relationalai/early_access/dsl/ir/executor.py +0 -260
- relationalai/early_access/dsl/ontologies/constraints.py +0 -88
- relationalai/early_access/dsl/ontologies/export.py +0 -30
- relationalai/early_access/dsl/ontologies/models.py +0 -453
- relationalai/early_access/dsl/ontologies/python_printer.py +0 -303
- relationalai/early_access/dsl/ontologies/readings.py +0 -60
- relationalai/early_access/dsl/ontologies/relationships.py +0 -322
- relationalai/early_access/dsl/ontologies/roles.py +0 -87
- relationalai/early_access/dsl/ontologies/subtyping.py +0 -55
- relationalai/early_access/dsl/orm/constraints.py +0 -438
- relationalai/early_access/dsl/orm/measures/dimensions.py +0 -200
- relationalai/early_access/dsl/orm/measures/initializer.py +0 -16
- relationalai/early_access/dsl/orm/measures/measure_rules.py +0 -275
- relationalai/early_access/dsl/orm/measures/measures.py +0 -299
- relationalai/early_access/dsl/orm/measures/role_exprs.py +0 -268
- relationalai/early_access/dsl/orm/models.py +0 -256
- relationalai/early_access/dsl/orm/object_oriented_printer.py +0 -344
- relationalai/early_access/dsl/orm/printer.py +0 -469
- relationalai/early_access/dsl/orm/reasoners.py +0 -480
- relationalai/early_access/dsl/orm/relations.py +0 -19
- relationalai/early_access/dsl/orm/relationships.py +0 -251
- relationalai/early_access/dsl/orm/types.py +0 -42
- relationalai/early_access/dsl/orm/utils.py +0 -79
- relationalai/early_access/dsl/orm/verb.py +0 -204
- relationalai/early_access/dsl/physical_metadata/tables.py +0 -133
- relationalai/early_access/dsl/relations.py +0 -170
- relationalai/early_access/dsl/rulesets.py +0 -69
- relationalai/early_access/dsl/schemas/__init__.py +0 -450
- relationalai/early_access/dsl/schemas/builder.py +0 -48
- relationalai/early_access/dsl/schemas/comp_names.py +0 -51
- relationalai/early_access/dsl/schemas/components.py +0 -203
- relationalai/early_access/dsl/schemas/contexts.py +0 -156
- relationalai/early_access/dsl/schemas/exprs.py +0 -89
- relationalai/early_access/dsl/schemas/fragments.py +0 -464
- relationalai/early_access/dsl/serialization.py +0 -79
- relationalai/early_access/dsl/serialize/exporter.py +0 -163
- relationalai/early_access/dsl/snow/api.py +0 -105
- relationalai/early_access/dsl/snow/common.py +0 -76
- relationalai/early_access/dsl/state_mgmt/__init__.py +0 -129
- relationalai/early_access/dsl/state_mgmt/state_charts.py +0 -125
- relationalai/early_access/dsl/state_mgmt/transitions.py +0 -130
- relationalai/early_access/dsl/types/__init__.py +0 -40
- relationalai/early_access/dsl/types/concepts.py +0 -12
- relationalai/early_access/dsl/types/entities.py +0 -135
- relationalai/early_access/dsl/types/values.py +0 -17
- relationalai/early_access/dsl/utils.py +0 -102
- relationalai/early_access/graphs/__init__.py +0 -13
- relationalai/early_access/lqp/__init__.py +0 -12
- relationalai/early_access/lqp/compiler/__init__.py +0 -12
- relationalai/early_access/lqp/constructors/__init__.py +0 -18
- relationalai/early_access/lqp/executor/__init__.py +0 -12
- relationalai/early_access/lqp/ir/__init__.py +0 -12
- relationalai/early_access/lqp/passes/__init__.py +0 -12
- relationalai/early_access/lqp/pragmas/__init__.py +0 -12
- relationalai/early_access/lqp/primitives/__init__.py +0 -12
- relationalai/early_access/lqp/types/__init__.py +0 -12
- relationalai/early_access/lqp/utils/__init__.py +0 -12
- relationalai/early_access/lqp/validators/__init__.py +0 -12
- relationalai/early_access/metamodel/__init__.py +0 -58
- relationalai/early_access/metamodel/builtins/__init__.py +0 -12
- relationalai/early_access/metamodel/compiler/__init__.py +0 -12
- relationalai/early_access/metamodel/dependency/__init__.py +0 -12
- relationalai/early_access/metamodel/factory/__init__.py +0 -17
- relationalai/early_access/metamodel/helpers/__init__.py +0 -12
- relationalai/early_access/metamodel/ir/__init__.py +0 -14
- relationalai/early_access/metamodel/rewrite/__init__.py +0 -7
- relationalai/early_access/metamodel/typer/__init__.py +0 -3
- relationalai/early_access/metamodel/typer/typer/__init__.py +0 -12
- relationalai/early_access/metamodel/types/__init__.py +0 -15
- relationalai/early_access/metamodel/util/__init__.py +0 -15
- relationalai/early_access/metamodel/visitor/__init__.py +0 -12
- relationalai/early_access/rel/__init__.py +0 -12
- relationalai/early_access/rel/executor/__init__.py +0 -12
- relationalai/early_access/rel/rel_utils/__init__.py +0 -12
- relationalai/early_access/rel/rewrite/__init__.py +0 -7
- relationalai/early_access/solvers/__init__.py +0 -19
- relationalai/early_access/sql/__init__.py +0 -11
- relationalai/early_access/sql/executor/__init__.py +0 -3
- relationalai/early_access/sql/rewrite/__init__.py +0 -3
- relationalai/early_access/tests/logging/__init__.py +0 -12
- relationalai/early_access/tests/test_snapshot_base/__init__.py +0 -12
- relationalai/early_access/tests/utils/__init__.py +0 -12
- relationalai/environments/__init__.py +0 -35
- relationalai/environments/base.py +0 -381
- relationalai/environments/colab.py +0 -14
- relationalai/environments/generic.py +0 -71
- relationalai/environments/ipython.py +0 -68
- relationalai/environments/jupyter.py +0 -9
- relationalai/environments/snowbook.py +0 -169
- relationalai/errors.py +0 -2478
- relationalai/experimental/SF.py +0 -38
- relationalai/experimental/inspect.py +0 -47
- relationalai/experimental/pathfinder/__init__.py +0 -158
- relationalai/experimental/pathfinder/api.py +0 -160
- relationalai/experimental/pathfinder/automaton.py +0 -584
- relationalai/experimental/pathfinder/bridge.py +0 -226
- relationalai/experimental/pathfinder/compiler.py +0 -416
- relationalai/experimental/pathfinder/datalog.py +0 -214
- relationalai/experimental/pathfinder/diagnostics.py +0 -56
- relationalai/experimental/pathfinder/filter.py +0 -236
- relationalai/experimental/pathfinder/glushkov.py +0 -439
- relationalai/experimental/pathfinder/options.py +0 -265
- relationalai/experimental/pathfinder/pathfinder-v0.7.0.rel +0 -1951
- relationalai/experimental/pathfinder/rpq.py +0 -344
- relationalai/experimental/pathfinder/transition.py +0 -200
- relationalai/experimental/pathfinder/utils.py +0 -26
- relationalai/experimental/paths/README.md +0 -107
- relationalai/experimental/paths/api.py +0 -143
- relationalai/experimental/paths/benchmarks/grid_graph.py +0 -37
- relationalai/experimental/paths/code_organization.md +0 -2
- relationalai/experimental/paths/examples/Movies.ipynb +0 -16328
- relationalai/experimental/paths/examples/basic_example.py +0 -40
- relationalai/experimental/paths/examples/minimal_engine_warmup.py +0 -3
- relationalai/experimental/paths/examples/movie_example.py +0 -77
- relationalai/experimental/paths/examples/movies_data/actedin.csv +0 -193
- relationalai/experimental/paths/examples/movies_data/directed.csv +0 -45
- relationalai/experimental/paths/examples/movies_data/follows.csv +0 -7
- relationalai/experimental/paths/examples/movies_data/movies.csv +0 -39
- relationalai/experimental/paths/examples/movies_data/person.csv +0 -134
- relationalai/experimental/paths/examples/movies_data/produced.csv +0 -16
- relationalai/experimental/paths/examples/movies_data/ratings.csv +0 -10
- relationalai/experimental/paths/examples/movies_data/wrote.csv +0 -11
- relationalai/experimental/paths/examples/paths_benchmark.py +0 -115
- relationalai/experimental/paths/examples/paths_example.py +0 -116
- relationalai/experimental/paths/examples/pattern_to_automaton.py +0 -28
- relationalai/experimental/paths/find_paths_via_automaton.py +0 -85
- relationalai/experimental/paths/graph.py +0 -185
- relationalai/experimental/paths/path_algorithms/find_paths.py +0 -280
- relationalai/experimental/paths/path_algorithms/one_sided_ball_repetition.py +0 -26
- relationalai/experimental/paths/path_algorithms/one_sided_ball_upto.py +0 -111
- relationalai/experimental/paths/path_algorithms/single.py +0 -59
- relationalai/experimental/paths/path_algorithms/two_sided_balls_repetition.py +0 -39
- relationalai/experimental/paths/path_algorithms/two_sided_balls_upto.py +0 -103
- relationalai/experimental/paths/path_algorithms/usp-old.py +0 -130
- relationalai/experimental/paths/path_algorithms/usp-tuple.py +0 -183
- relationalai/experimental/paths/path_algorithms/usp.py +0 -150
- relationalai/experimental/paths/product_graph.py +0 -93
- relationalai/experimental/paths/rpq/automaton.py +0 -584
- relationalai/experimental/paths/rpq/diagnostics.py +0 -56
- relationalai/experimental/paths/rpq/rpq.py +0 -378
- relationalai/experimental/paths/tests/tests_limit_sp_max_length.py +0 -90
- relationalai/experimental/paths/tests/tests_limit_sp_multiple.py +0 -119
- relationalai/experimental/paths/tests/tests_limit_sp_single.py +0 -104
- relationalai/experimental/paths/tests/tests_limit_walks_multiple.py +0 -113
- relationalai/experimental/paths/tests/tests_limit_walks_single.py +0 -149
- relationalai/experimental/paths/tests/tests_one_sided_ball_repetition_multiple.py +0 -70
- relationalai/experimental/paths/tests/tests_one_sided_ball_repetition_single.py +0 -64
- relationalai/experimental/paths/tests/tests_one_sided_ball_upto_multiple.py +0 -115
- relationalai/experimental/paths/tests/tests_one_sided_ball_upto_single.py +0 -75
- relationalai/experimental/paths/tests/tests_single_paths.py +0 -152
- relationalai/experimental/paths/tests/tests_single_walks.py +0 -208
- relationalai/experimental/paths/tests/tests_single_walks_undirected.py +0 -297
- relationalai/experimental/paths/tests/tests_two_sided_balls_repetition_multiple.py +0 -107
- relationalai/experimental/paths/tests/tests_two_sided_balls_repetition_single.py +0 -76
- relationalai/experimental/paths/tests/tests_two_sided_balls_upto_multiple.py +0 -76
- relationalai/experimental/paths/tests/tests_two_sided_balls_upto_single.py +0 -110
- relationalai/experimental/paths/tests/tests_usp_nsp_multiple.py +0 -229
- relationalai/experimental/paths/tests/tests_usp_nsp_single.py +0 -108
- relationalai/experimental/paths/tree_agg.py +0 -168
- relationalai/experimental/paths/utilities/iterators.py +0 -27
- relationalai/experimental/paths/utilities/prefix_sum.py +0 -91
- relationalai/experimental/solvers.py +0 -1087
- relationalai/loaders/csv.py +0 -195
- relationalai/loaders/loader.py +0 -177
- relationalai/loaders/types.py +0 -23
- relationalai/rel_emitter.py +0 -373
- relationalai/rel_utils.py +0 -185
- relationalai/semantics/designs/query_builder/identify_by.md +0 -106
- relationalai/semantics/devtools/benchmark_lqp.py +0 -535
- relationalai/semantics/devtools/compilation_manager.py +0 -294
- relationalai/semantics/devtools/extract_lqp.py +0 -110
- relationalai/semantics/internal/internal.py +0 -3785
- relationalai/semantics/internal/snowflake.py +0 -325
- relationalai/semantics/lqp/README.md +0 -34
- relationalai/semantics/lqp/builtins.py +0 -16
- relationalai/semantics/lqp/compiler.py +0 -22
- relationalai/semantics/lqp/constructors.py +0 -68
- relationalai/semantics/lqp/executor.py +0 -469
- relationalai/semantics/lqp/intrinsics.py +0 -24
- relationalai/semantics/lqp/model2lqp.py +0 -877
- relationalai/semantics/lqp/passes.py +0 -680
- relationalai/semantics/lqp/primitives.py +0 -252
- relationalai/semantics/lqp/result_helpers.py +0 -202
- relationalai/semantics/lqp/rewrite/annotate_constraints.py +0 -57
- relationalai/semantics/lqp/rewrite/cdc.py +0 -216
- relationalai/semantics/lqp/rewrite/extract_common.py +0 -338
- relationalai/semantics/lqp/rewrite/extract_keys.py +0 -506
- relationalai/semantics/lqp/rewrite/function_annotations.py +0 -114
- relationalai/semantics/lqp/rewrite/functional_dependencies.py +0 -314
- relationalai/semantics/lqp/rewrite/quantify_vars.py +0 -296
- relationalai/semantics/lqp/rewrite/splinter.py +0 -76
- relationalai/semantics/lqp/types.py +0 -101
- relationalai/semantics/lqp/utils.py +0 -160
- relationalai/semantics/lqp/validators.py +0 -57
- relationalai/semantics/metamodel/compiler.py +0 -133
- relationalai/semantics/metamodel/dependency.py +0 -862
- relationalai/semantics/metamodel/executor.py +0 -61
- relationalai/semantics/metamodel/factory.py +0 -287
- relationalai/semantics/metamodel/helpers.py +0 -361
- relationalai/semantics/metamodel/rewrite/discharge_constraints.py +0 -39
- relationalai/semantics/metamodel/rewrite/dnf_union_splitter.py +0 -210
- relationalai/semantics/metamodel/rewrite/extract_nested_logicals.py +0 -78
- relationalai/semantics/metamodel/rewrite/flatten.py +0 -554
- relationalai/semantics/metamodel/rewrite/format_outputs.py +0 -165
- relationalai/semantics/metamodel/typer/checker.py +0 -353
- relationalai/semantics/metamodel/typer/typer.py +0 -1395
- relationalai/semantics/metamodel/util.py +0 -506
- relationalai/semantics/reasoners/__init__.py +0 -10
- relationalai/semantics/reasoners/graph/README.md +0 -620
- relationalai/semantics/reasoners/graph/__init__.py +0 -37
- relationalai/semantics/reasoners/graph/core.py +0 -9019
- relationalai/semantics/reasoners/graph/design/beyond_demand_transform.md +0 -797
- relationalai/semantics/reasoners/graph/tests/README.md +0 -21
- relationalai/semantics/reasoners/optimization/__init__.py +0 -68
- relationalai/semantics/reasoners/optimization/common.py +0 -88
- relationalai/semantics/reasoners/optimization/solvers_dev.py +0 -568
- relationalai/semantics/reasoners/optimization/solvers_pb.py +0 -1163
- relationalai/semantics/rel/builtins.py +0 -40
- relationalai/semantics/rel/compiler.py +0 -989
- relationalai/semantics/rel/executor.py +0 -362
- relationalai/semantics/rel/rel.py +0 -482
- relationalai/semantics/rel/rel_utils.py +0 -276
- relationalai/semantics/snowflake/__init__.py +0 -3
- relationalai/semantics/sql/compiler.py +0 -2503
- relationalai/semantics/sql/executor/duck_db.py +0 -52
- relationalai/semantics/sql/executor/result_helpers.py +0 -64
- relationalai/semantics/sql/executor/snowflake.py +0 -149
- relationalai/semantics/sql/rewrite/denormalize.py +0 -222
- relationalai/semantics/sql/rewrite/double_negation.py +0 -49
- relationalai/semantics/sql/rewrite/recursive_union.py +0 -127
- relationalai/semantics/sql/rewrite/sort_output_query.py +0 -246
- relationalai/semantics/sql/sql.py +0 -504
- relationalai/semantics/std/pragmas.py +0 -11
- relationalai/semantics/std/std.py +0 -14
- relationalai/semantics/tests/test_snapshot_abstract.py +0 -143
- relationalai/semantics/tests/test_snapshot_base.py +0 -9
- relationalai/semantics/tests/utils.py +0 -46
- relationalai/std/__init__.py +0 -70
- relationalai/tools/cli.py +0 -1936
- relationalai/tools/cli_controls.py +0 -1826
- relationalai/tools/cli_helpers.py +0 -398
- relationalai/tools/debugger_client.py +0 -109
- relationalai/tools/debugger_server.py +0 -302
- relationalai/tools/dev.py +0 -685
- relationalai/tools/notes +0 -7
- relationalai/tools/qb_debugger.py +0 -425
- relationalai/util/clean_up_databases.py +0 -95
- relationalai/util/list_databases.py +0 -9
- relationalai/util/otel_configuration.py +0 -26
- relationalai/util/otel_handler.py +0 -484
- relationalai/util/snowflake_handler.py +0 -88
- relationalai/util/span_format_test.py +0 -43
- relationalai/util/span_tracker.py +0 -207
- relationalai/util/spans_file_handler.py +0 -72
- relationalai/util/tracing_handler.py +0 -34
- relationalai-0.13.0.dist-info/METADATA +0 -74
- relationalai-0.13.0.dist-info/RECORD +0 -458
- relationalai-0.13.0.dist-info/WHEEL +0 -4
- relationalai-0.13.0.dist-info/entry_points.txt +0 -3
- relationalai-0.13.0.dist-info/licenses/LICENSE +0 -202
- relationalai_test_util/__init__.py +0 -4
- relationalai_test_util/fixtures.py +0 -229
- relationalai_test_util/snapshot.py +0 -252
- relationalai_test_util/traceback.py +0 -118
- /relationalai/{analysis → semantics/frontend}/__init__.py +0 -0
- /relationalai/{auth/__init__.py → semantics/metamodel/metamodel_compiler.py} +0 -0
- /relationalai/{early_access → shims}/__init__.py +0 -0
- {relationalai/early_access/dsl/adapters → v0/relationalai/analysis}/__init__.py +0 -0
- {relationalai → v0/relationalai}/analysis/mechanistic.py +0 -0
- {relationalai → v0/relationalai}/analysis/whynot.py +0 -0
- {relationalai/early_access/dsl/adapters/orm → v0/relationalai/auth}/__init__.py +0 -0
- {relationalai → v0/relationalai}/auth/jwt_generator.py +0 -0
- {relationalai → v0/relationalai}/auth/oauth_callback_server.py +0 -0
- {relationalai → v0/relationalai}/auth/token_handler.py +0 -0
- {relationalai → v0/relationalai}/auth/util.py +0 -0
- {relationalai/clients/resources/snowflake → v0/relationalai/clients}/cache_store.py +0 -0
- {relationalai → v0/relationalai}/compiler.py +0 -0
- {relationalai → v0/relationalai}/dependencies.py +0 -0
- {relationalai → v0/relationalai}/docutils.py +0 -0
- {relationalai/early_access/dsl/adapters/owl → v0/relationalai/early_access}/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/__init__.py +0 -0
- {relationalai/early_access/dsl/bindings → v0/relationalai/early_access/dsl/adapters}/__init__.py +0 -0
- {relationalai/early_access/dsl/bindings/legacy → v0/relationalai/early_access/dsl/adapters/orm}/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/adapters/orm/model.py +0 -0
- {relationalai/early_access/dsl/codegen → v0/relationalai/early_access/dsl/adapters/owl}/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/adapters/owl/model.py +0 -0
- {relationalai/early_access/dsl/core/temporal → v0/relationalai/early_access/dsl/bindings}/__init__.py +0 -0
- {relationalai/early_access/dsl/ir → v0/relationalai/early_access/dsl/bindings/legacy}/__init__.py +0 -0
- {relationalai/early_access/dsl/ontologies → v0/relationalai/early_access/dsl/codegen}/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/constants.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/core/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/core/constraints/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/core/constraints/predicate/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/core/stack.py +0 -0
- {relationalai/early_access/dsl/orm → v0/relationalai/early_access/dsl/core/temporal}/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/core/utils.py +0 -0
- {relationalai/early_access/dsl/orm/measures → v0/relationalai/early_access/dsl/ir}/__init__.py +0 -0
- {relationalai/early_access/dsl/physical_metadata → v0/relationalai/early_access/dsl/ontologies}/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/ontologies/raw_source.py +0 -0
- {relationalai/early_access/dsl/serialize → v0/relationalai/early_access/dsl/orm}/__init__.py +0 -0
- {relationalai/early_access/dsl/snow → v0/relationalai/early_access/dsl/orm/measures}/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/orm/reasoner_errors.py +0 -0
- {relationalai/loaders → v0/relationalai/early_access/dsl/physical_metadata}/__init__.py +0 -0
- {relationalai/semantics/tests → v0/relationalai/early_access/dsl/serialize}/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/serialize/binding_model.py +0 -0
- {relationalai → v0/relationalai}/early_access/dsl/serialize/model.py +0 -0
- {relationalai/tools → v0/relationalai/early_access/dsl/snow}/__init__.py +0 -0
- {relationalai → v0/relationalai}/early_access/tests/__init__.py +0 -0
- {relationalai → v0/relationalai}/environments/ci.py +0 -0
- {relationalai → v0/relationalai}/environments/hex.py +0 -0
- {relationalai → v0/relationalai}/environments/terminal.py +0 -0
- {relationalai → v0/relationalai}/experimental/__init__.py +0 -0
- {relationalai → v0/relationalai}/experimental/graphs.py +0 -0
- {relationalai → v0/relationalai}/experimental/paths/__init__.py +0 -0
- {relationalai → v0/relationalai}/experimental/paths/benchmarks/__init__.py +0 -0
- {relationalai → v0/relationalai}/experimental/paths/path_algorithms/__init__.py +0 -0
- {relationalai → v0/relationalai}/experimental/paths/rpq/__init__.py +0 -0
- {relationalai → v0/relationalai}/experimental/paths/rpq/filter.py +0 -0
- {relationalai → v0/relationalai}/experimental/paths/rpq/glushkov.py +0 -0
- {relationalai → v0/relationalai}/experimental/paths/rpq/transition.py +0 -0
- {relationalai → v0/relationalai}/experimental/paths/utilities/__init__.py +0 -0
- {relationalai → v0/relationalai}/experimental/paths/utilities/utilities.py +0 -0
- {relationalai → v0/relationalai}/metagen.py +0 -0
- {relationalai → v0/relationalai}/metamodel.py +0 -0
- {relationalai → v0/relationalai}/rel.py +0 -0
- {relationalai → v0/relationalai}/semantics/devtools/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/internal/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/internal/annotations.py +0 -0
- {relationalai → v0/relationalai}/semantics/lqp/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/lqp/ir.py +0 -0
- {relationalai → v0/relationalai}/semantics/lqp/pragmas.py +0 -0
- {relationalai → v0/relationalai}/semantics/lqp/rewrite/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/metamodel/dataflow.py +0 -0
- {relationalai → v0/relationalai}/semantics/metamodel/ir.py +0 -0
- {relationalai → v0/relationalai}/semantics/metamodel/rewrite/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/metamodel/typer/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/metamodel/types.py +0 -0
- {relationalai → v0/relationalai}/semantics/metamodel/visitor.py +0 -0
- {relationalai → v0/relationalai}/semantics/reasoners/experimental/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/rel/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/sql/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/sql/executor/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/sql/rewrite/__init__.py +0 -0
- {relationalai → v0/relationalai}/semantics/tests/logging.py +0 -0
- {relationalai → v0/relationalai}/std/aggregates.py +0 -0
- {relationalai → v0/relationalai}/std/dates.py +0 -0
- {relationalai → v0/relationalai}/std/graphs.py +0 -0
- {relationalai → v0/relationalai}/std/inspect.py +0 -0
- {relationalai → v0/relationalai}/std/math.py +0 -0
- {relationalai → v0/relationalai}/std/re.py +0 -0
- {relationalai → v0/relationalai}/std/strings.py +0 -0
- {relationalai → v0/relationalai}/tools/cleanup_snapshots.py +0 -0
- {relationalai → v0/relationalai}/tools/constants.py +0 -0
- {relationalai → v0/relationalai}/tools/query_utils.py +0 -0
- {relationalai → v0/relationalai}/tools/snapshot_viewer.py +0 -0
- {relationalai → v0/relationalai}/util/__init__.py +0 -0
- {relationalai → v0/relationalai}/util/constants.py +0 -0
- {relationalai → v0/relationalai}/util/graph.py +0 -0
- {relationalai → v0/relationalai}/util/timeout.py +0 -0
|
@@ -0,0 +1,390 @@
|
|
|
1
|
+
#pyright: reportPrivateImportUsage=false
|
|
2
|
+
from __future__ import annotations
|
|
3
|
+
import io
|
|
4
|
+
import os
|
|
5
|
+
import re
|
|
6
|
+
import sys
|
|
7
|
+
import requests
|
|
8
|
+
import rich
|
|
9
|
+
import click
|
|
10
|
+
import functools
|
|
11
|
+
import pytz
|
|
12
|
+
|
|
13
|
+
from v0.relationalai.util.constants import TOP_LEVEL_PROFILE_NAME
|
|
14
|
+
from .. import Resources
|
|
15
|
+
from rich.table import Table
|
|
16
|
+
from typing import Callable, Dict, Any
|
|
17
|
+
from ..clients import config
|
|
18
|
+
from click.core import Context
|
|
19
|
+
from rich.console import Console
|
|
20
|
+
from rich import box as rich_box
|
|
21
|
+
from collections import defaultdict
|
|
22
|
+
from packaging.version import Version
|
|
23
|
+
from ..clients.config import ConfigFile
|
|
24
|
+
from datetime import datetime, timedelta
|
|
25
|
+
from click.formatting import HelpFormatter
|
|
26
|
+
from ..clients.client import ResourcesBase
|
|
27
|
+
from v0.relationalai.tools.constants import GlobalProfile
|
|
28
|
+
from v0.relationalai.tools.cli_controls import divider
|
|
29
|
+
from v0.relationalai.util.format import humanized_bytes, humanized_duration
|
|
30
|
+
|
|
31
|
+
#--------------------------------------------------
|
|
32
|
+
# Helpers
|
|
33
|
+
#--------------------------------------------------
|
|
34
|
+
|
|
35
|
+
@functools.cache
|
|
36
|
+
def get_config(profile:str|Dict[str, Any]|None = None):
|
|
37
|
+
return config.Config(profile or GlobalProfile.get())
|
|
38
|
+
|
|
39
|
+
@functools.cache
|
|
40
|
+
def get_resource_provider(platform:str|None=None, _cfg:config.Config|None = None) -> ResourcesBase:
|
|
41
|
+
cfg = _cfg or get_config()
|
|
42
|
+
provider = Resources(config=cfg)
|
|
43
|
+
return provider
|
|
44
|
+
|
|
45
|
+
def unexpand_user_path(path):
|
|
46
|
+
"""Inverse of os.path.expanduser"""
|
|
47
|
+
home_dir = os.path.expanduser('~')
|
|
48
|
+
if path.startswith(home_dir):
|
|
49
|
+
return '~' + path[len(home_dir):]
|
|
50
|
+
return path
|
|
51
|
+
|
|
52
|
+
def account_from_url(account_or_url:str):
|
|
53
|
+
regex = r"https://app.snowflake.com/([^/]+)/([^/]+)/?.*"
|
|
54
|
+
match = re.match(regex, account_or_url)
|
|
55
|
+
if match:
|
|
56
|
+
org = match.group(1)
|
|
57
|
+
account = match.group(2)
|
|
58
|
+
return f"{org}-{account}"
|
|
59
|
+
elif "app.snowflake.com" in account_or_url or "https://" in account_or_url:
|
|
60
|
+
raise ValueError("URL not of the form https://app.snowflake.com/[org]/[account]")
|
|
61
|
+
else:
|
|
62
|
+
return account_or_url
|
|
63
|
+
|
|
64
|
+
def supports_platform(*platform_names: str):
|
|
65
|
+
def decorator(cmd: click.Command):
|
|
66
|
+
setattr(cmd, "__available_platforms", platform_names)
|
|
67
|
+
cb = cmd.callback
|
|
68
|
+
assert cb
|
|
69
|
+
def checked(*args, **kwargs):
|
|
70
|
+
assert cmd.name
|
|
71
|
+
assert_command_available(cmd.name, command_available(cmd))
|
|
72
|
+
return cb(*args, **kwargs)
|
|
73
|
+
|
|
74
|
+
cmd.callback = checked
|
|
75
|
+
return cmd
|
|
76
|
+
return decorator
|
|
77
|
+
|
|
78
|
+
def command_available(cmd: click.Command) -> bool:
|
|
79
|
+
available_platforms = getattr(cmd, "__available_platforms", ())
|
|
80
|
+
platform = get_config().get("platform", "")
|
|
81
|
+
return not available_platforms or not platform or platform in available_platforms
|
|
82
|
+
|
|
83
|
+
def assert_command_available(name: str, available: bool, plural=False):
|
|
84
|
+
if not available:
|
|
85
|
+
platform = get_config().get("platform", "")
|
|
86
|
+
rich.print(f"[yellow]{name} {'are' if plural else 'is'} not available for {platform}")
|
|
87
|
+
divider()
|
|
88
|
+
sys.exit(1)
|
|
89
|
+
|
|
90
|
+
def coming_soon():
|
|
91
|
+
rich.print("[yellow]This isn't quite ready yet, but it's coming soon!")
|
|
92
|
+
divider()
|
|
93
|
+
sys.exit(1)
|
|
94
|
+
|
|
95
|
+
def issue_top_level_profile_warning():
|
|
96
|
+
rich.print("[yellow]Warning: Using a top-level profile is not recommended")
|
|
97
|
+
rich.print("[yellow]Consider naming the profile by adding \\[profile.<name>] to your raiconfig.toml file\n")
|
|
98
|
+
rich.print("[yellow]Example:")
|
|
99
|
+
rich.print("[yellow]\\[profile.default]")
|
|
100
|
+
rich.print("[yellow]platform = \"snowflake\"")
|
|
101
|
+
rich.print("[yellow]account = ...")
|
|
102
|
+
divider()
|
|
103
|
+
|
|
104
|
+
def ensure_config(profile:str|None=None) -> config.Config:
|
|
105
|
+
cfg = get_config(profile)
|
|
106
|
+
if not cfg.file_path:
|
|
107
|
+
rich.print("[yellow bold]No configuration file found.")
|
|
108
|
+
rich.print("To create one, run: [green bold]rai init[/green bold]")
|
|
109
|
+
divider()
|
|
110
|
+
sys.exit(1)
|
|
111
|
+
return cfg
|
|
112
|
+
|
|
113
|
+
def latest_version(package_name):
|
|
114
|
+
"""Get the current version of a package on PyPI."""
|
|
115
|
+
url = f"https://pypi.org/pypi/{package_name}/json"
|
|
116
|
+
response = requests.get(url)
|
|
117
|
+
if response.status_code == 200:
|
|
118
|
+
data = response.json()
|
|
119
|
+
version = data['info']['version']
|
|
120
|
+
return version
|
|
121
|
+
else:
|
|
122
|
+
return None
|
|
123
|
+
|
|
124
|
+
def is_latest_cli_version():
|
|
125
|
+
from .. import __version__
|
|
126
|
+
latest_ver_str = latest_version("relationalai")
|
|
127
|
+
latest_ver = Version(latest_ver_str) if latest_ver_str else Version("0.0.0")
|
|
128
|
+
version = Version(__version__)
|
|
129
|
+
return version >= latest_ver, version, latest_ver
|
|
130
|
+
|
|
131
|
+
#--------------------------------------------------
|
|
132
|
+
# Validation
|
|
133
|
+
#--------------------------------------------------
|
|
134
|
+
|
|
135
|
+
EMPTY_STRING_REGEX = re.compile(r'^\S+$')
|
|
136
|
+
ENGINE_NAME_REGEX = re.compile(r'^[a-zA-Z]\w{2,}$')
|
|
137
|
+
COMPUTE_POOL_REGEX = re.compile(r'^[a-zA-Z][a-zA-Z0-9_]*$')
|
|
138
|
+
PASSCODE_REGEX = re.compile(r'^(\d{6})?$')
|
|
139
|
+
ENGINE_NAME_ERROR = "Min 3 chars, start with letter, only letters, numbers, underscores allowed."
|
|
140
|
+
UUID = re.compile('[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}')
|
|
141
|
+
|
|
142
|
+
def validate_engine_name(name:str) -> tuple[bool, str|None]:
|
|
143
|
+
if not ENGINE_NAME_REGEX.match(name):
|
|
144
|
+
return False, ENGINE_NAME_ERROR
|
|
145
|
+
return True, None
|
|
146
|
+
|
|
147
|
+
#--------------------------------------------------
|
|
148
|
+
# Tables
|
|
149
|
+
#--------------------------------------------------
|
|
150
|
+
|
|
151
|
+
def get_color_by_state(state: str) -> str:
|
|
152
|
+
if state and isinstance(state, str):
|
|
153
|
+
state_lower = state.lower()
|
|
154
|
+
if state_lower in ("aborted", "quarantined"):
|
|
155
|
+
return "red"
|
|
156
|
+
elif state_lower == "completed":
|
|
157
|
+
return "white"
|
|
158
|
+
elif state_lower in ("running", "cancelling", "syncing", "pending", "processing"):
|
|
159
|
+
return "bold yellow"
|
|
160
|
+
elif state_lower == "suspended":
|
|
161
|
+
return "dim"
|
|
162
|
+
else:
|
|
163
|
+
return ""
|
|
164
|
+
return ""
|
|
165
|
+
|
|
166
|
+
def format_value(value) -> str:
|
|
167
|
+
if value is None:
|
|
168
|
+
return "N/A"
|
|
169
|
+
elif isinstance(value, (int, float)):
|
|
170
|
+
return f"{value}"
|
|
171
|
+
elif isinstance(value, list):
|
|
172
|
+
return ", ".join(map(str, value))
|
|
173
|
+
elif isinstance(value, bool):
|
|
174
|
+
return f"{value}"
|
|
175
|
+
elif isinstance(value, datetime):
|
|
176
|
+
return value.strftime("%Y-%m-%d %H:%M:%S")
|
|
177
|
+
elif isinstance(value, timedelta):
|
|
178
|
+
return humanized_duration(int(value.total_seconds() * 1000))
|
|
179
|
+
else:
|
|
180
|
+
return str(value)
|
|
181
|
+
|
|
182
|
+
def format_row(key: str, value) -> dict:
|
|
183
|
+
result = {}
|
|
184
|
+
result[key] = value
|
|
185
|
+
if "status" or "state" in key.lower():
|
|
186
|
+
result["style"] = get_color_by_state(value)
|
|
187
|
+
if key == "query_size" and isinstance(value, int):
|
|
188
|
+
result[key] = humanized_bytes(value)
|
|
189
|
+
else:
|
|
190
|
+
result[key] = format_value(value)
|
|
191
|
+
return result
|
|
192
|
+
|
|
193
|
+
def show_dictionary_table(dict, format_fn:Callable|None=None):
|
|
194
|
+
table = Table(show_header=True, border_style="dim", header_style="bold", box=rich_box.SIMPLE_HEAD)
|
|
195
|
+
table.add_column("Field")
|
|
196
|
+
table.add_column("Value")
|
|
197
|
+
for key, value in dict.items():
|
|
198
|
+
if format_fn:
|
|
199
|
+
row = format_fn(key, value)
|
|
200
|
+
table.add_row(key, row.get(key), style=row.get("style"))
|
|
201
|
+
else:
|
|
202
|
+
table.add_row(key, value)
|
|
203
|
+
rich.print(table)
|
|
204
|
+
|
|
205
|
+
#--------------------------------------------------
|
|
206
|
+
# Custom help printer
|
|
207
|
+
#--------------------------------------------------
|
|
208
|
+
|
|
209
|
+
|
|
210
|
+
class RichGroup(click.Group):
|
|
211
|
+
def format_help(self, ctx: Context, formatter: HelpFormatter) -> None:
|
|
212
|
+
is_latest, current_ver, latest_ver = is_latest_cli_version()
|
|
213
|
+
|
|
214
|
+
global PROFILE
|
|
215
|
+
# @NOTE: I couldn't find a sane way to access the --profile option from here, so insane it is.
|
|
216
|
+
if "--profile" in sys.argv:
|
|
217
|
+
ix = sys.argv.index("--profile") + 1
|
|
218
|
+
if ix < len(sys.argv):
|
|
219
|
+
PROFILE = sys.argv[ix]
|
|
220
|
+
|
|
221
|
+
profile = get_config().profile
|
|
222
|
+
if profile == TOP_LEVEL_PROFILE_NAME:
|
|
223
|
+
profile = "[yellow bold]None[/yellow bold]" if not get_config().get("platform", "") else "[ROOT]"
|
|
224
|
+
|
|
225
|
+
sio = io.StringIO()
|
|
226
|
+
console = Console(file=sio, force_terminal=True)
|
|
227
|
+
divider(console)
|
|
228
|
+
console.print(f"[bold]Welcome to [green]RelationalAI[/bold] ({current_ver})!")
|
|
229
|
+
console.print()
|
|
230
|
+
if not is_latest:
|
|
231
|
+
console.print(f"[yellow]A new version of RelationalAI is available: {latest_ver}[/yellow] ")
|
|
232
|
+
console.print()
|
|
233
|
+
console.print("rai [magenta]\\[options][/magenta] [cyan]command[/cyan]")
|
|
234
|
+
|
|
235
|
+
console.print()
|
|
236
|
+
console.print(f"[magenta]--profile[/magenta][dim] - which config profile to use (current: [/dim][cyan]{profile}[/cyan][dim])")
|
|
237
|
+
|
|
238
|
+
unavailable_commands = []
|
|
239
|
+
groups = defaultdict(list)
|
|
240
|
+
for command in self.commands.keys():
|
|
241
|
+
if ":" in command:
|
|
242
|
+
group, _, _ = command.rpartition(":")
|
|
243
|
+
groups[group].append(command)
|
|
244
|
+
else:
|
|
245
|
+
groups[""].append(command)
|
|
246
|
+
|
|
247
|
+
console.print()
|
|
248
|
+
for command in groups[""]:
|
|
249
|
+
console.print(f"[cyan]{command}[/cyan][dim] - {self.commands[command].help}")
|
|
250
|
+
|
|
251
|
+
for group, commands in groups.items():
|
|
252
|
+
if not group:
|
|
253
|
+
continue
|
|
254
|
+
|
|
255
|
+
empty = True
|
|
256
|
+
for command in commands:
|
|
257
|
+
if command_available(self.commands[command]):
|
|
258
|
+
if empty:
|
|
259
|
+
empty = False
|
|
260
|
+
console.print()
|
|
261
|
+
|
|
262
|
+
console.print(f"[cyan]{command}[/cyan][dim] - {self.commands[command].help}")
|
|
263
|
+
else:
|
|
264
|
+
unavailable_commands.append(command)
|
|
265
|
+
|
|
266
|
+
if unavailable_commands:
|
|
267
|
+
platform = get_config().get("platform", "")
|
|
268
|
+
console.print()
|
|
269
|
+
console.print(f"[yellow]Not available on {platform}[/yellow]")
|
|
270
|
+
console.print()
|
|
271
|
+
for command in unavailable_commands:
|
|
272
|
+
console.print(f"[dim yellow]{command} - {self.commands[command].help}")
|
|
273
|
+
|
|
274
|
+
divider(console)
|
|
275
|
+
formatter.write(sio.getvalue())
|
|
276
|
+
sio.close()
|
|
277
|
+
|
|
278
|
+
def filter_profiles_by_platform(config:ConfigFile, platform:str):
|
|
279
|
+
filtered_config = {}
|
|
280
|
+
for profile, props in config.get_combined_profiles().items():
|
|
281
|
+
if profile == TOP_LEVEL_PROFILE_NAME:
|
|
282
|
+
continue
|
|
283
|
+
if props.get("platform") == platform or (
|
|
284
|
+
props.get("platform") is None
|
|
285
|
+
and platform == "azure"
|
|
286
|
+
):
|
|
287
|
+
filtered_config[profile] = props
|
|
288
|
+
return filtered_config
|
|
289
|
+
|
|
290
|
+
#--------------------------------------------------
|
|
291
|
+
# Imports list
|
|
292
|
+
#--------------------------------------------------
|
|
293
|
+
|
|
294
|
+
def show_imports(imports, showId=False):
|
|
295
|
+
ensure_config()
|
|
296
|
+
if len(imports):
|
|
297
|
+
table = Table(show_header=True, border_style="dim", header_style="bold", box=rich_box.SIMPLE_HEAD)
|
|
298
|
+
cols = {"#": "index"}
|
|
299
|
+
if showId and len(imports) and "id" in imports[0]:
|
|
300
|
+
cols["ID"] = "id"
|
|
301
|
+
if len(imports) and "name" in imports[0]:
|
|
302
|
+
cols["Name"] = "name"
|
|
303
|
+
if len(imports) and "model" in imports[0]:
|
|
304
|
+
cols["Model"] = "model"
|
|
305
|
+
if len(imports) and "created" in imports[0]:
|
|
306
|
+
cols["Created"] = "created"
|
|
307
|
+
if len(imports) and "creator" in imports[0]:
|
|
308
|
+
cols["Creator"] = "creator"
|
|
309
|
+
if len(imports) and "batches" in imports[0]:
|
|
310
|
+
cols["Batches"] = "batches"
|
|
311
|
+
if len(imports) and "status" in imports[0]:
|
|
312
|
+
cols["Status"] = "status"
|
|
313
|
+
if len(imports) and "errors" in imports[0]:
|
|
314
|
+
cols["Errors"] = "errors"
|
|
315
|
+
|
|
316
|
+
for label in cols.keys():
|
|
317
|
+
table.add_column(label)
|
|
318
|
+
|
|
319
|
+
for index, imp in enumerate(imports):
|
|
320
|
+
imp["index"] = f"{index+1}"
|
|
321
|
+
style = get_color_by_state(imp["status"])
|
|
322
|
+
if imp["created"]:
|
|
323
|
+
imp["created"] = format_value(imp["created"])
|
|
324
|
+
table.add_row(*[imp.get(attr, None) for attr in cols.values()], style=style)
|
|
325
|
+
rich.print(table)
|
|
326
|
+
else:
|
|
327
|
+
rich.print("[yellow]No imports found")
|
|
328
|
+
|
|
329
|
+
#--------------------------------------------------
|
|
330
|
+
# Transactions
|
|
331
|
+
#--------------------------------------------------
|
|
332
|
+
|
|
333
|
+
def show_transactions(transactions, limit):
|
|
334
|
+
if len(transactions):
|
|
335
|
+
table = Table(show_header=True, border_style="dim", header_style="bold", box=rich_box.SIMPLE_HEAD)
|
|
336
|
+
table.add_column("#")
|
|
337
|
+
table.add_column("ID")
|
|
338
|
+
table.add_column("Schema")
|
|
339
|
+
table.add_column("Engine")
|
|
340
|
+
table.add_column("State")
|
|
341
|
+
table.add_column("Created")
|
|
342
|
+
table.add_column("Duration", justify="right")
|
|
343
|
+
|
|
344
|
+
added = 0
|
|
345
|
+
for i, txn in enumerate(transactions):
|
|
346
|
+
if added >= limit:
|
|
347
|
+
break
|
|
348
|
+
|
|
349
|
+
state = txn.get("state", "")
|
|
350
|
+
duration = txn.get("duration")
|
|
351
|
+
created_on = txn.get("created_on")
|
|
352
|
+
|
|
353
|
+
if isinstance(created_on, int):
|
|
354
|
+
created_on = datetime.fromtimestamp(created_on / 1000, tz=pytz.utc)
|
|
355
|
+
if duration is None:
|
|
356
|
+
duration = (datetime.now(created_on.tzinfo) - created_on).total_seconds() * 1000
|
|
357
|
+
|
|
358
|
+
table.add_row(
|
|
359
|
+
f"{i+1}",
|
|
360
|
+
txn.get("id"),
|
|
361
|
+
txn.get("database", ""),
|
|
362
|
+
txn.get("engine", ""),
|
|
363
|
+
state,
|
|
364
|
+
created_on.strftime("%Y-%m-%d %H:%M:%S"),
|
|
365
|
+
humanized_duration(int(duration)),
|
|
366
|
+
style=get_color_by_state(state)
|
|
367
|
+
)
|
|
368
|
+
added += 1
|
|
369
|
+
rich.print(table)
|
|
370
|
+
else:
|
|
371
|
+
rich.print("[yellow]No transactions found")
|
|
372
|
+
|
|
373
|
+
def show_engines(engines):
|
|
374
|
+
if len(engines):
|
|
375
|
+
table = Table(show_header=True, border_style="dim", header_style="bold", box=rich_box.SIMPLE_HEAD)
|
|
376
|
+
table.add_column("#")
|
|
377
|
+
table.add_column("Name")
|
|
378
|
+
table.add_column("Size")
|
|
379
|
+
table.add_column("State")
|
|
380
|
+
for index, engine in enumerate(engines):
|
|
381
|
+
table.add_row(f"{index+1}", engine.get("name"), engine.get("size"), engine.get("state"))
|
|
382
|
+
rich.print(table)
|
|
383
|
+
|
|
384
|
+
def exit_with_error(message:str):
|
|
385
|
+
rich.print(message, file=sys.stderr)
|
|
386
|
+
exit_with_divider(1)
|
|
387
|
+
|
|
388
|
+
def exit_with_divider(exit_code:int=0):
|
|
389
|
+
divider()
|
|
390
|
+
sys.exit(exit_code)
|
|
@@ -0,0 +1,183 @@
|
|
|
1
|
+
import os
|
|
2
|
+
import re
|
|
3
|
+
from nicegui import ui
|
|
4
|
+
import json
|
|
5
|
+
|
|
6
|
+
from v0.relationalai.debugging import DEBUG_LOG_FILE
|
|
7
|
+
|
|
8
|
+
|
|
9
|
+
last_mod_time = None
|
|
10
|
+
current_json_objects = []
|
|
11
|
+
active_ix = None
|
|
12
|
+
active_item = None
|
|
13
|
+
|
|
14
|
+
def set_item(ix):
|
|
15
|
+
global active_item, active_ix
|
|
16
|
+
if active_ix != ix:
|
|
17
|
+
active_ix = ix
|
|
18
|
+
active_item = current_json_objects[ix]
|
|
19
|
+
my_stuff.refresh()
|
|
20
|
+
details.refresh()
|
|
21
|
+
|
|
22
|
+
def format_time(t):
|
|
23
|
+
if t > 1:
|
|
24
|
+
return f"{t:.1f}s"
|
|
25
|
+
elif t > 0.001:
|
|
26
|
+
return f"{t*1000:.1f}ms"
|
|
27
|
+
elif t > 0.0001:
|
|
28
|
+
return f"{t*1000:.2f}ms"
|
|
29
|
+
else:
|
|
30
|
+
return f"{t*1000000:.0f}us"
|
|
31
|
+
|
|
32
|
+
def header(text):
|
|
33
|
+
return ui.label(text).style("font-size: 1.3em; font-weight: bold;")
|
|
34
|
+
|
|
35
|
+
def replace_long_brace_contents(code_str):
|
|
36
|
+
def replacement(match):
|
|
37
|
+
string = match.group(0)
|
|
38
|
+
if len(string) > 300:
|
|
39
|
+
# Extract the first 50 and last 30 characters from the string within brackets
|
|
40
|
+
return '{' + string[1:51] + '...' + string[-31:-1] + '}'
|
|
41
|
+
else:
|
|
42
|
+
# If the string is not longer than 300 characters, return it unchanged
|
|
43
|
+
return string
|
|
44
|
+
|
|
45
|
+
# This regex matches sequences of characters wrapped in { }
|
|
46
|
+
brace_content_regex = r'\{[\s\S]*?\}'
|
|
47
|
+
|
|
48
|
+
# Use the sub method to replace the matched strings with the result of the replacement function
|
|
49
|
+
return re.sub(brace_content_regex, replacement, code_str)
|
|
50
|
+
|
|
51
|
+
|
|
52
|
+
def code(c):
|
|
53
|
+
c = replace_long_brace_contents(c)
|
|
54
|
+
return ui.code(c).style("padding-right: 30px").classes("w-full")
|
|
55
|
+
|
|
56
|
+
|
|
57
|
+
@ui.refreshable
|
|
58
|
+
def details():
|
|
59
|
+
if active_item:
|
|
60
|
+
if active_item['event'] == "compilation":
|
|
61
|
+
header(f"{active_item['source']['file']}: {active_item['source']['line']}")
|
|
62
|
+
# with ui.row():
|
|
63
|
+
code(active_item["source"]["block"] or active_item["emitted"])
|
|
64
|
+
code(f"{active_item['emitted']}")
|
|
65
|
+
header("IR")
|
|
66
|
+
code(f"{active_item['task']}")
|
|
67
|
+
header("Rewritten")
|
|
68
|
+
code(f"{active_item['passes'][-1]['task']}")
|
|
69
|
+
header("Passes")
|
|
70
|
+
for p in active_item['passes']:
|
|
71
|
+
with ui.column().classes("w-full"):
|
|
72
|
+
with ui.row():
|
|
73
|
+
ui.label(p['name'])
|
|
74
|
+
ui.label(f"({p['elapsed']*1000000:.0f} us)")
|
|
75
|
+
code(p['task'])
|
|
76
|
+
elif active_item['event'] == "time":
|
|
77
|
+
ui.label(f"{active_item['type']} | {format_time(active_item['elapsed'])} | {active_item['results']['count']}")
|
|
78
|
+
vals = active_item['results']['values']
|
|
79
|
+
if len(vals):
|
|
80
|
+
keys = [k for k in vals[0].keys()]
|
|
81
|
+
columns = [{'name': k, 'label': k, 'field': k, "align": "left"} for k in keys]
|
|
82
|
+
ui.table(columns=columns, rows=vals)
|
|
83
|
+
if "code" in active_item:
|
|
84
|
+
header("Code")
|
|
85
|
+
code(active_item["code"])
|
|
86
|
+
# ui.label(f"{active_item['results']['values']}").style('white-space: pre;')
|
|
87
|
+
|
|
88
|
+
@ui.refreshable
|
|
89
|
+
def my_stuff():
|
|
90
|
+
total_time = 0
|
|
91
|
+
with ui.column():
|
|
92
|
+
|
|
93
|
+
for (ix, obj) in enumerate(current_json_objects):
|
|
94
|
+
me = None
|
|
95
|
+
|
|
96
|
+
if obj['event'] == "compilation":
|
|
97
|
+
me = code(obj["source"]["block"] or obj["emitted"])
|
|
98
|
+
total_time += obj["emit_time"]
|
|
99
|
+
for p in obj['passes']:
|
|
100
|
+
total_time += p['elapsed']
|
|
101
|
+
elif obj['event'] == "time":
|
|
102
|
+
total_time += obj['elapsed']
|
|
103
|
+
with ui.row() as me:
|
|
104
|
+
me.style("padding: 5px 10px; border: 1px solid #544; border-radius: 5px; background:#322;")
|
|
105
|
+
ui.label(f"{obj['type']}")
|
|
106
|
+
ui.label(format_time(obj['elapsed']))
|
|
107
|
+
if obj.get('results'):
|
|
108
|
+
ui.label(f"{obj['results']['count']}")
|
|
109
|
+
elif obj['event'] == "transaction_created":
|
|
110
|
+
with ui.row() as me:
|
|
111
|
+
me.style("padding: 5px 10px; border: 1px solid #544; border-radius: 5px; background:#322;")
|
|
112
|
+
ui.label("transaction")
|
|
113
|
+
ui.label(obj["txn_id"])
|
|
114
|
+
elif obj.get('type'):
|
|
115
|
+
total_time += obj.get('elapsed', 0)
|
|
116
|
+
with ui.row() as me:
|
|
117
|
+
me.style("padding: 5px 10px; border: 1px solid #544; border-radius: 5px; background:#322;")
|
|
118
|
+
ui.label(f"{obj['type']}")
|
|
119
|
+
ui.label(format_time(obj.get('elapsed', 0)))
|
|
120
|
+
if obj.get('results'):
|
|
121
|
+
ui.label(f"{obj['results']['count']}")
|
|
122
|
+
elif 'span' not in obj['event'] and obj['event'] != "profile_events":
|
|
123
|
+
with ui.row() as me:
|
|
124
|
+
me.style("padding: 5px 10px; border: 1px solid #544; border-radius: 5px; background:#322;")
|
|
125
|
+
ui.label(f"{obj['event']}")
|
|
126
|
+
|
|
127
|
+
if me:
|
|
128
|
+
me.classes("w-full")
|
|
129
|
+
me.on("click", lambda ix=ix: set_item(ix))
|
|
130
|
+
if ix != active_ix:
|
|
131
|
+
me.style('opacity: 0.5')
|
|
132
|
+
with ui.row() as me:
|
|
133
|
+
me.style("padding: 5px 10px; border: 1px solid #445; border-radius: 5px; background:#223; opacity: 0.5;")
|
|
134
|
+
me.classes("w-full")
|
|
135
|
+
if total_time > 1:
|
|
136
|
+
ui.label(f"Total time: {total_time:.1f}s")
|
|
137
|
+
else:
|
|
138
|
+
ui.label(f"Total time: {total_time * 1000:.0f}ms")
|
|
139
|
+
|
|
140
|
+
|
|
141
|
+
def poll():
|
|
142
|
+
global last_mod_time, active_item
|
|
143
|
+
global current_json_objects
|
|
144
|
+
# Check the last modification time of the file
|
|
145
|
+
try:
|
|
146
|
+
mod_time = os.path.getmtime(DEBUG_LOG_FILE)
|
|
147
|
+
if last_mod_time is None or mod_time > last_mod_time:
|
|
148
|
+
last_mod_time = mod_time
|
|
149
|
+
# File has changed, read and parse the new content
|
|
150
|
+
new_objects = []
|
|
151
|
+
with open(DEBUG_LOG_FILE, 'r') as file:
|
|
152
|
+
for line in file:
|
|
153
|
+
try:
|
|
154
|
+
# Parse each JSON object and add it to the list
|
|
155
|
+
obj = json.loads(line)
|
|
156
|
+
new_objects.append(obj)
|
|
157
|
+
except json.JSONDecodeError as e:
|
|
158
|
+
print(f"Error parsing JSON: {e}")
|
|
159
|
+
# Update the current JSON objects
|
|
160
|
+
current_json_objects = new_objects
|
|
161
|
+
if active_ix is not None and len(current_json_objects) > active_ix:
|
|
162
|
+
active_item = current_json_objects[active_ix]
|
|
163
|
+
# Refresh the UI with the new objects
|
|
164
|
+
my_stuff.refresh()
|
|
165
|
+
details.refresh()
|
|
166
|
+
except FileNotFoundError:
|
|
167
|
+
pass
|
|
168
|
+
|
|
169
|
+
def main(host="0.0.0.0", port=8080):
|
|
170
|
+
ui.dark_mode().enable()
|
|
171
|
+
with ui.row():
|
|
172
|
+
with ui.column() as c:
|
|
173
|
+
c.style("cursor: pointer;")
|
|
174
|
+
my_stuff()
|
|
175
|
+
with ui.column() as c:
|
|
176
|
+
c.style("padding-left: 2em;")
|
|
177
|
+
details()
|
|
178
|
+
|
|
179
|
+
ui.timer(1, poll)
|
|
180
|
+
ui.run(reload=False, host=host, port=port)
|
|
181
|
+
|
|
182
|
+
if __name__ == "__main__":
|
|
183
|
+
main()
|
|
@@ -0,0 +1,109 @@
|
|
|
1
|
+
from __future__ import annotations
|
|
2
|
+
import asyncio
|
|
3
|
+
import logging
|
|
4
|
+
import threading
|
|
5
|
+
import websockets
|
|
6
|
+
import queue
|
|
7
|
+
from v0.relationalai import Resources, debugging
|
|
8
|
+
from v0.relationalai.clients.config import Config
|
|
9
|
+
|
|
10
|
+
from v0.relationalai.clients.profile_polling import ProfilePollerHandler
|
|
11
|
+
|
|
12
|
+
class DummyRecord(logging.LogRecord):
|
|
13
|
+
def __init__(self, msg):
|
|
14
|
+
self.msg = msg
|
|
15
|
+
|
|
16
|
+
#------------------------------------------------------------------------------
|
|
17
|
+
# Logging Handler
|
|
18
|
+
#------------------------------------------------------------------------------
|
|
19
|
+
|
|
20
|
+
class WebSocketLoggingHandler(logging.Handler):
|
|
21
|
+
def __init__(self, *args, **kwargs):
|
|
22
|
+
super().__init__(*args, **kwargs)
|
|
23
|
+
from v0.relationalai.analysis.mechanistic import Mechanism
|
|
24
|
+
self.Mechanism = Mechanism
|
|
25
|
+
self.queue: queue.Queue[str] = queue.Queue()
|
|
26
|
+
|
|
27
|
+
def start(self, url: str, config: Config):
|
|
28
|
+
|
|
29
|
+
|
|
30
|
+
# Catch any spans that are the programs parent that were added before the debug client was started.
|
|
31
|
+
open_spans = []
|
|
32
|
+
existing_parent = debugging.TIP_SPAN
|
|
33
|
+
while existing_parent:
|
|
34
|
+
open_spans.append(existing_parent)
|
|
35
|
+
existing_parent = existing_parent.parent
|
|
36
|
+
open_spans.reverse()
|
|
37
|
+
|
|
38
|
+
for span in open_spans:
|
|
39
|
+
self.queue.put_nowait(self.format_raw({"event": "span_start", "span": span}))
|
|
40
|
+
|
|
41
|
+
self.thread = threading.Thread(target=self.connect, args=(url,))
|
|
42
|
+
self.thread.start()
|
|
43
|
+
|
|
44
|
+
def emit(self, record):
|
|
45
|
+
d = record.msg
|
|
46
|
+
if (isinstance(d, dict) and
|
|
47
|
+
d["event"] == "span_start" and
|
|
48
|
+
"task" in d["span"].attrs and
|
|
49
|
+
"mech" not in d["span"].attrs):
|
|
50
|
+
d["span"].attrs["mech"] = self.Mechanism(d["span"].attrs["task"])
|
|
51
|
+
log_entry = self.format(record)
|
|
52
|
+
self.queue.put_nowait(log_entry)
|
|
53
|
+
|
|
54
|
+
def format_raw(self, msg):
|
|
55
|
+
return self.format(DummyRecord(msg))
|
|
56
|
+
|
|
57
|
+
def connect(self, url: str):
|
|
58
|
+
try:
|
|
59
|
+
try:
|
|
60
|
+
loop = asyncio.get_running_loop()
|
|
61
|
+
loop.run_until_complete(self.connect_async(url))
|
|
62
|
+
except RuntimeError:
|
|
63
|
+
asyncio.run(self.connect_async(url))
|
|
64
|
+
except (ConnectionRefusedError, websockets.WebSocketException, OSError, asyncio.TimeoutError):
|
|
65
|
+
pass
|
|
66
|
+
|
|
67
|
+
async def connect_async(self, url: str):
|
|
68
|
+
async with websockets.connect(url) as ws:
|
|
69
|
+
print(f"Connected to debugger at {url}...")
|
|
70
|
+
alive = True
|
|
71
|
+
while True:
|
|
72
|
+
if not threading.main_thread().is_alive():
|
|
73
|
+
alive = False
|
|
74
|
+
debugging.span_flush()
|
|
75
|
+
|
|
76
|
+
try:
|
|
77
|
+
log_entry = self.queue.get(timeout=1)
|
|
78
|
+
await ws.send(log_entry)
|
|
79
|
+
except queue.Empty:
|
|
80
|
+
if not alive:
|
|
81
|
+
break
|
|
82
|
+
except websockets.ConnectionClosedError:
|
|
83
|
+
break
|
|
84
|
+
|
|
85
|
+
#------------------------------------------------------------------------------
|
|
86
|
+
# Enable debugging
|
|
87
|
+
#------------------------------------------------------------------------------
|
|
88
|
+
|
|
89
|
+
already_debugging = False
|
|
90
|
+
def start_debugger_session(config: Config, host: str|None = None, port: int|None = None):
|
|
91
|
+
global already_debugging
|
|
92
|
+
if already_debugging:
|
|
93
|
+
return
|
|
94
|
+
|
|
95
|
+
if host is None:
|
|
96
|
+
host = "0.0.0.0"
|
|
97
|
+
|
|
98
|
+
if port is None:
|
|
99
|
+
port = 8080
|
|
100
|
+
|
|
101
|
+
ws_handler = WebSocketLoggingHandler()
|
|
102
|
+
ws_handler.setFormatter(debugging.JsonFormatter())
|
|
103
|
+
debugging.logger.addHandler(ws_handler)
|
|
104
|
+
ws_handler.start(f"ws://{host}:{port}/ws/program", config)
|
|
105
|
+
|
|
106
|
+
resources = Resources(config=config)
|
|
107
|
+
debugging.logger.addHandler(ProfilePollerHandler(resources))
|
|
108
|
+
|
|
109
|
+
already_debugging = True
|