Interactive Specification and Formal Verification of User's Views in Data Bases Design.

C. Baldissera, Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi

Browse the full VLDB paper archive.