From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/314 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: Re: Category Theory and Databases Date: Fri, 21 Feb 1997 12:26:49 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016886 25144 80.91.229.2 (29 Apr 2009 14:54:46 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:46 +0000 (UTC) To: categories Original-X-From: cat-dist Fri Feb 21 12:27:35 1997 Original-Received: by mailserv.mta.ca; id AA02828; Fri, 21 Feb 1997 12:26:50 -0400 Original-Lines: 27 Xref: news.gmane.org gmane.science.mathematics.categories:314 Archived-At: Date: Fri, 21 Feb 1997 11:44:35 +0100 From: Frank Piessens In Leuven, we have studied semantic data-specifications from a categorical perspective. We have studied sketches as a formalism for making semantic data-specifications (somewhat similar to the approach taken by Diskin et al.), and have developed and proved correct a number of interesting algorithms to decide semantical equivalence of such specifications. The following publications describe our work: Frank Piessens, Eric Steegmans. ``Categorical data-specifications'', {\em Theory and Applications of Categories}, Vol. 1, No. 8, 1995, pp. 156--173. Frank Piessens, Eric Steegmans. ``Proving semantical equivalence of data specifications'', accepted for publication in the special issue of {\em The Journal of Pure and Applied Algebra} dedicated to the celebration of Peter Freyd's 60th birthday. Frank Piessens. ``Semantic data specifications: an analysis based on a categorical formalization'', PhD thesis, Dept. of Computer Science, Katholieke Universiteit Leuven, 1996. Frank Piessens.