Axiomatic approach to the system of files

  • Lucjan Stapp
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 148)


Two different points of view on sequential files are discussed: internal point of view representing the users and external one representing the system designers. The relational system of sequential file is presented, the axiomatization is done and there is proved that every model of the axiomatized theory is isomorphic with the standard model. An other axiomatized theory of file identificators is presented: consistency of the theory is proved. The "sum" of both theories gives an useful theory of sequential files with identificators.

At tthe end of the paper a class in the language LOGLAN 77 is presented. Every object of this class is a model of the last mentioned theory.


Relational System Sequential File Axiomatized Theory Algorithmic Logic Algorithmic Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1].
    Aho, A.,Hopcroft, J.,Ullman, J., The Design and Analysis of Computer Algorithms, Addison-Wesley Publishing Co., Reading Ma., 1974Google Scholar
  2. [2].
    Brinch Hansen, P., The SOLO Operating System, Software — Practice & Experience 6,2,1976,141–205Google Scholar
  3. [3].
    Dańko,W., A Criterion of Undecidability of Algorithmic Theories, to appear in Fundamenta InformaticaeGoogle Scholar
  4. [4].
    LOGLAN 77 raport — internal raport of Institute of Computer Science, Warsaw University, December 1979Google Scholar
  5. [5].
    Mirkowska, G., Algorithmic Logic and Its Application in Program Theoty, Fundamenta Informaticae 1,1977,1–17,147–167Google Scholar
  6. [6].
    Mirkowska, G., On Formalized System of Algorithmic Logic, Bull. Acad.Pol.Sci,Ser math. astr. et phys.,19,1971,421–428Google Scholar
  7. [7].
    Muldner,T., Implementation and Properties of Certain Tools for Parallel Computation, to appear in Fundamenta InformaticaeGoogle Scholar
  8. [8].
    Oktaba,H., On Algorithmic Theory of References, a manuscriptGoogle Scholar
  9. [9].
    Salwicki,A., On Algorithmic Theory of Dictionaries, a manuscriptGoogle Scholar
  10. [10].
    Sielberschatz,A., Kieburtz,R.B., The External Consistency of Abstract Data types, a manuscript.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Lucjan Stapp
    • 1
  1. 1.Institute of MathematicsWarsaw Technical UniversityPoland

Personalised recommendations