Code

Develop rule inlining#95

Code

Open

gfngfn wants to merge 78 commits intodangtv:masterdangtv/BIRDS:masterfrom gfngfn:dev-rule-inlininggfngfn/BIRDS:dev-rule-inliningCopy head branch name to clipboard

+1,903-51

Commits

Commits on Jun 15, 2022

• begin to develop the operation-based conversion

  gfngfn

  committed
  dcf53cf

• use 'ResultMonad'

  gfngfn

  committed
  9837564

• develop 'decompose_body'

  gfngfn

  committed
  3d0f0ed

• develop how to validate rule bodies

  gfngfn

  committed
  d037f42

• develop 'Subst'

  gfngfn

  committed
  055e0c3

• develop how to extend substitutions

  gfngfn

  committed
  d0c1d5c

• develop how to extend substitutions and eliminate consumed equality constraints

  gfngfn

  committed
  6566652

• begin to build SQL queries

  gfngfn

  committed
  14eebb4

• build SQL SELECT clauses

  gfngfn

  committed
  7333174

• build SQL FROM clauses and use comparison constraints

  gfngfn

  committed
  3377f93

• basically complete 'convert_to_operation_based_sql'

  gfngfn

  committed
  d837da0

Commits on Jun 16, 2022

• implement 'sql_of_vterm_new'

  gfngfn

  committed
  797205e

• implement 'sql_vterm_of_arg'

  gfngfn

  committed
  89140b0

• refactor 'SqlFromTable'

  gfngfn

  committed
  c15194a

• use 'colnamtab' and 'symtkey' to implement 'get_column_names_from_table'

  gfngfn

  committed
  a88b9f6

• begin to add unit tests

  gfngfn

  committed
  187eb3c

Commits on Jun 22, 2022

• refactor 'convert_to_operation_based_sql'

  gfngfn

  committed
  61dff32

• develop tests for 'convert_to_operation_based_sql'

  gfngfn

  committed
  7b73c7c

• develop tests for 'convert_to_operation_based_sql' (2)

  gfngfn

  committed
  5f290f5

• make cosmetic changes of output SQL queries

  gfngfn

  committed
  c742437

• refactor tests

  gfngfn

  committed
  5e92a10

• refactor tests for running multiple test cases

  gfngfn

  committed
  321a3b3

• add a test case '1st rule'

  gfngfn

  committed
  7c00bde

• add a test case '2nd rule'

  gfngfn

  committed
  b8da994

• slight cosmetic changes

  gfngfn

  committed
  2df7b44

• slight cosmetic changes (2)

  gfngfn

  committed
  eaf450c

Commits on Jun 23, 2022

• refactor tests about module organization

  gfngfn

  committed
  47d258d

• refactor tests about module organization (by moving tests into 'src/test')

  gfngfn

  committed
  3bdd426

Commits on Jul 1, 2022

• add 'convert_expr_to_operation_based_sql'

  gfngfn

  committed
  2977bb3

• develop 'convert_expr_to_operation_based_sql'

  gfngfn

  committed
  e37f90d

• develop how to stringify SQL operations

  gfngfn

  committed
  4d3ac22

• update tests for 'convert_expr_to_operation_based_sql'

  gfngfn

  committed
  cdce1e4

Commits on Jul 14, 2022

• define 'partition_map' instead of using 'List.partition_map' (which is defined in OCaml >= 4.12.0)

  gfngfn

  committed
  13792b2

• add 'Ast2sql.show_error'

  gfngfn

  committed
  24c7819

• begin to develop 'Ast2sql.divide_rules_into_groups'

  gfngfn

  committed
  aa674cc

• begin to generalize 'convert_expr_to_operation_based_sql' using 'divide_rules_into_groups'

  gfngfn

  committed
  50edf80

• slight refactoring and renaming

  gfngfn

  committed
  7f03362

