@misc{BaumgartnerFurbachGrossHardtetal.2004, author = {Peter Baumgartner and Ulrich Furbach and Margret Gro{\"s}-Hardt and Thomas Kleemann}, title = {Model based deduction for database schema reasoning}, institution = {Institut f{\"u}r Informatik}, series = {Fachberichte Informatik}, number = {2004,5}, type = {periodicalpart}, year = {2004}, }