BNF范式是什么概念？

[jas_liu]

经常看到这个词，不知怎样学习？

[yb_yb]

up

[rhyno]

就我所知，BNF (Backus-Naur Form) 是一種用來描述語法的工具，如果你想深入了解的話，你應該去找一本 System Progamming 的書，Beck 寫的書還不錯

[Arter]

我曾经在一本《数据库系统导论》中学过，找一本数据库理论书，里面应该有

[DaNiao]

<BNF>::= <非终结符>::=<或项列表>
<或项列表>::= <项> | <或项列表>|<项>
<项>::= <非终结符> | <终结符> | <项><非终结符> | <项><终结符>
<非终结符>::= <非终结符名>

（ 但愿能有人看得懂:-) )

BNF就是巴科特·瑙尔式的缩写，
在计算机的史前时代（1950s)，曾有一位大师，他奠定了现代计算机的基础
在他老人家的诸多成就之中，包括了对形式语言的研究，和发明了高级语言：
FORTRAN。
为了纪念他老人家，我们把他提出的一套描述语言的方法叫做BNF

其实BNF很简单::=表示定义 |表示或 尖括号(<>)括起来的是非终结符
所谓非终结符就是语言中某些抽象的概念，终结符就是可以直接出现在
语言中的符号

比如：C语言的声明语句可以用BNF这样描述：
<声明语句> ::= <类型><标识符>; | <类型><标识符>[<数字>];
这一句中<声明语句>这个非终结符被定义成了两种形式（上面用|隔开的两部分）
在这里引入了三个终结符: 分号; 左右方括号[ ]

<类型> ::= <简单类型> | <指针类型> | <自定义类型>
<指针类型> ::= <简单类型> * | <自定义类型> *
<简单类型> ::= int|char|double|float|long|short|void
<自定义类型> ::= enum<标识符>|struct<标识符>|union<标识符>|<标识符>
到这里就基本上把<类型>定义清楚了

<数字> ::= 0X<十六进制数字串> | 0<八进制数字串> | <十进制数字串>
<十六进制数字串> ::= <十六进制数字> | <十六进制数字串><十六进制数字>
<八进制数字串> ::= <八进制数字> | <八进制数字串><八进制数字>
<十进制数字串> ::= <十进制数字> | <十进制数字串><十进制数字>
<十六进制数字> ::= <十进制数字> | A | B | C | D | E | F
<十进制数字> ::= <八进制数字> | 8 | 9
<八进制数字> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7
到这里就把<数字>定义清楚了

<标识符> ::= <字母> | <标识符> <字母数字串>
<字母数字串> ::= <字母>|<十进制数字>|<字母数字串><字母>|<字母数字串><十进制数字>
<字母> ::= _ | <大写字母> | <小写字母>
<小写字母> ::= a|b|c|d|e|f|g|h|i|j …… （偷个懒）
<大写字母> ::= A|B|C|D|E|F|G|H|I|J ……

到此为止整个声明语句就定义完了（就是说已经没有非终结符了），虽然看起来很
繁，但前面定义的各种非终结符都可以很容易的在别的地方重用比如，函数声明
可以定义成下面的样子：
<函数声明语句> ::= <类型><标识符>(<形参表>);
<形参表> ::= <类型><标识符> | <形参表>,<形参表>
只用两句就描述完了，所以BNF实际上比用自然语言要简练得多
（整个C语言只用一二百句就可以描述清楚）
而且相当的精确，不会有自然语言中那种模棱两可的表达
如果你对BNF比较敏感的话，会发现C里面的标识符不能由数字开头
而且在C里面下划线是被当做字母看待的（也就是说能用字母的地方
都可以用下划线）比如：（最好用老一点的编译器比如PDP11上的cc）
#define ____ main
#define ___ for
typedef char* _____;
int (*______)(char *, ...) = printf; //如果这一句不灵，就用下面这句
//#define ______ printf //如果你用的是C++可以试一下下面这个
//int (*______)(const char *, ...) = printf;

____(_,char* __[]) //要是你编译器不吃，可以改成int ____(int _,char*__[])
{
___( ; _ ; _ --)
{
______("%s\n", __[_]);
}
}

另外，还有一种EBNF就没有正宗的BNF这么爽了，也有很多人在用，前面的
那些递归的定义被写成了{}

有一段时间PASCAL爱好者们喜欢用一个叫语法图的东西，画出来很难看，但
功能和BNF差不多，现在好象已经没多少人用了

近几年流行另一种东西：
digit = one of
0 1 2 3 4 5 6 7 8 9
这里非终结符digit用斜体表示，one of是这种方法里定义的一个量词（常用斜黑体）
我不喜欢这个，因为我眼神不好，常常分不清那个是斜体，那个是正体

[DaNiao]

前面两个人不知道在说什么，BNF是编译原理课，或者是离散数学（有限自动机
和形式语言一段）里面讲的东西，跟数据库有什么关系？
数据库里的那个叫SQL :-)

[nofog]

Arter(阿蒂尔) 应该说的是 BCNF(Boyce-Codd Normal Form)吧
是关系代数（数据库理论）里面的概念

BNF正如DaNiao(鸿雁) 所说的。

[leon2k]

数据库怎么不会用到BNF？你看SQL的帮助：SQL语句是怎么定义的？怎样判断语法？

简而言之，BNF是用来定义一个文法的。

[vernezhu]

BNF是数据完整性方面的内容:
也就是我们常说的范式，通常有：第一范式，第二范式，第三范式，BNF范式。
他是数据完整性中要求比较高的一个范式。
具体的概念，你可以从数据库原理（高等教育出版社）中找到，不过我也搞不懂数据完整性的具体做法。

[crater]

up

[iasp]

哈凄~~那什么是bcnf，，大写可能大家才认识 B C N F

[starfish]

就是Backus Naur Form啊，用来定义形式语言语法的一种形式化方法

[xinxinrenleier]

BNF和BCNF是一回事情么？我看不是吧！BCNF是数据的完整性约束条件，BNF就不知道了！BCNF又叫做BC范式发明他的两个牛人，一个的英文名字是B打头的，另一个是C打头的，所以这个范式叫BC范式！

[xinxinrenleier]

数据库里面的是叫BCNF吧？他说的是BNF！我觉得两种好象不一样，大家争论的焦点也在这上面！

[Andrawu]

在一个专家系统中用到过BNF，用于数据的一种模糊推理。

[muwls]

我个问题碰巧我知道，我可以肯定我说的是对的。
BNF是划分关系型数据库级别的标准，一般是从1NF到5NF逐次增高。说起来比较繁杂，一般达到3NF就可以了，亦即达到三级标准。这级标准要求数据库中各字段对主字段（即主键或主关键字）没有间接依赖关系和包含依赖关系，并且所有字段都不可再细分。