• begin to generalize '{positive,negative}_predicate' for handling delta predicates in rule bodies

  gfngfn

  committed
  c34bb58

• introduce 'delta_environment' for tracking specs of delta predicates

  gfngfn

  committed
  0f8976a

• introduce 'combine_delta_column_names'

  gfngfn

  committed
  6f6165b

• introduce 'table_environment' and replace 'colnamtab' with it

  gfngfn

  committed
  800e6a9

• slight fix

  gfngfn

  committed
  49b3093

Commits on Jul 19, 2022

• introduce 'head_spec' for compiling rules that define views

  gfngfn

  committed
  f5bb076

• generalize 'divide_rules_into_groups'

  gfngfn

  committed
  86ed567

• generalize 'convert_expr_to_operation_based_sql' for 'PredGroup'

  gfngfn

  committed
  f218d92

• generalize 'convert_expr_to_operation_based_sql' for 'PredGroup' (2)

  gfngfn

  committed
  dd244d7

Commits on Jul 20, 2022

• change how to handle rules in 'expr'

  gfngfn

  committed
  9c4b427

• introduce 'error_detail', support 'AnonVar', and take view definitions into account

  gfngfn

  committed
  679a9ba

• fix how to output 'FROM' clauses about referring to temporary tables

  gfngfn

  committed
  b6d4778

Commits on Jul 21, 2022

• fix how to output 'FROM' clauses in subqueries corresponding to negative atoms

  gfngfn

  committed
  10ab5fd

Commits on Nov 21, 2022

• fix tests

  gfngfn

  committed
  d079522

Commits on Jan 26, 2023

• begin to develop inlining.ml

  gfngfn

  committed
  da51f95

• develop inlining.ml about PredicateMap etc.

  gfngfn

  committed
  141f131

Commits on Feb 2, 2023

• develop Inlining.convert_body_clause

  gfngfn

  committed
  fe8cdb8

Commits on Feb 8, 2023

• implement add_rule_abstraction

  gfngfn

  committed
  0f49631

• begin to define inline_rule_abstraction

  gfngfn

  committed
  a906cfe

• develop inline_rule_abstraction

  gfngfn

  committed
  1d9926c

• develop reduce_rule

  gfngfn

  committed
  1fc6e6c

• develop substitute_clause

  gfngfn

  committed
  fdfd092

Commits on Feb 15, 2023

• add Dependency_graph module

  gfngfn

  committed
  af53073

• begin to use Dependency_graph

  gfngfn

  committed
  1ff94c5

• use Dependency_graph

  gfngfn

  committed
  6ba24ec

• complete resolve_dependencies_among_predicates

  gfngfn

  committed
  980ee4f

• complete inline_rules

  gfngfn

  committed
  b4e9b90

• begin to develop inlining_test.ml

  gfngfn

  committed
  2d9bef3

Commits on Feb 16, 2023

• insert many debugging operations and fix how to solve dependency

  gfngfn

  committed
  d95d6e1

• make the minimal test pass

  gfngfn

  committed
  46b8a10

Commits on Feb 19, 2023

• add a test about inlining anonymous variables, with sources fixed

  gfngfn

  committed
  ccb8821

• add tests (and find bugs about inlining anonymous variables)

  gfngfn

  committed
  800ce7f

• separate intermediate_argument from named_var

  gfngfn

  committed
  3868665

• fix how to reduce rules with arguments

  gfngfn

  committed
  cdad6a1

• fix how to reduce rules with arguments (about instantiation of free variables)

  gfngfn

  committed
  5050974

• add comments to function definitions

  gfngfn

  committed
  a3f6c84

• fix how to inline equations

  gfngfn

  committed
  b89088c

• slight fixes

  gfngfn

  committed
  4f866ec

• slightly develop comments

  gfngfn

  committed
  16038b5

• support constant arguments

  gfngfn

  committed
  31740e0

Commits on Mar 9, 2023

• fix comments in tests

  gfngfn

  committed
  15896f9