首页
域演算
1.域演算的定义
(1)基本形式{
| P(x1, x2, ... ,xn)
}
(2)解释:xi:域变量或常量
P:以 xi 为变量的公式
(3)公式 P 的递归定义
1)三种原子公式
数据库系统概论(基础篇)
相关
标签