tel.: +385 1 459 44 44, fax: +385 1 459 44 69

E-mail: ured@znanost.hr

- Book
*3*

- Paper in book
*2*

- Paper in journal
*5*

- Paper in proceedings
*3*

- Ph.D.
*1*

- M.A.
*1*

- Mentorship
*2*

**Type of paper**:*Book*

**Title:**Relational data model

**Publisher**: DRIP - Društvo za razvoj informatičke pismenosti

**Year**: 1993

**Number of pages**: 182

**Number of references**: 59

**Language**: hrvatski

**Other**: Knjiga predstavlja drugo, prošireno izdanje knjige S.Tkalac: Relacijski model podataka,Informator, Zagreb, 1988.

**Type of paper**:*Book*

**Title:**Visual Basic: Visual approach to programming

**Authors:**- Čubrilo, Mirko (135963)
- Crnko, Nenad

**Publisher**: DRIP - Društvo za razvoj informatičke pismenosti

**ISBN**: 953-6363-04-6

**Year**: 1994

**Number of pages**: 374

**Number of references**: 16

**Language**: hrvatski

**Type of paper**:*Book*

**Title:**DOS: Analysis and advanced programming

**Authors:**- Kermek, Dragutin (136014)

**Publisher**: FOING

**Year**: 1994

**Language**: hrvatski

**Type of paper**:*Paper in book*

**Title:**Review of the knowledge representation methods

**Editors**- Tuđman, Miroslav

**Publisher**: Zavod za informacijske studije

**Year**: 1993

**Pages**: from 203 to 209

**Language**: hrvatski

**Type of paper**:*Paper in book*

**Title:**Artificial intelligence and expert systems

**Authors:**- Crnko, Nenad
- Čubrilo, Mirko (135963)

**Publisher**: Sysprint i BUG

**ISBN**: 953-6041-04-9

**Year**: 1995

**Pages**: from 755 to 767

**Language**: hrvatski

**Type of paper**:*Paper in journal*

**Title:**Lexical Analysis with the Use of Aho-Korasick Automata in Prolog Language

**Authors:**- Čubrilo, Mirko (135963)

**Journal**: CIT

**Number**: 1

**ISSN**: 1330-1136

**Volume**: 1

**Year**: 1993

**Pages**: from 83 to 90

**Number of references**: 9

**Language**: hrvatski

**Summary**: This paper discusses implementation in Prolog and the use ofAho-Korasick automata in lexical analysis. The choice of any ofthe system approaches known so far depends, among other things,on the choice of the lexical analyser's implementation language.Although all algorithms reffered to in the paper are procedural,the algorithm based on Aho-Korasick automata is suitable for animplementation in Prolog as a non-procedural language, since thepredicates realizing finite automata can be implementedrelatively easy. Besides, as a single-pass algorithm, itrecognizes all key-words from the input word. The automatonconstructed and the program it is implemented in are a part of adeductive mechanism preprocessor for the estimation of multiplevalued dependencies of relational data base model.

**Keywords**: lexical analisys, finite automata, Aho-Korasick automata, Prolog

**Type of paper**:*Paper in journal*

**Title:**Proposition for modification of Bernstein's algorithm for vertical normalization by synthesis

**Authors:**- Tkalac, Slavko (49596)
- Mateljan, Vladimir

**Journal**: Informatologia

**Number**: 1

**ISSN**: 1330-0067

**Volume**: 24

**Year**: 1992

**Pages**: from 1 to 11

**Number of references**: 3

**Language**: engleski

**Summary**: Bernstein's algorithm (1976) for vertical normalization bysynthesis is based on the presumption that a minimization oftotal number of attributes in left and right sides of all FDs ina FD set, will result in a normalized data base model. Twoproblems are connected with this presumption. In the first place,the algorithm for finding a given set cover with minimum numberof attributes (the so called optimal cover) is not known.Moreover, althhough the minimization of the attributes numbergenerally, will minimize the number of copies in data base model,it is not indisputable that starting with optimal cover using theBernstein's algorithm one will end with the data base model withminimum number of copies. In the paper we propose a modification of Bernstein's algorithm,which will solve some of the problems.

**Keywords**: relational data model, normalization by synthesis, Berstein's algorithm

**Type of paper**:*Paper in journal*

**Title:**Algorithm for nodes arrangement in graphic representation of functional dependencies set

**Authors:**- Mateljan, Vladimir
- Tkalac, Slavko (49596)

**Journal**: Informatologia

**Number**: 3

**Volume**: 24

**Year**: 1992

**Pages**: from 101 to 108

**Number of references**: 3

**Language**: engleski

**Summary**: The algorithm for graphical representation of functionaldependencies set developed by Ausiello, Atri and Sacca (1973),does not solve the node arrangement problem. The paper startswith the assumption that optimal node arrangement in a graphrepresentation of a set of functional dependencies is the onewith minimal number of arcs crossover. The general algorithm isnot known in graph theory. We proposed to memorize optimalsolution for some elementary cases. The given set of functionaldependencies is reduced to one among the memorized elementarycases. After the optimal arrangement for reduced set was foundthe given functional dependencies set is reconstructed. For the operations of reduction and reconstruction on a set of FDmodified matrix of adjacency is used.

**Keywords**: functional dependencies, graphical representation

**Type of paper**:*Paper in journal*

**Title:**Automatic generating of test sets of functional depndencies

**Authors:**- Čubrilo, Mirko (135963)

**Journal**: ITA - informacija, telekomunikacija, automati

**Number**: 4

**ISSN**: 0351-7748

**Volume**: 13

**Year**: 1994

**Pages**: from 387 to 394

**Number of references**: 4

**Language**: engleski

**Type of paper**:*Paper in journal*

