Title :
Advanced file organization and its ADT operations
Author :
Moriya, Kunihiko ; Arisawa, Hiroshi ; Suzuka, Toyoaki ; Oyanagi, Kazuko
Author_Institution :
Hitachi Software Eng. Co. Ltd., Yokohama, Japan
Abstract :
A formal model of file systems called the advanced access method (AAM), in which a file system is described using the mathematical set concept, is presented. This model, representing the ADT (abstract data type) operations, relies on the concepts of ordered set, powerset and unique identifier (key). It is useful for applications using multimedia and as an access method for a general-purpose database system. The primary version of the AAM system has been implemented on several workstations and personal computers
Keywords :
data structures; database theory; file organisation; formal specification; microcomputer applications; multimedia systems; set theory; ADT operations; abstract data type; advanced access method; file organization; formal model; general-purpose database system; key; multimedia; ordered set; personal computers; powerset; unique identifier; workstations; Active appearance model; Application software; Database systems; File systems; Mathematical model; Microcomputers; Multimedia databases; Multimedia systems; Power system modeling; Workstations;
Conference_Titel :
Systems Integration, 1990. Systems Integration '90., Proceedings of the First International Conference on
Conference_Location :
Morristown, NJ
Print_ISBN :
0-8186-9027-5
DOI :
10.1109/ICSI.1990.138745