Browsable SQLDDL 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/SQLDDL/extracted
Source used for this grammar: Marcos Didonet Del Fabro, SQLDDL 1.0, SQLDDL.ecore, 2006/08/28

Summary

• Total 29 production rules with 30 top alternatives and 145 symbols.
• Vocabulary: 39 = 19 nonterminals + 2 terminals + 18 labels + 0 markers.
• Total 19 nonterminal symbols: 19 defined (Boolean, Integer, String, LocatedElement, NamedElement, Database, Table, TableElement, Column, Key, SimpleKey, PrimaryKey, ForeignKey, Type, Parameter, Value, IntegerVal, NullVal, StringVal), 0 root (—), 1 top (LocatedElement), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 18 labels: [tables], [database], [referencedBy] ², [elements], [parameters], [name] ³, [type], [canBeNull], [default], [keys], [isUnique] ², [columns] ², [referencedTable], [referencedColumns], [length], [isUnsigned], [table], [value] ³.

Syntax

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

LocatedElement ::=
	NamedElement

LocatedElement ::=
	TableElement

LocatedElement ::=
	Value

NamedElement ::=
	Database

NamedElement ::=
	Table

NamedElement ::=
	Type

NamedElement ::=
	Parameter

Database ::=
	[tables]::Table+

Table ::=
	[database]::Database [referencedBy]::ForeignKey+ [elements]::TableElement+ [parameters]::Parameter+

TableElement ::=
	Column

TableElement ::=
	Key

Column ::=
	[referencedBy]::ForeignKey+ [name]::String [type]::Type [canBeNull]::Boolean [default]::Value [keys]::Key+

Key ::=
	SimpleKey

Key ::=
	PrimaryKey

Key ::=
	ForeignKey

SimpleKey ::=
	[isUnique]::Boolean [name]::String [columns]::Column+

PrimaryKey ::=
	[isUnique]::Boolean [name]::String [columns]::Column+

ForeignKey ::=
	[referencedTable]::Table [referencedColumns]::Column+

Type ::=
	[length]::Integer [isUnsigned]::Boolean

Parameter ::=
	[table]::Table [value]::Value

Value ::=
	IntegerVal

Value ::=
	NullVal

Value ::=
	StringVal

IntegerVal ::=
	[value]::Integer

NullVal ::=
	ε

StringVal ::=
	[value]::String

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]