SQL 是「結構性查詢語言」（Structure Query Language）的簡寫，它是一種用來在關係數據庫中定義、查詢、更新及控制數據的統一語言。
和 Pascal 不同，SQL 是非過程語言。用 SQL 寫程序的時候，你是指示電腦做什麼，而不是指示電腦怎樣做（過程語言──例如 Pascal ──是指示電腦怎樣做）。
SQL 用來在關係數據庫中處理及收集數據。
在這個部份，我們使用 EBNF 去形容 SQL 的語法。
按這裏看看在例子中使用的表。