From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/309 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: RE: Category Theory and Databases Date: Tue, 18 Feb 1997 15:59: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 1241016883 25121 80.91.229.2 (29 Apr 2009 14:54:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:43 +0000 (UTC) To: categories Original-X-From: cat-dist Tue Feb 18 16:02:15 1997 Original-Received: by mailserv.mta.ca; id AA19988; Tue, 18 Feb 1997 15:59:50 -0400 Original-Lines: 51 Xref: news.gmane.org gmane.science.mathematics.categories:309 Archived-At: Date: Tue, 18 Feb 1997 11:49:29 GMT From: Khazem A list of papers about category theory and database: I- Papers by Peter Buneman, Val Tannen and others in Univ. of Pennsylvania. Using theory of monads for query languages. see references in their paper: Principle of Programming with Complex objects and Collection Types. TCS 149:3-48, 1995. II- Paper by S.K. LELLAHI, Nicolas Spyratos: Using sketch for modelling data 1- Towards a categorical Data Model supporting structured Object and Inheritance. LCNS NO 504, pp 86-105, 1991 2- Categorical Modelling of database concepts. Technical report Series, FIDE/92/ 38, University of Glasgow 1992 3- Deduction over graphs under constraint: A soundness and completness theorem. Diagramme vol 39, 1993 (edited by: Univ Paris 7, France). 4- Research reports, NOs 619, 410, 908 LRI, Univ. Paris 11 (Orsay), France. 5- Research reports, NO, 93-05 An Algebraic Semantics for Data Modelling under constraints LIPN, Univ. Paris 13 Villetaneuse), France. III- Paper by S.K. LELLAHI, Monads and query languages 1- Towards a Characterization of Bulk types, Research reports, NOs , LIPN, Univ. Paris 13 Villetaneuse), France. 2- Type de collection et Monades. Acte des journees Categories, Algebres, Esquisses et Neo_esquisses, 1994, Univ. de CAEN, France IV- Others 1- E. Lippe & al a) A Category theory approach to coceptual data Modelling, Theorical information and Application, vol 30, nO 1, 1966, pp 31_97. b) Conceptual data modelling from a Categorical Perspective. The Computer Journal, Vol 39, No 3 1966. ------------------------------------------------------- Kazem LELLAHI