Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper).

Dines Bjrner, Hans Henrik Lvengreen

Browse the full VLDB paper archive.