SVIBOR - Papers - project code: 1-02-130

MINISTRY OF SCIENCE AND TECHNOLOGY

Strossmayerov trg 4, HR - 10000 ZAGREB
tel.: +385 1 459 44 44, fax: +385 1 459 44 69
E-mail: ured@znanost.hr

SVIBOR

SVIBOR - Collecting Data on Projects in Croatia


Published papers on project 1-02-130


Quoted papers: 0
Other papers: 17
Total: 17


  1. 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.


  2. 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

  3. Type of paper: Book

    Title: DOS: Analysis and advanced programming

    Authors:
    Kermek, Dragutin (136014)
    Publisher: FOING
    Year: 1994
    Language: hrvatski

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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".

  13. 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

  14. 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


  15. 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


  16. 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.


  17. 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.



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

Information: svibor@znanost.hr