The Community for Technology Leaders
Green Image
Issue No. 01 - January (1985 vol. 11)
ISSN: 0098-5589
pp: 3-14
B.G. Claybrook , EnMasse Computer Corporation
The concept of data abstraction is utilized in database systems to define user interfaces via database views in database application languages and to describe the architecture of database systems. Differences between the specification and use of database views and other data abstractions realized as abstract data types are discussed. Database views are formally specified using both the algebraic specification method and the abstract model specification method. The use of database views is demonstrated via the EXT_Pascal database application language.
formal specification, Data abstraction, database view
B.G. Claybrook, A.-M. Claybrook, J. Williams, "Defining Database Views as Data Abstractions", IEEE Transactions on Software Engineering, vol. 11, no. , pp. 3-14, January 1985, doi:10.1109/TSE.1985.231532
85 ms
(Ver 3.3 (11022016))