The article: Relational Databases and Indexed Categories by R. Rosebrugh and R.J. Wood is available by anonymous ftp as the LaTeX source file rdic.tex from the directory [anonymous.mathcs.rosebrugh] at macc2.mta.ca (138.73.1.2) It requires the files catmac.sty and cat.bib which are in the same directory. To obtain the files: ftp macc2.mta.ca login as user anonymous with your email address as password cd [.mathcs.rosebrugh] (note the VMS directory syntax!!) dir (make sure you are in the right directory) get rdic.tex (then get cat.bib, etc. as needed) bye Any problem reports or further enquiries should be directed to Bob Rosebrugh <rrosebrugh@mta.ca> Paper copies of the article are available from the first-named author. An abstract follows. Abstract: A description of relational databases in categorical terminology given here has as intended application the study of database dynamics, in particular we view (i) updates as database objects in a suitable category indexed by a topos; (ii) L-fuzzy databases as database objects in sheaves. Indexed categories are constructed to model the databases on a fixed family of domains and also all databases for a varying family of domains. Further, we show that the process of constructing the relational completion of a relational database is a monad in a 2-category of functors.
participants (1)
-
Bob Rosebrugh