Datalog

Table of Contents

Datalog

Logical Query Languages

Datalog Example

Datalog Example (II)

Meaning of Rules

Example

General Evaluation of Rules

Example

Example (II)

Example (III)

Safety

Safety (II)

A Tuple-Based Interpretation for Rules

Example

Example (II)

Datalog Programs

Example

to a Datalog program.

Expressive Power of Datalog

Relational Algebra to Datalog

Example

PPT Slide

Datalog to Relational Algebra

Datalog to Relational Algebra (II)

Datalog to Relational Algebra (III)

Example

Recursion

Recursive Example

Iterative Fixed-Point Evaluates Recursive Rules

Example

Example (II)

Example (III)

Email: burt@umbc

Home Page: www.cs.umbc.edu/~burt