On the formal specification and derivation of relational database applications

Electronic Notes in Theoretical Computer Science

Volumn 14, Issue , 1998, Pages 3-29

  De Barros, Roberto Souto Maior ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING;

DATABASE MODELS; MODEL-ORIENTED LANGUAGES; RECORDS CONTROL SYSTEM; RELATIONAL DATABASE MANAGEMENT SYSTEMS (RDBMS);

RELATIONAL DATABASE SYSTEMS;

EID: 18944378965     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80226-9     Document Type: Conference Paper

References (33)

1. Barros R.S.M. Formal specification of very large software: a real example. Master′s thesis, Federal University of Pernambuco (UFPE), Departmento de Informática, Recife, Brazil, October 1988. In Portuguese.
2. Date C.J. An Introduction to Database Systems. volume 1. Addison-Wesley Publishing Company Inc., Reading, Massachusetts, USA, sixth edition. 1995
3. Codd E.F. A relational model of data for large shared data banks. Communications of the ACM. 13:(6):June 1970;377-387
4. Barros R.S.M. On the Formal Specification and derivation of Relational Database Applications. PhD thesis. The University of Glasgow, Department of Computing Science, November 1994
5. Spivey J.M. The Z Notation: A Reference Manual. 1992;Prentice Hall International (UK) Ltd., Hemel Hempstead, UK, second edition
6. Schmidt J.W., Matthes F. The dbpl project: Advances in modular database programming. Information Systems. 19:(2):1994;121-140
7. Wirth N. Programming in Modula-2. Texts and Monographs in Computer Science. 1985;Springer-Verlag, Berlin, Germany, third edition
8. Melton J., Simon A.R. Understanding the New SQL: A Complete Guide. Morgan Kaufmann Series in Data Management Systems. Morgan Kaufmann Publishers Inc., San Francisco, California, USA. 1993
9. Pastor J.A. and Olivé A. An approach to the synthesis of update transactions in deductive database. In Proceedings of CISMOD′94 (Fifth International Conference on Information Systems and Management of Data), Madras, India, October 1994.
10. Minker J. Foundations of Deductive Databases and Logic Programming. 1988;Morgan Kaufmann Series in Data Management Systems. Morgan Kaufmann Publishers Inc, San Francisco, California, USA
11. Sheard T., Stemple D. Automatic verification of database transaction safety. ACM Transactions on Database Systems. 14:(3):September 1989;322-368
12. Boyer R.S., Moore J.S. A Computational Logic. 1979;Academic Press, New York, USA
13. Steinberg G., Faley R., Chinn S. Automatic database generation by novice end-users using English sentences. Journal of Systems Management. 45:(3):March 1994;10-15
14. Qian X. The deductive synthesis of database transactions. ACM Transactions on Database Systems, 18(4):626-677, December 1993.
15. Manna Z., Waldinger R. The Logical Basis for Computer Programming. volume 2. Addison-Wesley Publishing Company Inc., Reading Massachusetts, USA. 1990
16. Schewe K.-D., Schmidt J., Wetzel I. Specification and refinement in an integrated database application environment. Prehn S., Toetenel W.J. VDM′91: Formal Software Development Methods, volume 551 of Lecture Notes in Computing Science. October 1991;496-510 Springer-Verlag
17. Borgida A., Mylopoulos J., Schmidt J.W. Final version on tdl design. DAIDA Deliverable DES1.2, ESPRIT Project. 892:September 1987
18. Mylopoulos J., Bernstein P.A., Wrog H.K.T. A language facility for designing interactive database-intensive applications. ACM Transactions on Database Systems. 5:(2):June 1980;185-207
19. Abrial J.-R. The B-Book. 1996;Cambridge University Press. To appear
20. Edinburgh Portable Compilers Ltd. UK. B-Tool Reference Manual. 1991
21. Günther T., Schewe K.-D., Wetzel I. On the derivation of executable database programs from formal specifications. Woodcock J.C.P., Larsen P.G. FME′93: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computing Science. April 1993;351-366 Springer-Verlag
22. Goguen J.A, Winkler T. Introducing obj3. Technical Report SRI-CSL-88-9. 1988;SRL, Menlo Park, USA
23. Schewe K.-D., Wetzel I., Schmidt J. Towards a structured specification language for database applications. Harper D.J., Norrie M.C. Specification of Database Systems, Glasgow 1991, Workshops in Computing Series. 1992;255-274 Springer-Verlag
24. Barros R.S.M., Harper D.J. A method for specification of relational database applications. Nicholls J.E. Z User Workshop, York 1991, Workshops in Computing Series. 1992;261-286 Springer-Verlag
25. Barros R.S.M. Formal specification of relational database applications: A method and an example. Research Report GE-93-02. September 1993;Department of Computing Science, The University of Glasgow, UK
26. van Diepen M.J., van Hee K.M. A formal semantics for z and the link between z and the relational algebra. Bjørner D., Hoare C.A.R., Langmaack H. VDM and Z - Formal Methods in Software Development, volume 428 of Lecture Notes in Computing Science. 1990;526-551 Springer-Verlag
27. Barros R.S.M. Deriving relational database programs from formal specifications. Naftalin M., Denvir T., Bertran M. FME′94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computing Science. October 1994;703-723 Springer-Verlag
28. Spivey J.M. A guide to the zed style option. Unpublished. December 1990
29. Reps T.W., Teitelbaum T. The Synthesizer Generator: a system for constructing language-based editors. Texts and Monographs in Computer Science. 1989;Springer-Verlag, New York, USA
30. Grammatech, Inc., Ithaca, NY, USA. The Synthesizer Generator Reference Manual, fourth edition, 1992.
31. Sampaio A. C. and Meira S. L. Zc: A notation for complex systems specification. In proceedings of XV SEMISH, SBC Brazilian Congress, Rio de Janeiro, Brazil, 1988. In Portuguese.
32. Sampaio A.C., Meira S.L. Modular extensions to Z. Bjørner D., Hoare C.A.R., Langmaack H. VDM and Z - Formal Methods in Software Development, volume 428 of Lecture Notes in Computing Science. 1990;211-232 Springer-Verlag
33. Barros R.S.M., Harper D.J. Formal development of relational database applications. Harper D.J., Norrie M.C. Specification of Database Systems, Glasgow 1991. Workshops in Computing Series. 1992;21-43 Springer-Verlag