Skip to content

MDEV-37072: Implement IS JSON predicate #4332

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
+562 −2
Open

MDEV-37072: Implement IS JSON predicate #4332

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
195 changes: 195 additions & 0 deletions mysql-test/main/func_json.result
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5263,4 +5263,199 @@ SET @obj1='{ "a": 1,"b": 2,"c": 3}';
SELECT JSON_OBJECT_FILTER_KEYS (@obj1,@arr1);
JSON_OBJECT_FILTER_KEYS (@obj1,@arr1)
NULL
#
# MDEV-37072: Implement IS JSON predicate
#
set names utf8mb4;
SELECT '[1, 2]' IS JSON;
'[1, 2]' IS JSON
1
SELECT '{"key1":1, "key2":[2,3]}' IS JSON;
'{"key1":1, "key2":[2,3]}' IS JSON
1
SELECT '123' IS JSON;
'123' IS JSON
1
SELECT 'null' IS JSON;
'null' IS JSON
1
SELECT 'invalid' IS JSON;
'invalid' IS JSON
0
SELECT '{"key1":1, "key2":[2,3]' IS JSON;
'{"key1":1, "key2":[2,3]' IS JSON
0
SELECT '[1, 2' IS JSON;
'[1, 2' IS JSON
0
SELECT 'NULL' IS JSON;
'NULL' IS JSON
0
SELECT 'invalid' IS NOT JSON;
'invalid' IS NOT JSON
1
SELECT '{"key1":1, "key2":[2,3]' IS NOT JSON;
'{"key1":1, "key2":[2,3]' IS NOT JSON
1
SELECT '[1, 2]' IS NOT JSON;
'[1, 2]' IS NOT JSON
0
SELECT '{"key1":1, "key2":[2,3]}' IS NOT JSON;
'{"key1":1, "key2":[2,3]}' IS NOT JSON
0
# Type constraints
SELECT js,
js IS JSON "json?",
js IS JSON VALUE "value?",
js IS JSON SCALAR "scalar?",
js IS JSON OBJECT "object?",
js IS JSON ARRAY "array?"
FROM (VALUES
('123'), ('"string"'), ('{"key":1}'), ('[1,2,3]'), ('[]'), ('{}'),
('true'), ('false'), ('null')) foo(js);
js json? value? scalar? object? array?
123 1 1 1 0 0
"string" 1 1 1 0 0
{"key":1} 1 1 0 1 0
[1,2,3] 1 1 0 0 1
[] 1 1 0 0 1
{} 1 1 0 1 0
true 1 1 1 0 0
false 1 1 1 0 0
null 1 1 1 0 0
# UNIQUE KEYS constraint
SELECT js,
js IS JSON OBJECT WITH UNIQUE KEYS "object_with_unique",
js IS JSON OBJECT WITHOUT UNIQUE KEYS "object_without_unique",
js IS JSON ARRAY WITH UNIQUE KEYS "array_with_unique",
js IS JSON ARRAY WITHOUT UNIQUE KEYS "array_without_unique"
FROM (VALUES
('{"a":1, "b":2, "c":3}'),
('{"a":1, "a":2, "a":3}'),
('[{"a":"1"},{"c":"2","c":"3"}]'),
('[{"a":"1"},{"b":"2","c":"3"}]'),
('[1,2,3]'), ('[1,1,1]'), ('[]'), ('123'),
('"string"'), ('true'), ('null')) foo(js);
js object_with_unique object_without_unique array_with_unique array_without_unique
{"a":1, "b":2, "c":3} 1 1 0 0
{"a":1, "a":2, "a":3} 0 1 0 0
[{"a":"1"},{"c":"2","c":"3"}] 0 0 0 1
[{"a":"1"},{"b":"2","c":"3"}] 0 0 1 1
[1,2,3] 0 0 1 1
[1,1,1] 0 0 1 1
[] 0 0 1 1
123 0 0 0 0
"string" 0 0 0 0
true 0 0 0 0
null 0 0 0 0
# Test with table data
CREATE TABLE test_json (
json_col JSON,
text_col TEXT
);
INSERT INTO test_json VALUES
('{"name":"Alice", "age":25}', '{"name":"Alice", "age":25}'),
('[1,2,3]', '[1,2,3]'),
('42', '42'),
('"hello"', '"hello"'),
('true', 'true'),
('null', 'null'),
('"invalid"', 'invalid'),
('{"key1":1, "key2":2}', '{"key1":1, "key2":2}'),
('{"key1":1, "key1":2}', '{"key1":1, "key1":2}');
SELECT
json_col,
json_col IS JSON as is_json,
json_col IS JSON VALUE as is_value,
json_col IS JSON SCALAR as is_scalar,
json_col IS JSON OBJECT as is_object,
json_col IS JSON ARRAY as is_array,
json_col IS JSON OBJECT WITH UNIQUE KEYS as object_with_unique,
json_col IS JSON OBJECT WITHOUT UNIQUE KEYS as object_without_unique
FROM test_json;
json_col is_json is_value is_scalar is_object is_array object_with_unique object_without_unique
{"name":"Alice", "age":25} 1 1 0 1 0 1 1
[1,2,3] 1 1 0 0 1 0 0
42 1 1 1 0 0 0 0
"hello" 1 1 1 0 0 0 0
true 1 1 1 0 0 0 0
null 1 1 1 0 0 0 0
"invalid" 1 1 1 0 0 0 0
{"key1":1, "key2":2} 1 1 0 1 0 1 1
{"key1":1, "key1":2} 1 1 0 1 0 0 1
SELECT
text_col,
text_col IS JSON as is_json,
text_col IS JSON VALUE as is_value,
text_col IS JSON SCALAR as is_scalar,
text_col IS JSON OBJECT as is_object,
text_col IS JSON ARRAY as is_array
FROM test_json;
text_col is_json is_value is_scalar is_object is_array
{"name":"Alice", "age":25} 1 1 0 1 0
[1,2,3] 1 1 0 0 1
42 1 1 1 0 0
"hello" 1 1 1 0 0
true 1 1 1 0 0
null 1 1 1 0 0
invalid 0 0 0 0 0
{"key1":1, "key2":2} 1 1 0 1 0
{"key1":1, "key1":2} 1 1 0 1 0
SELECT
COUNT(*) as total_rows,
SUM(json_col IS JSON) as valid_json_count,
SUM(json_col IS JSON OBJECT) as object_count,
SUM(json_col IS JSON ARRAY) as array_count,
SUM(json_col IS JSON SCALAR) as scalar_count
FROM test_json;
total_rows valid_json_count object_count array_count scalar_count
9 9 3 1 5
# Edge cases
SELECT js,
js IS JSON "json?",
js IS JSON VALUE "value?",
js IS JSON SCALAR "scalar?",
js IS JSON OBJECT "object?",
js IS JSON ARRAY "array?"
FROM (VALUES
(NULL), (''), (' '), ('\n'), ('\t'),
('{"key":1,}'), ('{"key":1, "key2":}'), ('{key:1}'),
('{"emoji":"😊"}'), ('{"unicode":"\\u0041"}'),
(x'48656C6C6F'), ('2'), (CONCAT('{"a":', 1, '}')),
(JSON_OBJECT('a', 1, 'b', 2)), (JSON_ARRAY(1, 2, 3)), (JSON_QUOTE('hello'))) foo(js);
js json? value? scalar? object? array?
NULL NULL NULL NULL NULL NULL
0 0 0 0 0
0 0 0 0 0

