Entity Relationship Approach Er 92

Author : Günther Pernul,A Min Tjoa
Publisher : Springer Science & Business Media
Page : 460 pages
File Size : 48,5 Mb
Release : 1992-10-05
Category : Computers
ISBN : 3540560238

Get Book

Entity-Relationship Approach - ER '92 by Günther Pernul,A Min Tjoa Pdf

This volume comprises the proceedings of the Eleventh International Conference on the Entity-Relationship Approach held in Karlsruhe, Germany, October 7-9, 1992. It contains the full versions of all the 22 accepted papers selected from in total 64 submissions; in addition, the two invited talks by Scheer and by Tsichritzis and others are represented asfull papers and the two other invited speakers contribute extended abstracts. All the contributions describe original research related to theoretical or practical aspects of the Entity-Relationship Approach,reflecting the trend of recent years in a wide range of database research activities. In particular, the topics database design aspects, object-orientation, integrity constraints, query languages, knowledge-based techniques, and development of new applications are addressed.

Author : Ramez A. Elmasri
Publisher : Springer Science & Business Media
Page : 550 pages
File Size : 40,9 Mb
Release : 1994-07-28
Category : Computers
ISBN : 3540582177

Get Book

Entity-Relationship Approach - ER '93 by Ramez A. Elmasri Pdf

This monograph is devoted to computational morphology, particularly to the construction of a two-dimensional or a three-dimensional closed object boundary through a set of points in arbitrary position. By applying techniques from computational geometry and CAGD, new results are developed in four stages of the construction process: (a) the gamma-neighborhood graph for describing the structure of a set of points; (b) an algorithm for constructing a polygonal or polyhedral boundary (based on (a)); (c) the flintstone scheme as a hierarchy for polygonal and polyhedral approximation and localization; (d) and a Bezier-triangle based scheme for the construction of a smooth piecewise cubic boundary.

Author : Günther Pernul,A. Min Tjoa
Publisher : Unknown
Page : 462 pages
File Size : 43,6 Mb
Release : 2014-09-12
Category : Electronic
ISBN : 3662187574

Get Book

Entity-Relationship Approach - Er '92 by Günther Pernul,A. Min Tjoa Pdf

Author : Bernhard Thalheim
Publisher : Springer Science & Business Media
Page : 640 pages
File Size : 52,8 Mb
Release : 2013-03-09
Category : Computers
ISBN : 9783662040584

Get Book

Entity-Relationship Modeling by Bernhard Thalheim Pdf

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 : Pericles Loucopoulos
Publisher : Springer Science & Business Media
Page : 600 pages
File Size : 41,7 Mb
Release : 1994-11-30
Category : Business & Economics
ISBN : 3540587861

Get Book

Entity-Relationship Approach - ER '94. Business Modelling and Re-Engineering by Pericles Loucopoulos Pdf

This volume constitutes the proceedings of the 13th International Conference on the Entity-Relationship Approach, ER '94, held in Manchester, UK in December 1994. The ER '94 book is devoted to business modelling and re-engineering and provides a balanced view between research and practical experience. The 34 full revised papers presented are organized in sections on business process modelling, enterprise modelling, systems evolution, modelling integrity constraints, object-oriented databases, active databases, CASE, reverse engineering, information system modelling, schema coordination, and re-engineering.

Author : Bernhard Thalheim
Publisher : Springer Science & Business Media
Page : 508 pages
File Size : 49,9 Mb
Release : 1996-09-25
Category : Business & Economics
ISBN : 3540617841

Get Book

Conceptual Modeling - ER '96 by Bernhard Thalheim Pdf

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.

Author : Anonim
Publisher : Unknown
Page : 552 pages
File Size : 42,8 Mb
Release : 1993
Category : Database management
ISBN : UOM:39015032612486

Get Book

Entity-relationship Approach by Anonim Pdf

Author : M. Papazoglou
Publisher : Springer Science & Business Media
Page : 476 pages
File Size : 53,8 Mb
Release : 1995-11-23
Category : Computers
ISBN : 3540606726

Get Book

OOER '95 Object-Oriented and Entity-Relationship Modeling by M. Papazoglou Pdf

This volume constitutes the refereed proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling, OOER '95, held in Gold Coast, Australia in December 1995. The 36 papers presented together with an invited presentation by Gio Wiederhold were selected from a total of 120 submissions. The papers are organized in sections on object design and modelling, models and languages, reverse engineering and schema transformation, behavioral modelling, non-traditional modelling, theoretical foundations, business re-engineering, integrated approaches, cooperative work modelling, temporal data modelling, federated systems design, and industrial stream papers

Author : Qiming Chen,Yahiko Kambayashi,R Sacks-davis
Publisher : World Scientific
Page : 432 pages
File Size : 49,5 Mb
Release : 1992-04-15
Category : Electronic
ISBN : 9789814602570

