Results 1 
9 of
9
A Categorical Framework for Conceptual Data Modeling: Definition, Application, and Implementation
, 1995
"... For successful information systems development, conceptual data modeling is essential. Nowadays a plethora of techniques for conceptual data modeling exist. Many of these techniques lack a formal foundation and a lot of theory, e.g. concerning updates or schema transformations, is highly data model ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
For successful information systems development, conceptual data modeling is essential. Nowadays a plethora of techniques for conceptual data modeling exist. Many of these techniques lack a formal foundation and a lot of theory, e.g. concerning updates or schema transformations, is highly data model specific. As such there is a need for a unifying formal framework providing a sufficiently high level of abstraction. In this paper the use of category theory for this purpose is addressed. Wellknown conceptual data modeling concepts, such as relationship types, generalization, specialization, and collection types are discussed from a categorical point of view. An important advantage of this framework is its "configurable semantics". Features such as null values, uncertainty, and temporal behavior can be added by selecting appropriate instance categories. The addition of these features usually requires a complete redesign of the formalization in traditional setbased approaches to semantics...
Conceptual Data Modeling from a Categorical Perspective
 The Computer Journal
, 1996
"... For successful information systems development, conceptual data modeling is essential. Nowadays many techniques for conceptual data modeling exist. Indepth comparisons of concepts of these techniques are very difficult as the mathematical formalizations of these techniques, if they exist at all, ar ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
For successful information systems development, conceptual data modeling is essential. Nowadays many techniques for conceptual data modeling exist. Indepth comparisons of concepts of these techniques are very difficult as the mathematical formalizations of these techniques, if they exist at all, are very different. As such there is a need for a unifying formal framework providing a sufficiently high level of abstraction. In this paper the use of category theory for this purpose is addressed. Wellknown conceptual data modeling concepts, such as relationship types, generalization, specialization, collection types, and constraint types, such as the total role constraint and the uniqueness constraint, are discussed from a categorical point of view. An important advantage of this framework is its "configurable semantics". Features such as null values, uncertainty, and temporal behavior can be added by selecting appropriate instance categories. The addition of these features usually requir...
How to Formalize It? Formalization Principles for Information System Development Methods
 Information and Software Technology
, 1998
"... Although the need for formalisation of modelling techniques is generally recognised, not much literature is devoted to the actual process involved. This is comparable to the situation in mathematics where focus is on proofs but not on the process of proving. This paper tries to accomodate for this ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
Although the need for formalisation of modelling techniques is generally recognised, not much literature is devoted to the actual process involved. This is comparable to the situation in mathematics where focus is on proofs but not on the process of proving. This paper tries to accomodate for this lacuna and provides essential principles for the process of formalisation in the context of modelling techniques as well as a number of small but realistic formalisation case studies.
Making Formality Work For Us
 EATCS Bulletin
, 1989
"... Formal reasoning is notoriously long and arduous; in order to use it to reason effectively in the construction of programs it is, therefore, paramount that we design our notations to be both clear and economical. Taking examples from AI, from imperative programming, from the use of the BirdMeer ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
Formal reasoning is notoriously long and arduous; in order to use it to reason effectively in the construction of programs it is, therefore, paramount that we design our notations to be both clear and economical. Taking examples from AI, from imperative programming, from the use of the BirdMeertens formalism and from category theory we demonstrate how the right choice of what to denote and how it is denoted can make significant improvements to formal calculations. Brief mention is also made of the connection between economical notation and properties of type. 1 2 Foreword Earlier this year I was an invited speaker at the 5th British Computer Society Theoretical Computer Science Colloquium held at Royal Holloway and Bedford New College, London. Before you is the text of my lecture, almost but not quite as given at the conference. (Perhaps the best way to describe the present paper is as the lecture that I should have given.) The publication of the text of the lecture will, ...
A Unifying Framework for Conceptual Data Modelling Concepts
 Information and Software Technology
, 1997
"... For succesful information systems development, conceptual data modelling is essential. Nowadays many techniques for conceptual data modelling exist, examples are NIAM, FORM, PSM, many (E)ER variants, IFO, and FDM. Indepth comparisons of concepts of these techniques is very difficult as the mathemat ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
For succesful information systems development, conceptual data modelling is essential. Nowadays many techniques for conceptual data modelling exist, examples are NIAM, FORM, PSM, many (E)ER variants, IFO, and FDM. Indepth comparisons of concepts of these techniques is very difficult as the mathematical formalisations of these techniques, if existing at all, are very different. As such there is a need for a unifying formal framework providing a sufficiently high level of abstraction. In this paper the use of category theory for this purpose is addressed. Wellknown conceptual data modelling concepts are discussed from a category theoretic point of view. Advantages and disadvantages of the approach chosen will be outlined. Keywords: Conceptual Data Modelling, Category Theory, Meta Modelling Classification: 68P99 (AMS1991), H.1.0. (CR1991) 1 Introduction It seems an undisputed fact that, opposed to most mature scientific disciplines, the discipline of information systems does not hav...
Calculate categorically
 Formal Aspects of Computing
, 1992
"... Diagram chasing is an established proof technique in Category Theory. Algebraic calculation is a good alternative; made possible thanks to a notation for various unique arrows and a suitable formulation of initiality, and the calculational properties brought forward by initiality. ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Diagram chasing is an established proof technique in Category Theory. Algebraic calculation is a good alternative; made possible thanks to a notation for various unique arrows and a suitable formulation of initiality, and the calculational properties brought forward by initiality.
A Categorical Approach to Emergency Conceptual Modeling
"... Support project. Emergency knowledge management is a crucial problem for emergency responses in decision making support; however there has been little guidance as to what makes effective knowledge reorganization. Conceptual modeling has played an important role in such knowledge processing. We have ..."
Abstract
 Add to MetaCart
Support project. Emergency knowledge management is a crucial problem for emergency responses in decision making support; however there has been little guidance as to what makes effective knowledge reorganization. Conceptual modeling has played an important role in such knowledge processing. We have introduced some important notions from the type category theory, and adapted them for use in knowledge piece generation. Object, morphism, type and composition, provide a categorical conceptual model within which the knowledge pieces that form a solution for certain emergency pending problem can be reorganized.
British Computer Society
, 1997
"... ©Copyright in this paper belongs to the author(s) ISBN: 3540762272 Building the Access Pointers to a Computation Environment V.E.Wolfengagen Vorotnikovskiy per., 7, bld. 4 ..."
Abstract
 Add to MetaCart
©Copyright in this paper belongs to the author(s) ISBN: 3540762272 Building the Access Pointers to a Computation Environment V.E.Wolfengagen Vorotnikovskiy per., 7, bld. 4