0 0 0 0 0
0 0 0 0 0
{"key":1,} 0 0 0 0 0
{"key":1, "key2":} 0 0 0 0 0
{key:1} 0 0 0 0 0
{"emoji":"😊"} 1 1 0 1 0
{"unicode":"\u0041"} 1 1 0 1 0
Hello 0 0 0 0 0
2 1 1 1 0 0
{"a":1} 1 1 0 1 0
{"a": 1, "b": 2} 1 1 0 1 0
[1, 2, 3] 1 1 0 0 1
"hello" 1 1 1 0 0
# Large json object with unique keys
CREATE PROCEDURE build_large_json()
BEGIN
SET @json='{"key1":1';
SET @i=2;
WHILE @i <= 1000 DO
SET @json = CONCAT(@json, ',"key', @i, '":', @i);
SET @i = @i + 1;
END WHILE;
SET @json = CONCAT(@json, '}');
END|
CALL build_large_json()|
SELECT @json IS JSON OBJECT WITH UNIQUE KEYS AS unique_keys|
unique_keys
1
DROP PROCEDURE build_large_json|
DROP TABLE test_json;
# End of 11.2 Test
133 changes: 133 additions & 0 deletions mysql-test/main/func_json.test
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4162,4 +4162,137 @@ SET CHARACTER SET utf8;
SET @obj1='{ "a": 1,"b": 2,"c": 3}';
SELECT JSON_OBJECT_FILTER_KEYS (@obj1,@arr1);


--echo #
--echo # MDEV-37072: Implement IS JSON predicate
--echo #

set names utf8mb4;

--disable_view_protocol
SELECT '[1, 2]' IS JSON;
SELECT '{"key1":1, "key2":[2,3]}' IS JSON;
SELECT '123' IS JSON;
SELECT 'null' IS JSON;