Get Book

Future Databases '92 - Proceedings Of The 2nd Far-east Workshop On Future Database Systems by Qiming Chen,Yahiko Kambayashi,R Sacks-davis Pdf

This volume represents a valuable collective contribution to the research and development of database systems. It contains papers in a variety of topics such as data models, distributed databases, multimedia databases, concurrency control, hypermedia and document processing, user interface, query processing and database applications.

Author : Levialdi Stefano,Costabile Maria Francesca,Catarci Tiziana
Publisher : World Scientific
Page : 436 pages
File Size : 46,5 Mb
Release : 1992-12-23
Category : Electronic
ISBN : 9789814554251

Get Book

Advanced Visual Interfaces - Proceedings Of The International Workshop Avi '92 by Levialdi Stefano,Costabile Maria Francesca,Catarci Tiziana Pdf

This volume brings together papers by experts in different areas of computer science, who have a common interest in the design and management of visual interfaces. Since cognitive science and metaphor analysis prove useful for understanding the basic mechanisms which allow visual interfaces to be easy to learn and use, these topics are also featured. Other areas focused on are: visual languages, visual database systems, intelligent agents for system interaction, graphical and pictorial communication tools, multimedia environments and specific technological developments.

Author : Jan Chomicki,Gunter Saake
Publisher : Springer Science & Business Media
Page : 442 pages
File Size : 49,7 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781461556435

Get Book

Logics for Databases and Information Systems by Jan Chomicki,Gunter Saake Pdf

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem poral databases, among others temporal logic. Temporal logic combines ab stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for mula satisfaction, are of primary interest. Axiomatic systems and proof meth ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete.

Author : George J. Milne,Laurence Pierre
Publisher : Springer Science & Business Media
Page : 284 pages
File Size : 52,5 Mb
Release : 1993-05-12
Category : Computers
ISBN : 354056778X

Get Book

Correct Hardware Design and Verification Methods by George J. Milne,Laurence Pierre Pdf

These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace with its associated increase in cost. From being a predominantly academic area of study until a few years ago, formal design and verification techniques are now beginning to migrate into industrial use. As we are now witnessing an increase in activity in this area in both academia and industry, the aim of this working conference was to bring together researchers and users from both communities.

Author : Wolfgang König,Karl Kurbel,Peter Mertens,Dieter Pressmar
Publisher : Springer Science & Business Media
Page : 301 pages
File Size : 54,7 Mb
Release : 2012-12-06
Category : Business & Economics
ISBN : 9783642802164

Get Book

Distributed Information Systems in Business by Wolfgang König,Karl Kurbel,Peter Mertens,Dieter Pressmar Pdf

This book gives answers to the question how distributed information systems can serve management, especially lean management. The authors develop new theoretical insights for the future of decentralized firms and offer concepts for creating and maintaining distributed information systems. The book contains interesting prototypes in logistics and financial industries and shows designs and applications of workflow systems. It offers a state-of-the-art survey of the subject.

Author : Elisa Bertino,Susan Urban
Publisher : Springer Science & Business Media
Page : 404 pages
File Size : 49,7 Mb
Release : 1994-09-07
Category : Computers
ISBN : 354058451X

Get Book

Object-Oriented Methodologies and Systems by Elisa Bertino,Susan Urban Pdf

This volume presents the proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS '94), held in Palermo, Italy in September 1994 in conjunction with the AICA 1994 Italian Computer Conference. The 25 full papers included cover not only technical areas of object-orientation, such as databases, programming languages, and methodological aspects, but also application areas. The book is organized in chapters on object-oriented databases, object-oriented analysis, behavior modeling, object-oriented programming languages, object-oriented information systems, and object-oriented systems development.

Author : Anne Mulkers
Publisher : Springer Science & Business Media
Page : 236 pages
File Size : 53,7 Mb
Release : 1993-05-27
Category : Computers
ISBN : 3540566945

Get Book

Live Data Structures in Logic Programs by Anne Mulkers Pdf

A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The available run-time garbage collecting processes are expensive in time and often require a periodic disruption of the program execution. The present book addresses the problem of memory re-use for logic programs through program analysis rather than by run-time garbage collection. The static analysis is constructed as an application of abstractinterpretation for logic programs. The starting point is a previously developed application of integrated type and mode analysis, which basically supplies a description of the logical terms to which program variables can be bound at run time. The contribution of the book consists of a modular extension of the abstract domain and operations in order to derive run-time properties concerning the sharing and liveness of term substructures dynamically created during program execution. Alsoillustrated is how such information can be used by the compiler to improve the allocation of run-time structures and to automatically introduce destructive assignments in logic languages in a safe and transparent way, thereby shifting some part of the run-time storage reclamation overhead to compile time.