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.

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

feat(sql-udf): add semantic check when creating sql udf #14549

Merged
merged 10 commits into from
Jan 22, 2024

Conversation

xzhseh
Copy link
Contributor

@xzhseh xzhseh commented Jan 12, 2024

I hereby agree to the terms of the RisingWave Labs, Inc. Contributor License Agreement.

What's changed and what's your intention?

As titled, this PR adds semantic check for sql udf at definiiton time.

Which means, if any non-existence function (including sql udf, built-in scalar functions, etc.) is called inside the sql udf function body definition, this will be directly rejected, same as pg's behavior.

Note: This will also prevent recursion from happening, future support to recursion may need extra work around.

Reference: #14392 (comment).

Checklist

  • I have written necessary rustdoc comments
  • I have added necessary unit tests and integration tests
  • I have added test labels as necessary. See details.
  • I have added fuzzing tests or opened an issue to track them. (Optional, recommended for new SQL features Sqlsmith: Sql feature generation #7934).
  • My PR contains breaking changes. (If it deprecates some features, please create a tracking issue to remove them in the future).
  • All checks passed in ./risedev check (or alias, ./risedev c)
  • My PR changes performance-critical code. (Please run macro/micro-benchmarks and show the results.)
  • My PR contains critical fixes that are necessary to be merged into the latest release. (Please check out the details)

Documentation

  • My PR needs documentation updates. (Please use the Release note section below to summarize the impact on users)

Release note

If this PR includes changes that directly affect users or other significant modifications relevant to the community, kindly draft a release note to provide a concise summary of these changes. Please prioritize highlighting the impact these changes will have on users.

@xzhseh xzhseh self-assigned this Jan 12, 2024
@xzhseh xzhseh marked this pull request as ready for review January 17, 2024 14:53
@@ -57,12 +57,12 @@ create function fib(INT) returns int
end;';

# The execution will eventually exceed the pre-defined max stack depth
statement error function fib calling stack depth limit exceeded
select fib(100);
# statement error function fib calling stack depth limit exceeded
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why it's commented?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Note: This will also prevent recursion from happening, future support to recursion may need extra work around.

Since we don't allow users to create recursion function if semantic check is enabled.

Copy link
Contributor

@TennyZhuang TennyZhuang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Generally LGTM

@xzhseh xzhseh added this pull request to the merge queue Jan 22, 2024
Merged via the queue into main with commit 657b8ab Jan 22, 2024
24 of 26 checks passed
@xzhseh xzhseh deleted the xzhseh/sql-udf-semantic-check branch January 22, 2024 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants