Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Convert a SQL UPDATE statement to Datalog rules #94

Open
wants to merge 119 commits into
base: master
Choose a base branch
from
Open

Convert a SQL UPDATE statement to Datalog rules #94

wants to merge 119 commits into from

Conversation

cedretaber
Copy link
Contributor

Note: this PR includes #93. To check the essential changes, see this PR.

This PR make the following changes.

  • Introduced a data type to represent the UPDATE statement in SQL
  • A function has been added to convert the above SQL data type to a delta-Datalog rules.

gfngfn added 30 commits June 15, 2022 23:19
@gfngfn
begin to develop the operation-based conversion
dcf53cf
@gfngfn
use 'ResultMonad'
9837564
@gfngfn
develop 'decompose_body'
3d0f0ed
@gfngfn
develop how to validate rule bodies
d037f42
@gfngfn
develop 'Subst'
055e0c3
@gfngfn
develop how to extend substitutions
d0c1d5c
@gfngfn
develop how to extend substitutions and eliminate consumed equality c…
6566652 
…onstraints
@gfngfn
begin to build SQL queries
14eebb4
@gfngfn
build SQL SELECT clauses
7333174
@gfngfn
build SQL FROM clauses and use comparison constraints
3377f93
@gfngfn
basically complete 'convert_to_operation_based_sql'
d837da0
@gfngfn
implement 'sql_of_vterm_new'
797205e
@gfngfn
implement 'sql_vterm_of_arg'
89140b0
@gfngfn
refactor 'SqlFromTable'
c15194a
@gfngfn
use 'colnamtab' and 'symtkey' to implement 'get_column_names_from_table'
a88b9f6
@gfngfn
begin to add unit tests
187eb3c
@gfngfn
refactor 'convert_to_operation_based_sql'
61dff32
@gfngfn
develop tests for 'convert_to_operation_based_sql'
7b73c7c
@gfngfn
develop tests for 'convert_to_operation_based_sql' (2)
5f290f5
@gfngfn
make cosmetic changes of output SQL queries
c742437
@gfngfn
refactor tests
5e92a10
@gfngfn
refactor tests for running multiple test cases
321a3b3
@gfngfn
add a test case '1st rule'
7c00bde
@gfngfn
add a test case '2nd rule'
b8da994
@gfngfn
slight cosmetic changes
2df7b44
@gfngfn
slight cosmetic changes (2)
eaf450c
@gfngfn
refactor tests about module organization
47d258d
@gfngfn
refactor tests about module organization (by moving tests into 'src/t…
3bdd426 
…est')
@gfngfn
add 'convert_expr_to_operation_based_sql'
2977bb3
@gfngfn
develop 'convert_expr_to_operation_based_sql'
e37f90d
@cedretaber cedretaber force-pushed the add-sql-to-ast branch 2 times, most recently from f18b0dc to a3bab38 Compare July 3, 2023 12:12
@cedretaber cedretaber force-pushed the add-sql-to-ast branch 2 times, most recently from f18b0dc to c70f1df Compare July 5, 2023 11:46
@cedretaber cedretaber mentioned this pull request Jul 5, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@cedretaber @gfngfn