On the Design and Specification of Database Transactions
作者： Michael L. Brodie , Dzenan Ridjanovic
DOI: 10.1007/978-1-4612-5196-5_10
关键词: Data abstraction 、 Database application 、 Database design 、 State (computer science) 、 Exception handling 、 Formal specification 、 Software engineering 、 Structure (mathematical logic) 、 Database 、 Database transaction 、 Computer science
摘要: A complete design and specification of database transactions must include both structural behavioural properties. Structure deals with states static properties while behaviour concerns state transitions dynamic Database techniques emphasize the importance but seldom provide for modelling integrating structure.
springer.com
sci-hub.st 参考文章(22)
Martin Wirsing, Manfred Broy, An Analysis of Semantic Models for Algebraic Specifications Springer, Dordrecht. pp. 351- 413 ,(1982) , 10.1007/978-94-009-7893-5_12
R. M. Burstall, J. A. Goguen, The Semantics of CLEAR, A Specification Language Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School. pp. 292- 332 ,(1979) , 10.1007/3-540-10007-5_41
Michael L. Brodie, Association: A Database Abstraction for Semantic Modelling international conference on entity relationship approach. pp. 577- 602 ,(1981)
Richard C. Linger, Bernard I. Witt, Harlan D. Mills, Structured programming, theory and practice Addison-Wesley. ,(1979)
H. G. Sol, A. A. Verrijn Stuart, T. William Olle, Information Systems Design Methodologies; A Comparative Review: Proceedings of the IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies, Noordwijkerhout, the Netherlands, 10-14 May 1982 Elsevier Science Inc.. ,(1982)
Michael L Brodie, The application of data types to database semantic integrity Information Systems. ,vol. 5, pp. 287- 296 ,(1980) , 10.1016/0306-4379(80)90075-7
Dzenan Ridjanovic, Michael L. Brodie, Action and transaction skeletons: High level language constructs for database transactions Sigplan Notices. ,vol. 18, pp. 94- 99 ,(1983) , 10.1145/800226.806855
Martin Wirsing, Peter Pepper, Helmut Partsch, Walter Dosch, Manfred Broy, On hierarchies of abstract data types Acta Informatica. ,vol. 20, pp. 1- 33 ,(1983) , 10.1007/BF00264293
R. Bayer, H. Heller, A. Reiser, Parallelism and recovery in database systems ACM Transactions on Database Systems. ,vol. 5, pp. 139- 156 ,(1980) , 10.1145/320141.320146
John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong, A language facility for designing database-intensive applications ACM Transactions on Database Systems. ,vol. 5, pp. 112- 122 ,(1980) , 10.1145/320141.320150