Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industri

Advanced Topics in Database Research features the latest, cutting-edge research findings dealing with all aspects of database management, systems analysis and d

"Advanced Topics in Database Research is a series of books on the fields of database, software engineering, and systems analysis and design. They feature the la