跳轉至內容

Java 持久化/JPQL BNF

來自華夏公益教科書

以下定義了 JPQL 查詢語言的結構。有關更多示例和用法,請參閱 查詢

 | = or
 [] = optional
 * = repeatable (zero or more times)
 {} = mandatory

QL_statement ::= select_statement | update_statement | delete_statement

Select employee from Employee employee join employee.address address 
where address.city = :city and employee.firstName like :name order by employee.firstName

select_statement ::= select_clause from_clause [where_clause] [groupby_clause] [having_clause] [orderby_clause]

FROM Employee employee JOIN FETCH employee.address 
LEFT OUTER JOIN FETCH employee.phones JOIN employee.manager manager, Employee ceo

from_clause ::= FROM identification_variable_declaration {, {identification_variable_declaration | collection_member_declaration}}*

identification_variable_declaration ::= range_variable_declaration { join | fetch_join }*

range_variable_declaration ::= abstract_schema_name [AS] identification_variable

join ::= join_spec join_association_path_expression [AS] identification_variable

fetch_join ::= join_spec FETCH join_association_path_expression

association_path_expression ::= collection_valued_path_expression | single_valued_association_path_expression

join_spec::= [ LEFT [OUTER] | INNER ] JOIN

join_association_path_expression ::= join_collection_valued_path_expression | join_single_valued_association_path_expression

join_collection_valued_path_expression::= identification_variable.collection_valued_association_field

join_single_valued_association_path_expression::= identification_variable.single_valued_association_field

collection_member_declaration ::= IN (collection_valued_path_expression) [AS] identification_variable

single_valued_path_expression ::= state_field_path_expression | single_valued_association_path_expression

state_field_path_expression ::= {identification_variable | single_valued_association_path_expression}.state_field

single_valued_association_path_expression ::= identification_variable.{single_valued_association_field.}* single_valued_association_field

collection_valued_path_expression ::= identification_variable.{single_valued_association_field.}*collection_valued_association_field

state_field ::= {embedded_class_state_field.}*simple_state_field

選擇子句

[編輯 | 編輯原始碼]
SELECT employee.id, employee.phones

SELECT DISTINCT employee.address.city, NEW com.acme.EmployeeInfo(AVG(employee.salary), MAX(employee.salary))

select_clause ::= SELECT [DISTINCT] select_expression {, select_expression}*

select_expression ::= single_valued_path_expression | aggregate_expression | identification_variable | OBJECT(identification_variable) | constructor_expression

constructor_expression ::= NEW constructor_name ( constructor_item {, constructor_item}* )

constructor_item ::= single_valued_path_expression | aggregate_expression

aggregate_expression ::= { AVG | MAX | MIN | SUM } ([DISTINCT] state_field_path_expression) | COUNT ([DISTINCT] identification_variable | state_field_path_expression | single_valued_association_path_expression)

WHERE employee.firstName = :name AND employee.address.city LIKE 'Ott%' ESCAPE '/' 
OR employee.id IN (1, 2, 3) AND (employee.salary * 2) > 40000

where_clause ::= WHERE conditional_expression

conditional_expression ::= conditional_term | conditional_expression OR conditional_term

conditional_term ::= conditional_factor | conditional_term AND conditional_factor

conditional_factor ::= [ NOT ] conditional_primary

conditional_primary ::= simple_cond_expression | (conditional_expression)

simple_cond_expression ::= comparison_expression | between_expression | like_expression | in_expression | null_comparison_expression | empty_collection_comparison_expression | collection_member_expression | exists_expression

between_expression ::= arithmetic_expression [NOT] BETWEEN arithmetic_expression AND arithmetic_expression | string_expression [NOT] BETWEEN string_expression AND string_expression | datetime_expression [NOT] BETWEEN datetime_expression AND datetime_expression

in_expression ::= state_field_path_expression [NOT] IN ( in_item {, in_item}* | subquery)

in_item ::= literal | input_parameter

like_expression ::= string_expression [NOT] LIKE pattern_value [ESCAPE escape_character]

null_comparison_expression ::= {single_valued_path_expression | input_parameter} IS [NOT] NULL

empty_collection_comparison_expression ::= collection_valued_path_expression IS [NOT] EMPTY

collection_member_expression ::= entity_expression [NOT] MEMBER [OF] collection_valued_path_expression

exists_expression::= [NOT] EXISTS (subquery)

all_or_any_expression ::= { ALL | ANY | SOME} (subquery)

