Dynamische Integrit T Von Datenbanken
DOWNLOAD
Download Dynamische Integrit T Von Datenbanken PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Dynamische Integrit T Von Datenbanken book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Dynamische Integrit T Von Datenbanken
DOWNLOAD
Author : Udo W. Lipeck
language : de
Publisher: Springer-Verlag
Release Date : 2013-03-12
Dynamische Integrit T Von Datenbanken written by Udo W. Lipeck and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-12 with Computers categories.
Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Um festzulegen, welche Folgen von Datenbankzuständen zulässig sind, gibt man dynamische Integritätsbedingungen an. Komplementär dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausführbaren Zustandsfolgen. Diese Monographie stellt zwei Ansätze zur Überwachung der dynamischen Integrität von Datenbanken vor. Es werden theoretische und algorithmische Grundlagen sowie die beim Datenbank-Entwurf erforderlichen Vorbereitungen behandelt. Die Verfahren werden anhand eines durchlaufenden Standardbeispiels demonstriert. Spezifiziert werden Integritätsbedingungen durch Formeln einer temporalen Logik und Transaktionen durch Vor-/Nachbedingungen; die Semantik dieser Kalküle wird im Buch eingeführt. Aus temporalen Formeln lassen sich Transitionsgraphen konstruieren, deren Pfade den zulässigen Zustandsfolgen entsprechen. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Prüfungen zurückführt. Andererseits kann man anhand der Graphen Integritätsbedingungen systematisch in Vor-/Nachbedingungen von Transaktionen transformieren, so daß jede ausführbare Zustandsfolge zulässig wird. Das letztere Vorgehen bereitet eine effiziente transaktionsangepaßte Überwachung vor und führt zu einer Spezifikation von Datenbankverhalten durch schrittweise Verfeinerung.
Advances In Database Technology Edbt 90
DOWNLOAD
Author : Francois Bancilhon
language : en
Publisher: Springer Science & Business Media
Release Date : 1990-02-21
Advances In Database Technology Edbt 90 written by Francois Bancilhon and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 1990-02-21 with Computers categories.
Database technology is currently being pushed by the needs of new applications and pulled by the oppor- tunities of novel developments in hardware and systems architecture. The invited paper, two panel sessions and 27 papers in this volume report on how the technology is currently extending. One broad area covered is extended database semantics, including data models and data types, databases and logic, complex objects, and expert system approaches to databases. The other area covered is raw architectures and increased database systems support, including novel transaction models, data distribution and replication, database administration, and access efficiency.
Modelling Database Dynamics
DOWNLOAD
Author : Udo W. Lipeck
language : en
Publisher: Springer Science & Business Media
Release Date : 2013-03-09
Modelling Database Dynamics written by Udo W. Lipeck and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-09 with Computers categories.
Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Database literature has traditionally focused on structure-oriented approaches, but it is now widely recognised that problems can be solved more effectively by integrating all three. As a result, modelling database dynamics is now considered to be as important as modelling static database structures. This volume contains selected papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, held in Volkse, Germany, 19-22 October, 1992. This series of international workshops was initiated by the Working Group on Foundations of Information Systems, part of the German Association for Informatics. It provides an international forum for the discussion of current research into database theory and its application to database technology. The theme of this particular workshop was modelling the dynamic behaviour of database systems in formal frameworks. As object-oriented principles are being widely used in current research work, particular emphasis was also given to object dynamics. Among the topics covered in this volume are: specifying the dynamics of complex objects databases; updates in a rule-based language for objects; an order-sorted approach to active objects; non-deterministic aspects of database transformations involving object creation; monitoring temporal permissions using partially evaluated transition graphs; a formalisation of logic databases and integrity constraints; a comparison of approaches for modelling dynamics of databases. Modelling Database Dynamics provides a comprehensive overview of current research into the modelling and use of database dynamics. It will provide invaluable reading for researchers, postgraduate students, and anyone interested in the theoretical foundations of computer science.
Advances In Database Technology
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1990
Advances In Database Technology written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1990 with Database management categories.
Dynamic Modelling Of Information Systems Ii
DOWNLOAD
Author : Henk G. Sol
language : en
Publisher: North Holland
Release Date : 1992
Dynamic Modelling Of Information Systems Ii written by Henk G. Sol and has been published by North Holland this book supported file pdf, txt, epub, kindle and other format this book has been release on 1992 with Computers categories.
These papers address a broad spectrum of problems and ideas related to dynamic modelling of information systems. About half of the included papers present formal schemata for the specification of dynamic models of information systems. Petri nets, and other techniques are used to devise generalizable formal constructs for representing information systems with dynamic properties. Other papers present results from experience using dynamic models in the actual design of information systems. Simulation techniques, including animation, are an important feature of many of these applied papers.
Data And Knowledge Engineering
DOWNLOAD
Author : PETER P. CHEN
language : en
Publisher:
Release Date : 1996
Data And Knowledge Engineering written by PETER P. CHEN and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1996 with categories.
Directions In Databases
DOWNLOAD
Author : David S. Bowers
language : en
Publisher: Springer Science & Business Media
Release Date : 1994-06-29
Directions In Databases written by David S. Bowers and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 1994-06-29 with Computers categories.
This volume constitutes the proceedings of the 12th British National Conference on Databases (BNCOD-12), held at Surrey, Guildford in July 1994. The BNCOD conferences are thought as a platform for exchange between theoreticians and practitioners, where researchers from academia and industry meet professionals interested in advanced database applications. The 13 refereed papers presented in the proceedings were selected from 47 submissions; they are organized in chapters on temporal databases, formal approaches, parallel databases, object-oriented databases, and distributed databases. In addition there are two invited presentations: "Managing open systems now that the "Glashouse" has gone" by R. Baker and "Knowledge reuse through networks of large KBs" by P.M.D. Gray.
Objektorientierte Spezifikation Von Informationssystemen
DOWNLOAD
Author :
language : de
Publisher: Springer-Verlag
Release Date : 2013-04-17
Objektorientierte Spezifikation Von Informationssystemen written by and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-04-17 with Technology & Engineering categories.
Methods And Associated Tools For The Information Systems Life Cycle
DOWNLOAD
Author : A. A. Verrijn Stuart
language : en
Publisher: Elsevier Publishing Company
Release Date : 1994
Methods And Associated Tools For The Information Systems Life Cycle written by A. A. Verrijn Stuart and has been published by Elsevier Publishing Company this book supported file pdf, txt, epub, kindle and other format this book has been release on 1994 with Business & Economics categories.
In the early days of methods, the distinction between the process and the product was unclear. Sometimes consideration was concentrated on the problems of what models should be formulated - at other times, on how such results were to be achieved. The methods and tools , as the two factors became known, enjoyed increasing attention over the years, though emphasis, now as then, is almost always placed on the outcome, rather than on the ways towards it.This publication explores methods and associated tools in the perspective of the information systems life cycle. It discusses the need for method flexibility, within a design base of certain strict standards and with respect given to the potential harmonization of existing methods. The contribution of a broad-range of specialists ensures that papers extend across the various facets of the discipline.
Pressure Groups
DOWNLOAD
Author : Great Britain. Central Office of Information. Reference Services
language : en
Publisher:
Release Date : 1994
Pressure Groups written by Great Britain. Central Office of Information. Reference Services and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1994 with Political Science categories.
This book describes the history of pressure groups, their role in the British political system and the way they operate. It also provides details of a wide range of key groups, together with examples of their activities.