Results 1 
5 of
5
The graphbased logic of ERdiagrams and taming heterogeneity of semantic data models
, 1997
"... The first goal of the paper is to explicate the formal logic underlying ERdiagrams, ERDlogic. It is shown that this logic is a logic of predicates over setandfunction diagrams, that is, a graphbased logic. Main principles of graphbased logics are developed, in particular, a principal distinct ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
The first goal of the paper is to explicate the formal logic underlying ERdiagrams, ERDlogic. It is shown that this logic is a logic of predicates over setandfunction diagrams, that is, a graphbased logic. Main principles of graphbased logics are developed, in particular, a principal distinction between a logical specification as such and its visual presentation is carefully drawn and demonstrated in a number of examples. The approach is based on a generalization of the sketch logic developed in the mathematical category theory, our version was designed to adapt the idea for conceptual modeling. Following category theory, specifications of the language we propose are also called sketches, and so the ERDlogic is manifested as the sketch logic. The second goal of the paper is to demonstrate that the problem of semantic models heterogeneity can be naturally managed in the sketch framework. It is shown that data specifications in many of conventional semantic models can be consider...
The Next Hundred Diagrammatic Specification Techniques  An Introduction to Generalized Sketches
, 2007
"... ..."
Generalized Sketches: A Universal Logic for Diagrammatic . . .
, 2007
"... Generalized sketches is a graphbased specification format that borrows its main ideas from both categorical and firstorder logic, and adapts them to software engineering needs. In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphi ..."
Abstract
 Add to MetaCart
Generalized sketches is a graphbased specification format that borrows its main ideas from both categorical and firstorder logic, and adapts them to software engineering needs. In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphical appearance. The paper presents a revised framework of basic concepts to make similarities with the traditional FOL specifications transparent.
Some Suggestions on Mathematics Relevant to the Database Theory
"... . In the paper there is discussed a mathematical framework suitable for specificational problems of modern theory of databases. The main thesis is that a proper framework for a majority of hot problems should be built on the ground of graphbased logic and algebra as opposed to stringbased logics a ..."
Abstract
 Add to MetaCart
. In the paper there is discussed a mathematical framework suitable for specificational problems of modern theory of databases. The main thesis is that a proper framework for a majority of hot problems should be built on the ground of graphbased logic and algebra as opposed to stringbased logics and algebras over sets currently employed in the DB theory. Such a graphbased machinery was developed in the mathematical category theory so that the latter can provide a proper foundation. The general problem of building the categorial framework for the DB theory is decomposed into a sequence of special tasks. ? Supported by Grant 94.315 from the Latvian Council of Science Since the seminal Codd's papers, databases (DBs) became one of the most theoretically supported branches of computer technologies. Indeed, the seventies were the time of relational model (RDM), and a major factor in that success was the existence of data definition/manipulation languages possessing precise yet easyto...