Code

Develop rule simplification#86

Code

Open

gfngfn wants to merge 74 commits intodangtv:masterdangtv/BIRDS:masterfrom gfngfn:dev-rule-simplificationgfngfn/BIRDS:dev-rule-simplificationCopy head branch name to clipboard

+1,995-49

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

• begin to develop simplification.ml

  gfngfn

  committed
  168b133

• develop convert_{head,body}_rterm etc.

  gfngfn

  committed
  fd13557

• develop simplification.ml slightly

  gfngfn

  committed
  4966f2e

• introduce equation_map for representing equations internally

  gfngfn

  committed
  d7767dc

• implement rule_equal

  gfngfn

  committed
  f445060

• implement erase_sole_occurrences

  gfngfn

  committed
  07ddba7

• develop remove_looser_terms

  gfngfn

  committed
  6f04658

Commits on Nov 28, 2022

• implement has_contradicting_body etc.

  gfngfn

  committed
  caa0386

• begin to develop tests for simplification.ml

  gfngfn

  committed
  63dddfd

• slightly develop tests

  gfngfn

  committed
  35c4727

• add a test case and check that it fails

  gfngfn

  committed
  7b574c9

• fix remove_looser_{positive,negative}_terms (and this makes the test pass)

  gfngfn

  committed
  3678c88

Commits on Nov 30, 2022

• add more tests (and confirm that they pass)

  gfngfn

  committed
  8ad1941

Commits on Dec 8, 2022

• add the interface file simplification.mli

  gfngfn

  committed
  5f9daf5

• begin to support non-equality constraints

  gfngfn

  committed
  9cab7d7

• non-equality constraints

  gfngfn

  committed
  e3b876e

Commits on Dec 15, 2022

• add a test (32) for Simplification

  gfngfn

  committed
  6f3da8f

• begin to develop remove_duplicate_rules

  gfngfn

  committed
  1abbcb2

• begin to develop are_alpha_equivalent_rules

  gfngfn

  committed
  62281bd

Commits on Dec 26, 2022

• implement are_alpha_equivalent_rules

  gfngfn

  committed
  adfaba2

Commits on Jan 26, 2023

• use compare instead of Int.compare for keeping support for OCaml 4.07

  gfngfn

  committed
  b905583

• remove Printf.printf for debugging

  gfngfn

  committed
  c845365

Commits on Feb 2, 2023

• refactor simplification.ml for keeping support for OCaml 4.07

  gfngfn

  committed
  f8d85c5