comparison_expression ::= string_expression comparison_operator {string_expression | all_or_any_expression} | boolean_expression { =|<>} {boolean_expression | all_or_any_expression} | enum_expression { =|<>} {enum_expression | all_or_any_expression} | datetime_expression comparison_operator {datetime_expression | all_or_any_expression} | entity_expression { = | <> } {entity_expression | all_or_any_expression} | arithmetic_expression comparison_operator {arithmetic_expression | all_or_any_expression}

comparison_operator ::= = | > | >= | < | <= | <>

arithmetic_expression ::= simple_arithmetic_expression | (subquery)

simple_arithmetic_expression ::= arithmetic_term | simple_arithmetic_expression { + | - } arithmetic_term

arithmetic_term ::= arithmetic_factor | arithmetic_term { * | / } arithmetic_factor

arithmetic_factor ::= [{ + | - }] arithmetic_primary

arithmetic_primary ::= state_field_path_expression | numeric_literal | (simple_arithmetic_expression) | input_parameter | functions_returning_numerics | aggregate_expression

string_expression ::= string_primary | (subquery)

string_primary ::= state_field_path_expression | string_literal | input_parameter | functions_returning_strings | aggregate_expression

datetime_expression ::= datetime_primary | (subquery)

datetime_primary ::= state_field_path_expression | input_parameter | functions_returning_datetime | aggregate_expression

boolean_expression ::= boolean_primary | (subquery)

boolean_primary ::= state_field_path_expression | boolean_literal | input_parameter |

enum_expression ::= enum_primary | (subquery)

enum_primary ::= state_field_path_expression | enum_literal | input_parameter |

entity_expression ::= single_valued_association_path_expression | simple_entity_expression

simple_entity_expression ::= identification_variable | input_parameter

LENGTH(SUBSTRING(UPPER(CONCAT('FOO', :bar)), 1, 5))

functions_returning_numerics::= LENGTH(string_primary) | LOCATE(string_primary, string_primary[, simple_arithmetic_expression]) | ABS(simple_arithmetic_expression) | SQRT(simple_arithmetic_expression) | MOD(simple_arithmetic_expression, simple_arithmetic_expression) | SIZE(collection_valued_path_expression)

functions_returning_datetime ::= CURRENT_DATE| CURRENT_TIME | CURRENT_TIMESTAMP

functions_returning_strings ::= CONCAT(string_primary, string_primary) | SUBSTRING(string_primary, simple_arithmetic_expression, simple_arithmetic_expression)| TRIM([[trim_specification] [trim_character] FROM] string_primary) | LOWER(string_primary) | UPPER(string_primary)

trim_specification ::= LEADING | TRAILING | BOTH

分組依據

[編輯 | 編輯原始碼]
GROUP BY employee.address.country, employee.address.city HAVING COUNT(employee.id) > 500

groupby_clause ::= GROUP BY groupby_item {, groupby_item}*

groupby_item ::= single_valued_path_expression | identification_variable

having_clause ::= HAVING conditional_expression

排序依據

[編輯 | 編輯原始碼]
ORDER BY employee.address.country, employee.address.city DESC

orderby_clause ::= ORDER BY orderby_item {, orderby_item}*

orderby_item ::= state_field_path_expression [ ASC | DESC ]

子查詢

[編輯 | 編輯原始碼]
WHERE employee.salary = (SELECT MAX(wellPaid.salary) FROM Employee wellPaid)

subquery ::= simple_select_clause subquery_from_clause [where_clause] [groupby_clause] [having_clause]

subquery_from_clause ::= FROM subselect_identification_variable_declaration {, subselect_identification_variable_declaration}* subselect_identification_variable_declaration ::= identification_variable_declaration | association_path_expression [AS] identification_variable | collection_member_declaration

simple_select_clause ::= SELECT [DISTINCT] simple_select_expression

simple_select_expression::= single_valued_path_expression | aggregate_expression | identification_variable

UPDATE Employee e SET e.salary = e.salary * 2 WHERE e.address.city = :city

update_statement ::= update_clause [where_clause]

update_clause ::= UPDATE abstract_schema_name [[AS] identification_variable] SET update_item {, update_item}*

update_item ::= [identification_variable.]{state_field | single_valued_association_field} = new_value

new_value ::= simple_arithmetic_expression | string_primary | datetime_primary | boolean_primary | enum_primary | simple_entity_expression | NULL

DELETE FROM Employee e WHERE e.address.city = :city

delete_statement ::= delete_clause [where_clause]

delete_clause ::= DELETE FROM abstract_schema_name [[AS] identification_variable]

通常最好使用引數在查詢中定義資料值,使用語法 :parameter?。JPQL 還允許使用文字在 JPQL 查詢中內聯資料值。

JPQL 為文字定義了以下語法

  • 字串 - '字串' - "Select e from Employee e where e.name = 'Bob'"
    • 要定義字串中的 '(引號)字元,請將引號用雙引號括起來,例如:'Baie-D''Urfé'
  • 整數 - 數字 - "Select e from Employee e where e.id = 1234"
  • 長整型 - +|-數字L - "Select e from Employee e where e.id = 1234L"
  • 浮點型 - +|-數字.小數指數F - "Select s from Stat s where s.ratio > 3.14F"
  • 雙精度浮點型 - +|-數字.小數指數D - "Select s from Stat s where s.ratio > 3.14e32D"
  • 布林型 - TRUE | FALSE - "Select e from Employee e where e.active = TRUE"
  • 日期 - {d'yyyy-mm-dd'} - "Select e from Employee e where e.startDate = {d'2012-01-03'}"
  • 時間 - {t'hh:mm:ss'} - "Select e from Employee e where e.startTime = {t'09:00:00'}"
  • 時間戳 - {ts'yyy-mm-dd hh:mm:ss.nnnnnnnnn'} - "Select e from Employee e where e.version = {ts'2012-01-03 09:00:00.000000001'}"
  • 列舉 - 包名.類名.列舉值 - "Select e from Employee e where e.gender = org.acme.Gender.MALE"
  • 空 - NULL - "Update Employee e set e.manager = NULL where e.manager = :manager"

JPA 2.0 新增功能

[編輯 | 編輯原始碼]

以下語法在 JPA 2.0 中新增。


type_discriminator ::= TYPE(identification_variable | single_valued_object_path_expression | input_parameter)

允許查詢物件的型別/類。
SELECT p from Project p where TYPE(p) in (LargeProject, SmallProject)


qualified_identification_variable ::= KEY(identification_variable) | VALUE(identification_variable) | ENTRY(identification_variable)

允許選擇 Map 的鍵、值和 Map 條目。
SELECT ENTRY(e.contactInfo) from Employee e


general_identification_variable ::= identification_variable | KEY(identification_variable) | VALUE(identification_variable)

允許查詢 Map 的鍵和值。
SELECT e from Employee e join e.contactInfo c where KEY(c) = 'Email' and VALUE(c) = 'joe@gmail.com'


in_item ::= literal | single_valued_input_parameter

允許為 IN 提供集合引數。
SELECT e from Employee e where e.id in :param


functions_returning_strings ::= CONCAT(string_primary, string_primary {, string_primary}*)

允許使用多個引數進行 CONCAT。
SELECT e from Employee e where CONCAT(e.address.street, e.address.city, e.address.province) = :address


SUBSTRING(string_primary, simple_arithmetic_expression [, simple_arithmetic_expression])

允許使用單個引數進行 SUBSTRING。
SELECT e from Employee e where SUBSTRING(e.name, 3) = 'Mac'


case_expression ::= general_case_expression | simple_case_expression |coalesce_expression | nullif_expression general_case_expression::= CASE when_clause {when_clause}* ELSE scalar_expression END when_clause::= WHEN conditional_expression THEN scalar_expression simple_case_expression::= CASE case_operand simple_when_clause {simple_when_clause}* ELSE scalar_expression END case_operand::= state_field_path_expression | type_discriminator simple_when_clause::= WHEN scalar_expression THEN scalar_expression coalesce_expression::= COALESCE(scalar_expression {, scalar_expression}+) nullif_expression::= NULLIF(scalar_expression, scalar_expression)

允許使用 CASE、COALESCE 和 NULLIF 函式。
SELECT e.name, CASE WHEN (e.salary >= 100000) THEN 1 WHEN (e.salary < 100000) THEN 2 ELSE 0 END from Employee e


functions_returning_numerics ::= ... | INDEX(identification_variable)

允許查詢索引列表對映中的索引。
SELECT e from Employee e join e.phones p where INDEX(p) = 1 and p.areaCode = '613'


join_collection_valued_path_expression ::= identification_variable. {single_valued_embeddable_object_field.}* collection_valued_field join_single_valued_path_expression ::= variable.{single_valued_embeddable_object_field.}*single_valued_object_field

允許在聯接上使用巢狀點表示法。
SELECT p from Employee e join e.employeeDetails.phones p where e.id = :id


select_item ::= select_expression [[AS] result_variable]

允許在 select 中使用 AS 選項。
SELECT AVG(e.salary) AS s, e.address.city from Employee e group by e.address.city order by s


literalTemporal = DATE_LITERAL | TIME_LITERAL | TIMESTAMP_LITERAL

允許使用 JDBC 日期/時間轉義語法。
SELECT e from Employee e where e.startDate > {d'1990-01-01'}
華夏公益教科書