Report - Kapitel 7: Formaler Datenbankentwurf - DBIS - …dbis.informatik.uni-freiburg.de/content/DBBuch/Folien/... · 2006-03-24 · Armstrong-Axiome Sei r ∈ Sat(V,F). (A1) Reflexivit¨at:

Please pass captcha verification before submit form