Skip to content

Add relational algebra mode#27

Merged
Edwinexd merged 11 commits into
masterfrom
add-relational-algebra-mode
Jul 6, 2026
Merged

Add relational algebra mode#27
Edwinexd merged 11 commits into
masterfrom
add-relational-algebra-mode

Conversation

@Edwinexd

@Edwinexd Edwinexd commented Mar 20, 2026

Copy link
Copy Markdown
Owner

Adds a relational algebra mode. RA expressions are transpiled to SQL and run against the same engine, so results validate against the existing question pool.

  • Operators: selection, projection, rename, cross product, natural join, theta join, union, intersection, difference, division, distinct, grouping with aggregates, assignment.
  • Projection follows set semantics (emits DISTINCT); distinct stays as an explicit operator.
  • RA editor: syntax highlighting, reference dialog, SQL/RA mode toggle, preview of the generated SQL, PNG export.
  • Mode-aware progress tracking, separate from SQL mode.
  • License attribution dialog with generated dependency listing.
  • Merged up to date with master (German); RA strings added to the en/sv/de packs.

Licensing will likely change before merging.

@Edwinexd Edwinexd force-pushed the add-relational-algebra-mode branch from 917c389 to b1c1d02 Compare March 25, 2026 14:27
@cloudflare-workers-and-pages

cloudflare-workers-and-pages Bot commented Mar 25, 2026

Copy link
Copy Markdown

Deploying sql-validator with  Cloudflare Pages  Cloudflare Pages

Latest commit: c1394f5
Status: ✅  Deploy successful!
Preview URL: https://94aacaf3.dsv-db-sql-validator.pages.dev
Branch Preview URL: https://add-relational-algebra-mode.dsv-db-sql-validator.pages.dev

View logs

@Edwinexd

Copy link
Copy Markdown
Owner Author

Note: Licensing will most likely be changed before merging

@Edwinexd Edwinexd force-pushed the add-relational-algebra-mode branch from 6e0db0d to 72d2ccf Compare June 16, 2026 11:00
@Edwinexd

Edwinexd commented Jul 6, 2026

Copy link
Copy Markdown
Owner Author

Done in c1394f5: ra-engine relicensed from BSL 1.1 to PolyForm Noncommercial 1.0.0 (noncommercial, attribution required). Core app stays GPL-3.0.

@Edwinexd Edwinexd merged commit 2301022 into master Jul 6, 2026
2 checks passed
@Edwinexd Edwinexd deleted the add-relational-algebra-mode branch July 6, 2026 09:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant