Что означает этот символ :: =?

Question

Я читаю книгу Джо Селко SQL для Smarties, и он использует некоторые незнакомые мне обозначения. После интернет-поиска я нашел несколько небольших фрагментов информации об этом на сайте Oracle.

Символ он использует, что я не понимаю, это :: =

Мои поиски оказалось очень мало информации, но то, что я нашел было частью железнодорожной диаграммы. Вот ссылка на один документ, я обнаружил, что содержит символ:

https://docs.oracle.com/cd/E17236_01/epm.1112/esb_tech_ref_1112100/frameset.htm?maxl_bnf_help_symbols.html

Вот один пример из книги, чтобы описать то, что я говорю о:

< schema element > ::= 
< domain definition > | < table definition > | < view definition > 
| < grant statement > | < assertion definition > | < character set definition > 
| < collation definition > | < translation definition > 

Что делает: : = означает?

Answer 1

Этот символ от Backus-Naur Form (BNF), который используется для описания синтаксиса. Он используется для разделения имени нетерминального символа слева от его определения справа.

Вы можете прочитать ::= как «определяются как»:

схема элемент определяется как определения домена или определения таблицы или определения представления или ...

Answer 2

Кажется, что обратная форма Naur. Это обозначение, используемое для формального описания использования грамматики. Идея этого заключается в том, чтобы быть независимым от фактического языка. :: :: представляет задание.

Существует больше информации для этого здесь https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form