Excercises for Relational Databases 2 - IfIS

Excercises for Relational Databases 2 - IfIS

Technische Universität Braunschweig
Institut für Informationssysteme
http://www.ifis.cs.tu-bs.de
Wolf-Tilo Balke, Christoph Lofi
Deductive Databases & Knowledge Based Systems
Sheet 6
Exercise 1
Provided is following
(
(
(
(
(
(
(
)
)
)
)
)
)
)
(
(
(
)
)
)
(
(
(
program:
)
)
) (
)
1. Transform the program to relational algebra by providing
( ) and
2. Compute the fixpoint relations by using your results from 1.
Exercises for Relational Databases 1
Institut für Informationssysteme – TU Braunschweig - http://www.ifis.cs.tu-bs.de
( )