Titlebook: On Conceptual Modelling; Perspectives from Ar Michael L. Brodie,John Mylopoulos,Joachim W. Schmi Book 1984 Springer-Verlag New York Inc. 19

KEGEL

Book 1984irectly and naturally models an enterprise before proceed- ing to a detailed logical and physical database design. In Programming Languages, different forms of abstraction which allow implementation- independent specifications of data, functions, and control have been a major research theme for a de

ILEUM

The Impact of Modelling and Abstraction Concerns on Modern Programming Languagesn and maintenance. This chapter traces the important ideas of modern programming languages to their roots in the problems and languages of the past decade and shows how these modern languages respond to contemporary problems in software development. Modern programming’s key concept for controlling c

Harbor

Generalization/Specialization as a Basis for Software Specification for Information Systems, applies uniformly to the various components of such systems, such as data classes, transactions, exceptions, and user interfaces (scripts), and its goal is the systematic and structured description of highly detailed world models, where concepts occur in many variations. An

津貼

Some Remarks on the Semantics of Representation Languagesto be clear about what predicate calculus is. We will attempt to make some clarifications in this regard. We also devote some attention to the notions of semantic nets. In the end, we simply plead, for an open mind.

cogent

不能平靜

Cursory

Towards a Logical Reconstruction of Relational Database Theory particular kind of first order interpretation, and query evaluation is a process of truth functional evaluation of first order formulae with respect, to this interpretation. It is this model theoretic paradigm which leads, for example, to many valued propositional logics for databases with null val

Cupping

A Formal Representation for Plans in the Programmer’s Apprenticerentice. Important features of this formalism include programming language independence, additivity, verifiability, and multiple points of view. The logical foundations of the representation are specified formally by using a situational calculus in which side effects and overlapping mutable data str

CYT

On the Design and Specification of Database Transactionsstatic properties while behaviour concerns state transitions and dynamic properties. Database design techniques emphasize the importance of behaviour but seldom provide for modelling and integrating behaviour and structure..This chapter presents concepts, tools, and techniques for the design and spe

他很靈活

A Unified Model and Methodology for Conceptual Database Designdatabase research efforts have concentrated on expanding the expressiveness of database modelling mechanisms in order to increase the understandability and usability of database conceptual schemas. The event model includes a simple set of such high-level “semantic” modelling constructs; an associate