Results 1 
4 of
4
Algebraic GraphBased Approach to Management of MultiBase Systems,II: Mathematical Aspects of Schema Integration
 TR9502, FRAME INFORM SYSTEMS
, 1995
"... ..."
Databases as Graphical Algebras: Algebraic GraphBased Approach to Data Modeling and Database Design
, 1996
"... . The approach we suggest is based on a graphical specification language possessing formal semantics so that graphical images themselves are precise specifications suitable for implementation. Our specifications are similar to the sketches developed in the category theory but, in contrast to them, ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
. The approach we suggest is based on a graphical specification language possessing formal semantics so that graphical images themselves are precise specifications suitable for implementation. Our specifications are similar to the sketches developed in the category theory but, in contrast to them, enjoy the possibility of setting arbitrary signatures of diagram properties and operations. An important (and sometimes crucial) step in the process of database design is schema (or view) integration, that is, an activity aimed at producing a global conceptual schema of a database from a set of locally developed useroriented schemas (views). In our approach, correspondence between semantic schemas to be integrated is specified by equations so that the integration procedure can be reduced to algebraic manipulations with sketches representing schemas. This provides the possibility of automated view integration and, correspondingly, automated database design. In the paper the mathemat...
Partial Horn logic and cartesian categories
 ANNALS OF PURE AND APPLIED LOGIC 145 (3) (2007), PP. 314 353
, 2009
"... A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the substitution rule has to be modified. It is developed here in its minimal form, with equality and conjunction, as partial Hor ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the substitution rule has to be modified. It is developed here in its minimal form, with equality and conjunction, as partial Horn logic. Various kinds of logical theory are equivalent: partial Horn theories, quasiequational theories (partial Horn theories without predicate symbols), cartesian theories and essentially algebraic theories. The logic is sound and complete with respect to models in Set, and sound with respect to models in any cartesian (finite limit) category. The simplicity of the quasiequational form allows an easy predicative constructive proof of the free partial model theorem for cartesian theories: that if a theory morphism is given from one cartesian theory to another, then the forgetful (reduct) functor from one model category to the other has a left adjoint. Various examples of quasiequational theory are studied, including those of cartesian categories and of other classes of categories. For each quasiequational theory T another, CartĪT, is constructed, whose models are cartesian categories equipped with models of T. Its initial model, the classifying category for T, has properties similar to those of the syntactic category, but more precise with respect to strict cartesian functors.
Generalised Sketches as an algebraic graphbased framework for semantic modeling and database design
, 1997
"... . A graphbased specification language and the corresponding machinery are described as stating a basic framework for semantic modeling and database design. It is shown that a few challenging theoretical questions in the area, and some of hot practical problems as well, can be successfully approache ..."
Abstract
 Add to MetaCart
. A graphbased specification language and the corresponding machinery are described as stating a basic framework for semantic modeling and database design. It is shown that a few challenging theoretical questions in the area, and some of hot practical problems as well, can be successfully approached in the framework. The machinery has its origin in the classical sketches invented by Ehresmann and is close to their generalization recently proposed by Makkai. There are two essential distinctions from Makkai's sketches. One consists in a different  more direct  formalization of sketches that categorists (and database designers) usually draw. The second distinction is more fundamental and consists in introducing operational sketches specifying complex diagram operations over ordinary (predicate) sketches, correspondingly, models of operational sketches are diagram algebras. Together with the notion of parsing operational sketches, this is the main mathematical contribution of the pape...