Ci i' intormatica : YU ISSN 0350-5596 intormatica JOURNAL OF COMPUTING AND INFORMATICS Published by Informatika, Slovene Society for Informatics, Partnova 41 , 61000 Ljubljana, Yugoslavia Editorial Board T. Aleksić, Beograd; D. Bitrakov, Skopje; P. Dragojlovic, Rijeka; S. HodZar, Ljubljana; B. Horvat, Maribor; A. Mandzii!, Sarajevo; S. Mihalltì, Varaždin; S. Turk, Zagreb EdItor-ln-Chief : Prof. Dr. Anton P. Zeleznlkar Executive Editor : Dr. Rudolf Murn Publishing Council; T. Banovec, Zavod SR Slovenije za statistiko, ■ VoZarskl pot 12, 61000 Ljubljana; A. Jerman-BlaZKi, DO Iskra Delta, Parmova 41, 61000 Ljubljana; B. KlemenCiC, Iskra Telematika, 64000 Kranj; S. Saksida, Institut za sociologijo Univerze Edvarda Kardelja, 61000 Ljubljana J. Vlrant, Fakulteta za elektrotehniko, Tr2aska 25, 61000 Ljubljana. Headquarters: Informatica, Parmova 41, 61000 Ljubljana, Yugoslavia. Phone: 61 31 29 88. Telex: 31366 yu delta Annual Subscription Rate: US$ 30 for companies, and USS 15 for individuals Opinions expressed in the contributions are not necessarily shared by the Editorial Board Printed by: Tiskarna Kreslja, Ljubljana M.AlaglC S.Alagiä YU ISSN 0350-5596 VOLUME 11,1987-Nò. 3 CONTENTS 3 Categorical Approach to the Relational Model of Data A.P.Zeleznlkar 9 Principles of Information J. Orad 18 Decision Support Systems: M.A.Jenkins Tools, Expectations and Real 1 ties A.P.Zeleznlkar 25 Artificial Intelligence Experiences Its 0«m Blindness J.Barle J.Grad D.Krsti« J.D.Freyder L.Vogel B.Semolle A.TeröelJ A.P.Zeleznlkar J.Rüge 1J M.Vidmar P.Kolbezen M.Meža S.Jeram 29 A Production Problem Interactive Prototype of Linaer Pro-graime 32 Reasoning Simulation Programs 38 Conmunlcatlon Interface SPIli 41 Modelling Information Systems by Means of Dynamic Elements of a Real Phenomenon 46 Fractals: Graphic Secrets of Computer Artists 51 Research of Computer« and Information for the Next Decade 54 MAP/TOP Architectures for Local Nets 60 RISC Architectures 69 Some Experience with Introduction of Prolog Into Undergraduate Education T2 Computation May Hinge on Blo-logietl Materials 76 Report of a Journey informatica ČASOPIS ZA TEHNOLOGIJO RAČUNALNIŠTVA IN PROBLEME INFORMATIKE ČASOPIS ZA RAČUNARSKU TEHNOLOGIJU 1 PROBLEME INFORMATIKE SPISANIE ZA TEHNOLOGIJA NA SMETANJETO I PROBLEMI OD OBLASTA NA INFORMATIKATA Caiopla ledaja Slovensko društvo Informatika, 61000 LJubljana, Parmova 41, Jugoslavija Uredniški odbori T. Aleksi«, Beograd; D. Bltrakov, Skopje; P. Dragojlovt«, Rijeka; 8. Hodear, Ljubljana; B. Horvat, Maribor; A. Ktandei«, Sarajevo; 6. Mlhalle, VaraSdln; S. Turk, Zagreb YU ISSN 0350-5596 LETNIKU, 1987-ŠT. 3 aiavnt In odgovorni urednik: prof. dr. Anton P. Zeleenikar M.AlagiC 3 S.AlaglC Tehnični urednik : A.P.Zeleznikar 9 dr. Rudolf Murn 1. Grad 18 M.A.Jenkins ZaloenlSki sveti A.P.Zeleznikar 25 T. Banovec, Zavod SR Slovenije za statistiko, VoSarski pot 12, 61000 Ljubljana; J.Barle 29 A. Jerman-Blasic, DO Iskra Delta, Parmova 41, J.Grad 61000 Ljubljana: D.Krst iC B. Klemeneie, Iskra Telematika, 64000 Kranj; J.D.Preyder 32 B. Sakslda, Institut za sociologijo Univerze L.Vogel 38 Edvarda Kardelja, 61000 Ljubljana; B.Semolle 41 t. Vlrant, Fakulteta za elektrotehniko, Treaska 25, 61000 LJubljana. Uredništvo In upravat Informatika, Parmova 41, 61000 Ljubljana, telefon (061) 312 988; teleks 31366 YU Delta. Letna naročnina sa delovne organizacije znasa 11890 din, za zasebne naroenlke 2990 din, 'ea Studente 990 din; posamezna številka 4000 din. Številka tiro rafiunai 50101-678-51841 Pri financiranju Časopisa sodeluje Raziskovalna skupnost Slovenije Na podlagi mnenja Republiškega komiteja za informiranje »t. 23-85, z dne 29. 1. 1986, je Časopis oproseen temeljnega davka od prometa proizvodov. Tisk) Tiskarna Kresi ja,.Ljubi Jana A.Tercel J A.P.Zeleznikar J.RugelJ M.Vidmar P.Kolbezen M.MeZa S.Jeram VSEBINA Kategorljskl pristup rel« nem modelu podataka 9 Informacijski principi Sistemi odločanja: or< pričakovanja in mosnosti Umetna Inteligenca Is svojo slepoto ga programa za produlcljskl problem sistemov z upoštevanjem elementov dinamike realnega pojava 46 Fraktall -Oraflcne skrivnosti računalniških umetnikov 51 Raziskave računalnikov In Informacije v prihodnjem desetletju 54 Pregled arhitektur in uporabljenih ISO standardov v MAP/ TOP lokalnih mre2ah 60 RISC arhitekture 69 Nekatere izkušnje pri uvajanju prologa v pouk računalništva na srednjih šolah 72 Računalništvo je lahko odvisno od bioloških materialov 76 Potopis CATEGORICAL APPROACH TO THE RELATIONAL MODEL OF DATA UDK 519.713 Mara Alagić & Suad Alagić University of Sarajevo Abstract. The categorical approach to the basic concepts of the relational model of data is presented.lt is ^h9Wf);tf»ftf, tl>e family functional dependencies, when viewed appropriately, is in fact a category. This category^ (,of intentions ) is the domain of an appropriately defined functor which captures the notion of an extension. Extensions are objects of yet another category, whose arrows are database updates - natural trapsfor -nations of category theory. Furthermore, the natural Join of two relations is proved to be a categorical con -struotion known as the pullback (of a pair of suitably chosen arrows). Categorical generalizations of some familiar results in the theory of the relational databases are proved. Sažetak. Kategorljskl pristup relacioncni modelu podataka predstavlja Jedan formalni pogled na teoriju podataka. Pojmovi su definisani strelicama i komutativnim dijagramima. Puna familija funkcionalnih 2avisnosti,po3matrana na odgovarajući način Je kategorija (intencija) i domen Je pogodno deflnisanog funktora koji odgovara pojmu ekstenziJe.EkstenziJe su i objekt druge kategorije, čije su strelice ažuriranja baze za koje je pokazano da su prirodne transformacije,teorije kategorija.Prirodno spajanje relacija poznata Je kategorljska konstrukcija spajanja (pullback) nad parom pogodno izabranih strelica. Dokazana su kategorijska uopštenja nekih poznatih rezultata u relacionom modelu podataka. Introduction cue of the major advantages of the relational aodel of data over the models which preceeded it is the higher level of abstraction in viewing the objects in the model and the operations upon them. Rather than providing primitives for operating upon particular data elements, the relational nxxJel of data contains operations upon sets of n-tuples and in such a way it provides a higher level, nonprocedural (or at least much less procedural) users' interface. But the way the theoretical foundation of the model is commonly presented is still based on defining the basic concepts in terms of elements. In this paper we show that the relational model of data may be founded in a rather different,more abstract fashion, in which all the fundamental concepts may be defined in terms of arrows and craramutative diagrams with virtually no need for referring to particular data elements. Our approach is based on some basic and fairly simple concepts of category theory introduced in section 1. Further, we present our approach to the functional dependencies. We show that the functional dependencies are not functions, but rather arrows of a category which differs considerably from the category of sets auid functions. This category is constructed on the basis of a given set of attributes and functional dependencies among them. Its properties and the relationship to the full family of functional dependencies are analysed in the p^per. Besearch presented in the paper was supported by Republička zajednica za naučni rad SR BiH. ■nie fact that the functional dependencies are, in the usual approach, treated as time-varying functions, Just as the relations are time-varying sets, is characterized by the categorical notion of natural transformation. The condition that the changes of relations in tine must respect given functonal dependencies leads to the charac -terization of database updates as natural transformations of category theory. While the category of- Intentions determines the abstract structure of all the relations which may be defined over a given set of attributes and a set of functional dependencies among them, the actual sets which correspond to these abstract relations are specified by arrows whose dcinaln is the category of intentions and oodomain is a suitable category for which the category of sets and functions is an obvious choice. 1. The category of Intentions A graph consists of a set 0 of objects,.a set A of arrows and two functions: dom: A —»• 0, eod: A —» 0 where "don" assigns to each arrow f an object X = doin(f) called the domain of f, and "cod" assigns to each arrow f an object Y = ood(f), called the codomain of f. ITiese operations on f are best indicated by displaying f as an actual arrow : f: X-» Y and the set of all such arrous f with dc«n(f ) i X and cod(f) = Y is denoted by hom(X,Y). • Atjategory is a :èraph with two additional functions: Identity, which assigns to each object X an arrow l^j, X-^ X Composition, which assigns to each pair (g,f) of arrows, with doiii(g) = oo