Generalised Sketches as an algebraic graph-based framework for semantic modeling and database design

Generalised Sketches as an algebraic graph-based framework for semantic modeling and database design (1997)

by Zinovy Diskin

User correction supplied by mph

Datum	Value	Source
TITLE	Generalised Sketches as an algebraic graph-based framework for semantic modeling and database design	user correction - Legacy Corrections
AUTHOR NAME	Zinovy Diskin	user correction
AUTHOR AFFIL	; Laboratory for Database Design	user correction
AUTHOR ADDR	Elizabetes Str. 23, Riga; LV-1234, Latvia	user correction
ABSTRACT	A graph-based 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...	user correction
YEAR	1997	user correction - Legacy Corrections
CITATIONS	41 found	ParsCit 1.0