SELECT 'invalid' IS JSON;
SELECT '{"key1":1, "key2":[2,3]' IS JSON;
SELECT '[1, 2' IS JSON;
SELECT 'NULL' IS JSON;

SELECT 'invalid' IS NOT JSON;
SELECT '{"key1":1, "key2":[2,3]' IS NOT JSON;
SELECT '[1, 2]' IS NOT JSON;
SELECT '{"key1":1, "key2":[2,3]}' IS NOT JSON;

--echo # Type constraints

SELECT js,
js IS JSON "json?",
js IS JSON VALUE "value?",
js IS JSON SCALAR "scalar?",
js IS JSON OBJECT "object?",
js IS JSON ARRAY "array?"
FROM (VALUES
('123'), ('"string"'), ('{"key":1}'), ('[1,2,3]'), ('[]'), ('{}'),
('true'), ('false'), ('null')) foo(js);

--echo # UNIQUE KEYS constraint

SELECT js,
js IS JSON OBJECT WITH UNIQUE KEYS "object_with_unique",
js IS JSON OBJECT WITHOUT UNIQUE KEYS "object_without_unique",
js IS JSON ARRAY WITH UNIQUE KEYS "array_with_unique",
js IS JSON ARRAY WITHOUT UNIQUE KEYS "array_without_unique"
FROM (VALUES
('{"a":1, "b":2, "c":3}'),
('{"a":1, "a":2, "a":3}'),
('[{"a":"1"},{"c":"2","c":"3"}]'),
('[{"a":"1"},{"b":"2","c":"3"}]'),
('[1,2,3]'), ('[1,1,1]'), ('[]'), ('123'),
('"string"'), ('true'), ('null')) foo(js);

--echo # Test with table data

CREATE TABLE test_json (
json_col JSON,
text_col TEXT
);

INSERT INTO test_json VALUES
('{"name":"Alice", "age":25}', '{"name":"Alice", "age":25}'),
('[1,2,3]', '[1,2,3]'),
('42', '42'),
('"hello"', '"hello"'),
('true', 'true'),
('null', 'null'),
('"invalid"', 'invalid'),
('{"key1":1, "key2":2}', '{"key1":1, "key2":2}'),
('{"key1":1, "key1":2}', '{"key1":1, "key1":2}');

SELECT
json_col,
json_col IS JSON as is_json,
json_col IS JSON VALUE as is_value,
json_col IS JSON SCALAR as is_scalar,
json_col IS JSON OBJECT as is_object,
json_col IS JSON ARRAY as is_array,
json_col IS JSON OBJECT WITH UNIQUE KEYS as object_with_unique,
json_col IS JSON OBJECT WITHOUT UNIQUE KEYS as object_without_unique
FROM test_json;

SELECT
text_col,
text_col IS JSON as is_json,
text_col IS JSON VALUE as is_value,
text_col IS JSON SCALAR as is_scalar,
text_col IS JSON OBJECT as is_object,
text_col IS JSON ARRAY as is_array
FROM test_json;

SELECT
COUNT(*) as total_rows,
SUM(json_col IS JSON) as valid_json_count,
SUM(json_col IS JSON OBJECT) as object_count,
SUM(json_col IS JSON ARRAY) as array_count,
SUM(json_col IS JSON SCALAR) as scalar_count
FROM test_json;

--echo # Edge cases

SELECT js,
js IS JSON "json?",
js IS JSON VALUE "value?",
js IS JSON SCALAR "scalar?",
js IS JSON OBJECT "object?",
js IS JSON ARRAY "array?"
FROM (VALUES
(NULL), (''), (' '), ('\n'), ('\t'),
('{"key":1,}'), ('{"key":1, "key2":}'), ('{key:1}'),
('{"emoji":"😊"}'), ('{"unicode":"\\u0041"}'),
(x'48656C6C6F'), ('2'), (CONCAT('{"a":', 1, '}')),
(JSON_OBJECT('a', 1, 'b', 2)), (JSON_ARRAY(1, 2, 3)), (JSON_QUOTE('hello'))) foo(js);
--enable_view_protocol

--echo # Large json object with unique keys

DELIMITER |;
CREATE PROCEDURE build_large_json()
BEGIN
SET @json='{"key1":1';
SET @i=2;
WHILE @i <= 1000 DO
SET @json = CONCAT(@json, ',"key', @i, '":', @i);
SET @i = @i + 1;
END WHILE;
SET @json = CONCAT(@json, '}');
END|
CALL build_large_json()|
SELECT @json IS JSON OBJECT WITH UNIQUE KEYS AS unique_keys|
DROP PROCEDURE build_large_json|
DELIMITER ;|

DROP TABLE test_json;


--echo # End of 11.2 Test
Loading