A Modal System of Algebras for Database Specification and Query/Update Language Support.

Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler

Browse the full VLDB paper archive.