Moira C. Norrie - Böcker

Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly, those working on formal specification techniques have recognized that the database field provides a rich context for developing their ideas. However, as experts in one field often have a relatively limited knowledge of the other, there is a growing need for discussion about the relationship between these two fields and how they can be usefully combined. This volume contains the 16 papers which were presented at the International Workshop on Specification on Database Systems, held in Glasgow, 3-5 July 1991. The purpose of the workshop was to bring together these fields and to examine, through a series of invited talks, presentations and working groups, the role that formal specification can play in developing database systems. The papers describe current research into topics such as the formal specification of data models, query languages and transaction handling and the use of formal specification techniques to understand problems which arise in database systems.The working groups, which are summarized at the end of the volume, covered a variety of issues including the role of graphical notations in database specification, the use of specification techniques in enabling "open" or extensible database systems and the education of the database community in specification techniques.

This book constitutes the refereed proceedings of the 13th International Conference on Advanced Information Systems Engineering, CAiSE 2001, held in Interlaken, Switzerland in June 2001. The 27 revised full papers presented together with three invited papers, three experience reports, and a panel summary were carefully reviewed and selected from a total of 97 submissions. The papers are organized in topical sections on requirements engineering, agent-based approaches, workflow managment, data models and design, reuse and method engineering, XML and information systems integration, evolution, and conceptual modeling.

ICOODB 2009 was the second in a series of international conferences aimed at promoting the exchange of information and ideas between members of the objectdatabasecommunity. A keyfeatureof the conferencewasits goalto bring together developers, users and researchers. The conference had three di?erent trackso?eredasatutorialday,anindustrydayandaresearchday. Inaddition,a demo sessionwithcontributionsfromallthree communities enabledparticipants to see the latest and on-going developments in object database technologies, supporting tools and also applications. The conference proceedings presented as this volume consist of the papers presentedintheresearchtrack. Bypublishing theseaftertheconference,authors were given an opportunity to revise and extend their papers based on feedback and discussions held during the conference. Six of the papers were selected from submissions based on reviews by at least three members of the Program C- mittee. These papers address a number of classic database issues such as query processing, transaction processing, event models and the coupling of data and services in the context of modern object databases.In addition, the research track included three invited presentations from researchers who were leaders in the ?eld during what might be called the ?rst generation of object databases back in the 1980s and early 1990s. At this time, research in object data models as well as object-oriented databases and p- sistent programming languages was very active. Over the years, this research became less fashionable and many researchers moved into other ?elds. However, somecontinuedand astechnologiesandmarketsevolvedso did their models and systems.