of {$slidecount} ½ {$title} ATZJG.NET {$author}

首页






关系逻辑
Datalog
predicate
atom


Haifeng Xu


(hfxu@yzu.edu.cn)

This slide is based on Jeffrey D. Ullman's work, which can be download from his website.

目录

基本概念

基本概念

逻辑查询语言 Datalog (database logic) 由 if-then 规则组成.

原子(atom) 分为关系原子(relational atom)和算术原子(arithmetic atom)

Datalog 规则和查询

Datalog 规则和查询

面向对象的 DBMS

面向对象的 DBMS

End






Thanks very much!

This slide is based on Jeffrey D. Ullman's work, which can be download from his website.