Algebraic Specification of Databases — A Survey from a Database Perspective

Samson, W. B.; Wakelin, A. W.

doi:10.1007/978-1-4471-3864-8_13

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2005

Publication Types

Select...

Book1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Samson and Wakelin [33] present a comprehensive survey about the use of algebraic methods to specify databases. They compare a number of approaches according to the features covered and enumerate some features not normally covered by such methods.…”

Section: Related Workmentioning

confidence: 99%

Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion

Alves

Silva

Visser

et al. 2005

FM 2005: Formal Methods

View full text Add to dashboard Cite

We constructed a tool, called VooDooM, which converts datatypes in VDM-SL into SQL relational data models. The conversion involves transformation of algebraic types to maps and products, and pointer introduction. The conversion is specified as a theory of refinement by calculation. The implementation technology is strategic term rewriting in Haskell, as supported by the Strafunski bundle. Due to these choices of theory and technology, the road from theory to practise is straightforward.

show abstract

Section: Related Workmentioning

confidence: 99%