| 书目名称 | Specifications of Database Systems |
| 副标题 | International Worksh |
| 编辑 | David J. Harper,Moira C. Norrie |
| 视频video | http://file.papertrans.cn/874/873782/873782.mp4 |
| 丛书名称 | Workshops in Computing |
| 图书封面 |  |
| 描述 | 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 recognised 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 summarised at the end of the vol |
| 出版日期 | Conference proceedings 1992 |
| 关键词 | Access; database; database design; database system; deductive database; formal specification; object-orien |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4471-3864-8 |
| isbn_softcover | 978-3-540-19732-4 |
| isbn_ebook | 978-1-4471-3864-8Series ISSN 1431-1682 |
| issn_series | 1431-1682 |
| copyright | Springer-Verlag London 1992 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-17 12:26
发表于 2025-3-21 19:20:08