**Title:**Syntactic analyzer of modal clauses of modal propositional calculi

**Authors:**- Čubrilo, Mirko (135963)

**Journal**: Automatika: časopis za automatiku, mjerenje, elektroniku, računarstvo i telekomunikacije

**Number**: 1-2

**ISSN**: 0005-1144

**Volume**: 35

**Year**: 1994

**Pages**: from 23 to 30

**Number of references**: 12

**Language**: hrvatski

**Type of paper**:*Paper in proceedings*

**Title:**Some aspects of modelling the expert systems shell

**Authors:**- Čubrilo, Mirko (135963)

**Proceedings title**: Zbornik Fakulteta organizacije i informatike br. 15

**Language**: hrvatski

**Place**: Varaždin

**Year**: 1991

**ISBN/ISSN**: 0351 - 1804

**Pages**: from 53 to 66

**Meeting**: godišnji Zbornik

**Summary**: This article is concerned with some aspects of expert systemsshell modelling. It primarilly relates to the formal methods ofspecification of the modules of a shell. In connection with thesupposed problem domains, it is of special interest to dvelop agraphical editor for formulae from the language of the firstorder predicate calculus. Here, we propose BN-specification of the grammar of thatlanguage. In a sequel, we analyse a sample of SF-specification ofa fragment of a hypothetical editor and demonstrate thepossibility of implementation some of its functions in the PDCProlog programming environment.

**Keywords**: expert systems, expert systems shell, deductive mechanism, formal specification, BN-specification, SF-specification, Prolog

**Type of paper**:*Paper in proceedings*

**Title:**Structuring the expert systems shell in Prolog

**Authors:**- Čubrilo, Mirko (135963)

**Proceedings title**: Informacijske i komunikacijske tehnologije u uredskom poslovanju

**Language**: hrvatski

**Place**: Varaždin

**Year**: 1992

**Pages**: from 57 to 76

**Meeting**: Treći međunarodni simŠpozij "Informacijske i komunikacijske tehnologije u uredskom poslovanju".

**Type of paper**:*Paper in proceedings*

**Title:**Mechanical solution of the runway problem

**Authors:**- Čubrilo, Mirko (135963)

**Proceedings title**: Zbornik Fakulteta organizacije i informatike br. 16

**Language**: hrvatski

**Place**: Varaždin

**Year**: 1992

**ISBN/ISSN**: 0351-1804

**Pages**: from 39 to 58

**Meeting**: godišnji Zbornik

**Summary**: In this article a nontrivial example of a logico-arithmeticalpuzzle, so called runway problem is set and solved. The obtainedsolution is a mechanical one, in the sense that the problem isadequately formalized by means of the language (PDC Prolog),while the solution of the problem is accomplished by running theProlog's deductive mechanism.

**Keywords**: runway problem, mechanical solution, Prolog

**Type of paper**:*Ph.D.*

**Title:**The expert systems shell with deductive mechanism of the production type

**Date of defense**: 12/10/92

**Language**: hrvatski

**Number of pages**: 238

**Summary**: In this work the expert systems shell for solving problems inseveral problem areas is designed (conceptually,organisationally) and implemented. The basic problem area is made by calculi of functional andmultivalued dependencies of the relational data model, i. e. theproblems of logical inference in this calculi. Deductivemechanism within the shell, established on the rule of positivehyperresolution for propositional calculus, has been developed tosolve them. For transforming the initial inference problem into a formsuitable for deductive mechanism, results on imbedding thosecalculi into propositional calculus have been used. A whole set of modules, such as lexical and syntactycal analyserfor formulas of calculi of functional dependencies and user'sinterface has been developed. In the development of lexical and syntactical analyser a systemapproach has been applied. Thus the core of the lexical analyserhas been realized as the Aho-Korasick automaton, while the coreof the syntactic analuser has been realized on the basis ofadequate BNF grammar. As a language of implementation the logic programming languagePDC Prolog has been chosen.

**Keywords**: expert systems, expert systems shell, relational data model, calculus of functional dependencies, calculus of multivalued dependencies, resolution, positive hyperresolution, deductive mechanism, Prolog

**Type of paper**:*M.A.*

**Title:**Object - oriented software development

**Faculty**: Fakultet organizacije i informatike Sveučilište u Zagrebu

**Date of defense**: 07/10/93

**Language**: hrvatski

**Number of pages**: 178

**Summary**: Several methods of object-oriented analysis and design arepresented and compared. The similarities and differences relatingto structured system analysis are shown too. The caracteristicsof object - oriented design are described and compared withstructured design. It is proved the existens of considerablesimilarity between the criteria of structured and object -oriented design, but the differences result from dissimilarity oftheir essential building blocks.

**Keywords**: object-oriented analysis, object-oriented design, structural analisys, structural design, information systems

**Type of paper**:*Mentorship*

**Title:**Object-oriented software development

**Faculty**: Fakultet organizacije i informatike Sveučilište u Zagrebu

**Mentor**: ADLER NEVENKA

**Date of defense**: 07/10/92

**Number of pages**: 178

**Author**: Kermek Dragutin

**Degree level**: M.A.

**Type of paper**:*Mentorship*

**Title:**Use of matrix representation with procedure for obtaining graph representation set of functional dependencies and modification of Bernstein's algorithm for normalization by synthesis

**Faculty**: Fakultet organizacije i informatike Sveučilište u Zagrebu

**Mentor**: ADLER NEVENKA

**Date of defense**: 03/25/92

**Number of pages**: 82

**Author**: Mateljan magistar informacijskih znanoi Vladimir

**Degree level**: M.A.

Ministry of Science and Technology |
Croatian language |
Svibor homepage |
Alphabetic list |
Sorted on project code |
Sorted on institutions |
Search | Help |

Information: svibor@znanost.hr