Axioms for multilevel objects
Keyword(s):
A set of axioms for structured objects of data is presented. In the structured objects components and levels are distinguished. Change of level is the result of a special application operator, components are accessible by successive selections. The set of access paths is also axiomatized. The set of axioms is uniform in the sense that features of various known classes of datastructures are combined.
2005 ◽
pp. 227-245
◽
2017 ◽
Vol 36
(5)
◽
pp. 1063-1087
◽
1980 ◽
Vol 289
(1037)
◽
pp. 471-481
◽
1993 ◽
pp. 340-355
1995 ◽
Vol 10
(1)
◽
pp. 73-76
◽
Keyword(s):
2009 ◽
Vol 52
(11)
◽
pp. 97-104
◽