𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992

✍ Scribed by Jan Van den Bussche, Dirk Van Gucht (auth.), Udo W. Lipeck, Bernhard Thalheim (eds.)


Publisher
Springer-Verlag London
Year
1993
Tongue
English
Leaves
234
Series
Workshops in Computing
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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.

✦ Table of Contents


Front Matter....Pages i-xiii
Front Matter....Pages 1-1
Non-Deterministic Aspects of Object-Creating Database Transformations....Pages 3-16
Front Matter....Pages 17-17
Specifying the Dynamics of Complex Object Databases....Pages 19-35
A Possible World Semantics for Updates by Versioning....Pages 36-47
Specifying Semantics of Evolution in Object-Oriented Databases Using Partial Deduction....Pages 48-60
Front Matter....Pages 61-61
A Semantic Model for Dynamic Systems....Pages 63-83
An Order-sorted Approach to Active Objects....Pages 84-100
Front Matter....Pages 101-101
Dynamic Database Logic: the First-order Case....Pages 103-120
Modelling Database Updates with Constraint Logic Programming....Pages 121-132
A Formalisation of Logic Databases and Integrity Constraints....Pages 133-150
Front Matter....Pages 151-151
Automatic Rule Generation for Constraint Enforcement in Active Databases....Pages 153-173
Integrity Enforcement in Object-Oriented Databases....Pages 174-195
Monitoring Temporal Permissions using Partially Evaluated Transition Graphs....Pages 196-217
Front Matter....Pages 219-219
Discussion Report: Update Languages....Pages 221-222
Discussion Report: Object Migration and Classification....Pages 223-227
Back Matter....Pages 229-231

✦ Subjects


Database Management; Models and Principles


πŸ“œ SIMILAR VOLUMES


Transactions and Database Dynamics: 8th
✍ Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu (auth.), Gunter Saa πŸ“‚ Library πŸ“… 2000 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three shor

Transactions and Database Dynamics: 8th
✍ Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu (auth.), Gunter Saa πŸ“‚ Library πŸ“… 2000 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three shor

Database Schema Evolution and Meta-Model
✍ Can TΓΌrker (auth.), Herman Balsters, Bert de Brock, Stefan Conrad (eds.) πŸ“‚ Library πŸ“… 2001 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000. The topic of this workshop was Database schema Evolution and Meta-Modeling; this FoMLaDO Workshop was hence assigned the acronym DEMM 2000.

Database Schema Evolution and Meta-Model
✍ Can TΓΌrker (auth.), Herman Balsters, Bert de Brock, Stefan Conrad (eds.) πŸ“‚ Library πŸ“… 2001 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000. The topic of this workshop was Database schema Evolution and Meta-Modeling; this FoMLaDO Workshop was hence assigned the acronym DEMM 2000.

Transactions and Database Dynamics: 8th
✍ Gunter Saake (editor), Kerstin Schwarz (editor), Can TΓΌrker (editor) πŸ“‚ Library πŸ“… 2000 πŸ› Springer 🌐 English

<span>These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three s

Database programming languages : 4th Int
✍ Beeri, Catriel; Shasha, Dennis E.; Ohori, Atsushi (eds.) πŸ“‚ Library πŸ“… 1994 πŸ› Springer Verlag 🌐 English

The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993. The areas of interest and the format of DBPL-4 focused on the integration of programming languages, object models, type syste