Prof. Dr. R. Laue                                                                                                                                  SS02
                                Informatik IV
                                Übungsblatt 12
                                Abgabe: 11.7.02 bis 10.00 

URL:         /axel/informatik4_ss02_blatt12.html
Dieses  Übungsblatt ist alleine zu bearbeiten.
 


Aufgabe 25 (4 Punkte)

Vervollständigen Sie den Beweis des Chase Prozess. Es blieb der dritte Fall zu beweisen, bei dem zwei verschiedene J-Regeln auf ein Tableau T angewandt wurden

bild