عنوان

Modelling Database Dynamics :

شابک

1447135547

شابک

9781447135548

شماره

b565390

عنوان اصلي

Modelling Database Dynamics :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992

نام نخستين پديدآور

edited by Udo W. Lipeck, Bernhard Thalheim.

محل نشرو پخش و غیره

London

نام ناشر، پخش کننده و غيره

Springer London

تاریخ نشرو بخش و غیره

1993

نام خاص و کميت اثر

(xiii, 231 pages)

عنوان فروست

Workshops in computing.

متن يادداشت

Object Creation --; Non-Deterministic Aspects of Object-Creating Database Transformations --; Rule-Based Updates of Objects --; Specifying the Dynamics of Complex Object Databases --; A Possible World Semantics for Updates by Versioning --; Specifying Semantics of Evolution in Object-Oriented Databases Using Partial Deduction --; Algebraic Semantics of Objects --; A Semantic Model for Dynamic Systems --; An Order-Sorted Approach to Active Objects --; Logic Approaches to Updates and Constraints --; Dynamic Database Logic: The First-Order Case --; Modelling Database Updates with Constraint Logic Programming --; A Formalisation of Logic Databases and Integrity Constraints --; Integrity Enforcement --; Automatic Rule Generation for Constraint Enforcement in Active Databases --; Integrity Enforcement in Object-Oriented Databases --; Monitoring Temporal Permissions Using Partially Evaluated Transition Graphs --; Discussion Reports --; Update Languages --; Object Migration and Classification --; Author Index.

متن يادداشت

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.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Database management.

مستند نام اشخاص تاييد نشده

edited by Udo W. Lipeck, Bernhard Thalheim.

مستند نام اشخاص تاييد نشده

Bernhard Thalheim

مستند نام اشخاص تاييد نشده

Udo W Lipeck

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y