Datenbanken

RA*P (Definition + Idee)

R: Reflexisivität => X --> X

A: Akkumulation => X --> YZ; Z --> AW  dann gilt auch X --> YZA

P: Projektion => X --> Y, Z c= (ist Teilmenge von) Y  dan gilt auch X --> Z

Idee: 
- F = FD-Menge, die für ein Relationsschema spezifiert ist
- Schemadesigner spezifiziert FDs, die semantisch offensichtlich sind
- Daraus können mittles RA*P weitere FDs f abgeleitet werden 

Diskussion