Paul Murray. Semantic Correctness in the Specification, Translation and Implementation of SQL queries. PhD thesis, University of Sheffield, 1993.  Home/Search   Document Not in Database   Summary   Related Articles

....and method schemas can be defined. Both these models are extensions to the Z specification language to allow the OO specification of systems. In section 5.2.4 we examined an approach that used the Z language to specify the OO data model and show how queries could be processed on that model. In [47] Murray presents an attempt at specifying SQL in Z. 5.4 Denotational semantics Denotational semantics [53] 5] 49] is a method of formally specifying the semantics of a language by mapping legal syntactic structures to members of a semantic domain. It is an approach developed from work in ....

....syntax and used as the input to query processors and optimisers. A calculus of OO queries could be devised based on Chan and Trinders object comprehensions [19] which could be used as a tool for a formal comparison with the relational calculus, or with Murray s calculus style semantics of SQL [47]. ....

Paul Murray. Semantic Correctness in the Specification, Translation and Implementation of SQL queries. PhD thesis, University of Sheffield, 1993.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC