Portal de Periódicos da CAPES

Axiomatic approach to the system of files

1983; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-11981-7_20

1611-3349

Lucjan Stapp,

Digital and Cyber Forensics

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.