Author: Giorgio Ausiello
Publisher: Springer Science & Business Media
ISBN: 9783540171874
Category : Computers
Languages : en
Pages : 456

View

Book Description

Author: Giorgio Ausiello
Publisher:
ISBN:
Category :
Languages : en
Pages :

View

Book Description

Author: Giorgio Ausiello
Publisher:
ISBN: 9783662187487
Category :
Languages : en
Pages : 456

View

Book Description

Author: Bernhard Thalheim
Publisher: Springer Science & Business Media
ISBN: 3662040581
Category : Computers
Languages : en
Pages : 640

View

Book Description
This book is a comprehensive presentation of entity-relationship (ER) modeling with regard to an integrated development and modeling of database applications. It comprehensively surveys the achievements of research in this field and deals with the ER model and its extensions. In addition, the book presents techniques for the translation of the ER model into classical database models and languages, such as relational, hierarchical, and network models and languages, as well as into object-oriented models.

Author: W Kim
Publisher: World Scientific
ISBN: 9814596795
Category : Computers
Languages : en
Pages : 324

View

Book Description
This volume is the first in a series which aims to contribute to the wider dissemination of the results of research and development in database systems for non-traditional applications and non-traditional machine organizations. It contains updated versions of selected papers from the First International Symposium on Database Systems for Advanced Applications.

Author: Hassan Aït-Kaci
Publisher: Academic Press
ISBN: 1483262472
Category : Mathematics
Languages : en
Pages : 475

View

Book Description
Resolution of Equations in Algebraic Structures: Volume 1, Algebraic Techniques is a collection of papers from the "Colloquium on Resolution of Equations in Algebraic Structures" held in Texas in May 1987. The papers discuss equations and algebraic structures relevant to symbolic computation and to the foundation of programming. One paper discusses the complete lattice of simulation congruences associated with the ground atomic theory of hierarchical specification, retrieving as the lattice's maximum element Milner's strong bisimulation for CCS. Another paper explains algebraic recognizability of subsets of free T-algebras, or equational theories, and covers discrete structures like those of words, terms, finite trees, and finite graphs. One paper proposes a general theory of unification using a category theoretic framework for various substitution systems including classical unification, E-unification, and order-sorted unification. Another paper shows the universality of algebraic equations in computer science. Fixpoint theorems in ordered algebraic structures can be applied in computer science. These theorems, or their variations, include semantics and proof theory, logic programming, as well as efficient strategies for answering recursive queries in deductive data bases. The collection is suitable for programmers, mathematicians, students, and instructors involved in computer science and computer technology.

Author: R. Meersman
Publisher: North Holland
ISBN:
Category : Computers
Languages : en
Pages : 440

View

Book Description

Author:
Publisher:
ISBN:
Category : Database management
Languages : en
Pages : 458

View

Book Description

Author: Serge Abiteboul
Publisher: Springer Science & Business Media
ISBN: 9783540511717
Category : Computers
Languages : en
Pages : 340

View

Book Description
This volume was primarily intended to present selected papers from the workshop on Theory and Applications of Nested Relations and Complex Objects, held in Darmstadt, FRG, from April 6-8, 1987. Other papers were solicited in order to provide a picture of the field as general as possible. Research on nested relations and complex objects originates in the late seventies. The motivation was to obtain data models and systems which would provide support for so-called complex objects or molecular structures, i.e., for hierarchically organized data, thereby overcoming severe shortcomings of the relational model. This theme of research is now maturing. Systems based on those ideas are beginning to be available. Languages of various natures (algebras, calculi, graphical, logic-oriented) have been designed and a theory is slowly emerging. Finally, new developments in database technology and research are incorporating features of models involving complex objects. A variety of approaches is represented in this volume. The first three papers give overviews of major pioneering implementation efforts. The fourth paper is devoted to the important issue of implementation of storage structures. The next three papers propose excursions in the foundations of nested relations and complex objects. The following six contributions are all devoted to modeling of complex objects. The area of database design is represented by the last four papers.

Author: Bernhard Thalheim
Publisher: Springer Science & Business Media
ISBN: 9783540617846
Category : Business & Economics
Languages : en
Pages : 508

View

Book Description
This volume constitutes the refereed proceedings of the 15th International Conference on Conceptual Modeling, ER '96, held in Cottbus, Germany, in October 1996. The volume presents three invited contributions together with 29 revised full papers selected from 110 submissions. The papers cover all current aspects of the entity-relationship approach and conceptual modeling; they are organized in sections on advanced schema design, processes, query languages, representation, integration, principles of database design, transformation, enhanced modelling, capturing design information, and evolution.