Specifications of database systems. International Workshop ; 1
Author :
Publisher :
Page : pages
File Size : 35,18 MB
Release : 1991
Category :
ISBN :
Specifications of Database Systems
Author : David J. Harper
Publisher : Springer Science & Business Media
Page : 330 pages
File Size : 18,3 MB
Release : 2013-03-09
Category : Computers
ISBN : 1447138643
Book Description
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 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 volume will be invaluable to the increasing number of researchers who are using both database systems and formal specification techniques in their work, and who wish to gain a more detailed knowledge of these two fields and the issues which affect them.
Specifications of Database Systems
Author : David J. Harper
Publisher : Springer
Page : 323 pages
File Size : 15,14 MB
Release : 1992-01-20
Category : Computers
ISBN : 9783540197324
Book Description
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 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 volume will be invaluable to the increasing number of researchers who are using both database systems and formal specification techniques in their work, and who wish to gain a more detailed knowledge of these two fields and the issues which affect them.
Rules in Database Systems
Author : Norman W. Paton
Publisher : Springer Science & Business Media
Page : 419 pages
File Size : 18,63 MB
Release : 2012-12-06
Category : Computers
ISBN : 1447132254
Book Description
This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August 1993. The central theme of the workshop was rules in database systems, and the papers presented covered a range of different aspects of database rule systems. These aspects are reflected in the sessions of the workshop, which are the same as the sections in this proceedings: Active Databases Architectures Incorporating Temporal Rules Rules and Transactions Analysis and Debugging of Active Rules Integrating Graphs/Objects with Deduction Integrating Deductive and Active Rules Integrity Constraints Deductive Databases The incorporation of rules into database systems is an important area of research, as it is a major component in the integration of behavioural information with the structural data with which commercial databases have traditionally been associated. This integration of the behavioural aspects of an application with the data to which it applies in database systems leads to more straightforward application development and more efficient processing of data. Many novel applications seem to need database systems in which structural and behavioural information are fully integrated. Rules are only one means of expressing behavioural information, but it is clear that different types of rule can be used to capture directly different properties of an application which are cumbersome to support using conventional database architectures. In recent years there has been a surge of research activity focusing upon active database systems, and this volume opens with a collection of papers devoted specifically to this topic.
Advances in Databases and Information Systems
Author : Paolo Atzeni
Publisher : Springer
Page : 332 pages
File Size : 46,45 MB
Release : 2008-08-19
Category : Computers
ISBN : 3540857133
Book Description
This volume contains the best papers presented at the 12th East-European Conference on Advances in Databases and Information Systems (ADBIS 2008) held during S- tember 5–9, 2008, in Pori, Finland. The series of ADBIS conferences is the successor of the annual international workshops with the same title that during 1993-1996 were organized in Russia by the Moscow ACM SIGMOD Chapter. ADBIS 2008 continues the series of ADBIS conferences held in St. Petersburg, Russia (1997), Poznan, Poland (1998), Maribor, Slovenia (1999), Prague, Czech Republic (2000), Vilnius, Lithuania (2001), Bratislava, Slovakia (2002), Dresden, Germany (2003), Budapest, Hungary (2004), Tallinn, Estonia (2005), Thessaloniki, Greece (2006), and Varna, Bulgaria (2007). The conferences are initiated and supervised by an international Steering Committee chaired by professor Leonid Kalinichenko. The ADBIS conferences established an outstanding reputation as a scientific event of high quality serving as an internationally highly visible showcase for research achie- ments in the field of databases and information systems. ADBIS 2008 aimed to create conditions for experienced researchers to impart their knowledge and experience to the young researchers at pre- or post-doctoral level, and to promote interaction and colla- ration between European research communities (especially from Central and East Europe) and the rest of the world. The conference encourages contacts between the p- ticipants who are nationals of, but active outside, the Member States and Associated States and their colleagues in Member States and Associated States. Special attention is paid to collaboration of researchers in Central and East Europe.
Interfaces to Database Systems (IDS92)
Author : Richard Cooper
Publisher : Springer Science & Business Media
Page : 464 pages
File Size : 48,16 MB
Release : 2012-12-06
Category : Computers
ISBN : 1447134230
Book Description
Despite the volume of research carried out into the design of database systems and the design of user interfaces, there is little cross-fertilization between the two areas. The control of user interfaces to database systems is, therefore, significantly less advanced than other aspects of DBMS design. As database functionality is used in a wider range of areas, such as design applications, the suitability of the user interface is becoming increasingly important. It is, therefore, necessary to begin applying the knowledge developed by HCI researchers to the specialised domain of database systems. This volume contains revised papers from the International Workshop on Interfaces to Database Systems, held in Glasgow, 1-3 July 1992. The workshop aimed to develop an interaction between the design of database systems and user interfaces. It discussed both the production of interfaces tailored to particular applications, and also more general systems within which interfaces can be developed. Some of the papers concentrate on usability aspects, some discuss different interface metaphors, whilst others tackle the question of designing a general conceptual model. The latter topic is of particular importance, as it is only by achieving an abstract model of what the user understands to be in the database that the data can be associated with appropriate interface facilities. Among the contents of the volume are: integrated interfaces to publicly available databases; database query interface for medical information systems; an integrated approach to task oriented database retrieval interfaces; GRADI: a graphical database interface for a multimedia DBMS; cognitive view mechanism for multimedia information systems; a graphical schema representation for object oriented databases; a conceptual framework for error analysis in SQL interfaces; a browser for a version entity relationship database. Interfaces to Database Systems (IDS92) is unique in that it brings together a variety of approaches from the database and HCI research communities. It will provide essential reading for researchers of database systems and also industrial developers of DBMS.
6th Refinement Workshop
Author : David Till
Publisher : Springer Science & Business Media
Page : 315 pages
File Size : 19,14 MB
Release : 2012-12-06
Category : Mathematics
ISBN : 1447132408
Book Description
The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists in most parts of the developed world is perhaps not the context within which companies still dubious about the benefits are goil'\g to opt for making major changes in their working practices.
Z User Workshop, Cambridge 1994
Author : J.P. Bowen
Publisher : Springer Science & Business Media
Page : 405 pages
File Size : 33,20 MB
Release : 2012-12-06
Category : Computers
ISBN : 1447134524
Book Description
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.
Active, Real-Time, and Temporal Database Systems
Author : Sten F. Andler
Publisher : Springer
Page : 245 pages
File Size : 24,82 MB
Release : 2003-06-26
Category : Computers
ISBN : 3540491511
Book Description
Database systems of the next generation are likely to be inherently very complex due to the diversity of requirements placed on them. Incorporating active, real time, and temporal virtues in one database system is an arduous effort but is also a commend able one. This book presents the proceedings of the Second International Workshop on Active, Real Time, and Temporal Database Systems (ARTDB 97), held in Como, Milan, in September 1997. The aim of the workshop was to bring researchers together from the active and real time research communities, and to examine the current state of the art in active, real time, and temporal database systems. This book offers a collection of papers presented at the ARTDB 97 workshop. The papers, many of them representing proficient and tenable results, illuminate the feasibility of building database system supporting reactive behavior, while enforcing timeliness and predictability. The book contains nine papers carefully reviewed and accepted by the program committee, three invited papers written by prominent researchers in the field, and two summaries of the panel discussions held at the workshop. The program committee received seventeen submissions, where each submission was reviewed by at least three program committee members. The two panel sessions focused on predictability issues and on practical experience of active, real time, and temporal database systems. The ARTDB 97 workshop was held in cooperation with the IEEE Technical Committees on Real Time Systems and Complexity in Computing, and the ACM Special Interest Group on Manipulation of Data.
Active and Real-Time Database Systems (ARTDB-95)
Author : Mikael Berndtsson
Publisher : Springer Science & Business Media
Page : 276 pages
File Size : 33,92 MB
Release : 2012-12-06
Category : Computers
ISBN : 1447130804
Book Description
The areas of active and real-time databases have seen a tremendous growth of interest in the past few years, particularly with regard to their support of time-critical and embedded applications. ARTDB-95 provided, therefore, an important forum for researchers from both communities to discuss research results, and also to chart new directions for the future. As well as the 11 submitted papers presented at the workshop, this volume also contains 4 invited papers on the following topics: the impact of active databases on commercial practice; the optimization of active database transactions; the need for better language, compiler and tool support for real-time databases; and the origin of time constraints associated with data, events and actions. Together the papers give a comprehensive overview of current research, and will provide invaluable reading for academic and industrial researchers and students at both undergraduate and postgraduate level.
