论文信息 - A formal semantics for sql

A formal semantics for sql

For well known reasons, it is very desirable and sometimes imperative to give formal description of the semantics of a language. This paper presents a formal semantics of a subset of the SQL language, using the Vienna Development Method. We consider most of the query language defined in the SQL standard and give its denotational semantics using “standard” VDM. Although not authoritative, the paper indicates that the full semantics for SQL would be a relatively simple exercise.

[1] W. B. Samson,et al. The Specification of a Relational Database (PRECI) as an Abstract Data Type and its Realisation in HOPE , 1986, Comput. J..

[2] Peter D. Mosses,et al. Denotational semantics , 1995, LICS 1995.

[3] Serge Abiteboul,et al. IFO: A Formal Semantic Database Model , 1987, ACM Trans. Database Syst..

[4] Peter P. Chen,et al. A denotational semantics for the generalized ER model and a simple ER algebra , 1988 .

[5] David A. Schmidt,et al. Denotationaisemantics: a methodology for language development , 1986 .

[6] Jeffrey D. Ullman,et al. Principles of Database Systems , 1980 .

[7] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[8] C. J. Date. A Guide to the SQL Standard , 1987 .

[9] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .