谓词逻辑在关系数据库中的应用.docxVIP

谓词逻辑在关系数据库中的应用

07级数学信息(2)班张益060207087

一.谓词逻辑与数据子语言

1、二维表与谓词逻辑

我们知道一张二维表可表示为一个n元有序组的集合。一个集合可用一个特性谓词刻画，故一个n元有序组的集合可用一个n元特性谓词刻画，由此，一个二维表亦可用谓词刻画。某元组属于二维表之充分必要条件是使其对应的谓词为真。

例1表1所列之二维表可用谓词F(x，y)=(x=y)aN+(x)表示，其中N+(x)表示x是正自然数。

例2表2所列之二维表可用谓词F(x，y)=(x=y+1)a(y/2=[y/2])aN+(x)表示。

表2

xY

x

Y

3

2

5

4

7

6

9

8

11

10

?

?

x

y

1

1

2

2

3

3

4

4

5

5

?

?

这样二维表可用特性谓词表示的集合来表示，如上两例的两个二维表分别可用下面两个以特性谓词表示的集合来表示：

{(x，y)|(x=y)aN+(x)}；

{(x，y)|(x=y+1)A(y/2=[y/2])aN+(x)}

2、基本操作与谓词公式

数据子语言的操作对象——二维表，可用谓词逻辑中的谓词表示，而对其对象所进行的操作则可用谓词公式表示，亦即是由一些谓词通过命题联结词及量词来表示。为了说明这一点，首先我们要对关系式数据库中的谓词公式做一明确的定义。在关系式数据库中，其谓词公式的原子公式