From spreadsheets to relational databases and back

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

Volumn , Issue , 2009, Pages 179-188

  Cunha, Jácome ^a   Saraiva, João ^a   Visser, Joost ^b  

^a UNIVERSITY OF MINHO   (Portugal)

^b CWI   (Netherlands)

Author keywords

Bi directional transformations; Functional programming; Spreadsheets; Type safe data migration

Indexed keywords

BI-DIRECTIONAL TRANSFORMATIONS; BIDIRECTIONAL TRANSFORMATION; DATA MODELS; DATA REFINEMENTS; DATA TYPE; HASKELL; RELATIONAL DATABASE; TYPE-SAFE DATA MIGRATION;

DATABASE SYSTEMS; FUNCTIONAL PROGRAMMING; OPTIMIZATION; SYSTEMS ANALYSIS;

SPREADSHEETS;

EID: 67650661377     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1480945.1480972     Document Type: Conference Paper

References (27)

1. R. Abraham and M. Erwig. GoalDebug: A spreadsheet debugger for end users. In 29th Int. Conf. on Software Engineering, pages 251-260. IEEE, 2007a. (Pubitemid 47430660)
2. R. Abraham and M. Erwig. UCheck: A spreadsheet type checker for end users. J. Vis. Lang. Comput., 18(1):71-95, 2007b. (Pubitemid 44933091)
3. T.L. Alves, P.F. Silva, and J. Visser. Constraint-aware Schema Transformation. In The Ninth International Workshop on Rule-Based Programming, 2008.
4. C. Beeri, R. Fagin, and J.H. Howard. A complete axiomatization for functional and multivalued dependencies in database relations. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 47-61, 1977.
5. A. Bohannon, J.A. Vaughan, and B.C. Pierce. Relational lenses: A language for updateable views. In Principles of Database Systems (PODS), 2006.
6. B. Bringert, A. Hóckersten, C. Andersson, M. Andersson, M. Bergman, V. Blomqvist, and T. Martin. HaskellDB improved. In 2004 ACM SIGPLAN workshop on Haskell, pages 108-115, NY, USA, 2004. ACM. ISBN 1-58113-850-4. doi: http://doi.acm.org/10.1145/1017472.1017473.
7. T. Connolly and C. Begg. Database Systems, A Practical Approach to Design, Implementation, and Management. Addison-Wesley, 3 edition, 2002.
8. A. Cunha and J. Visser. Strongly typed rewriting for coupled software transformation. ENTCS, 174(1):17-34, 2007. 7th Workshop on Rule- Based Programming. (Pubitemid 46635293)
9. A. Cunha, J.N. Oliveira, and J. Visser. Type-safe Two-level Data Transformation. In J. Misra et al., editors, Proc. Formal Methods, 14th Int. Symp. Formal Methods Europe, volume 4085 of LNCS, pages 284-299. Springer, 2006. (Pubitemid 44502913)
10. C. J. Date. An Introduction to Database Systems. Addison-Wesley, 1995.ISBN 0-201-82458-2.
11. FAST. UMinho Haskell Software - http://haskell.di.uminho.pt/UMHS.
12. st Workshop on End-User Software Engineering, pages 47-51, May 2005.
13. J.N. Foster, M.B. Greenwald, J.T. Moore, B.C. Pierce, and A. Schmitt. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Transactions on Programming Languages and Systems, 29(3):17, May 2007. doi: http://portal.acm.org/citation.cfm?doid=1232420. 1232424.
14. B.H. Frost and S.D. Stanton. Spreadsheet-based relational database interface, January 2008. URL http://www.freepatentsonline.com/20080016041.html. US Patent 20080016041.
15. D. Maier. The Theory of Relational Databases. Computer Science Press, 1983. ISBN 0-914894-42-50
16. C. Morgan and P.H.B. Gardiner. Data refinement by calculation. Acta Informatica, 27:481-503, 1990. (Pubitemid 20697484)
17. N. Novelli and R. Cicchetti. Fun: An efficient algorithm for mining functional and embedded dependencies. In ICDT '01: Proceedings of the 8th International Conference on Database Theory, pages 189-203, London, UK, 2001. Springer-Verlag. ISBN 3-540-41456-8. (Pubitemid 33213326)
18. J.N. Oliveira. "Fractal" Types: an Attempt to Generalize Hash Table Calculation. In Workshop on Generic Programming (WGP'98), Marstrand, Sweden, June 1998.
19. J.N. Oliveira. A reification calculus for model-oriented software specification. Formal Asp. Comput., 2(1):1-23, 1990.
20. J.N. Oliveira. Transforming data by calculation. In R. Lämmel, J. Saraiva, and J. Visser, editors, Generative and Transformational Techniques in Software Engineering II, GTTSE 2007, Braga, Portugal, volume 5235 of LNCS, pages 134-195. Springer, 2007a.
21. J.N. Oliveira. Pointfree foundations for (generic) lossless decomposition. 2007b. Submitted.
22. J.N. Oliveira. Functional dependency theory made 'simpler'. Technical Report PURe-05.01.01, DI-Research, January 2005.
23. S. Peyton Jones. Haskell 98: Language and libraries. J. Funct. Program., 13(1):1-255, 2003.
24. S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, Univ. of Pennsylvania, July 2004.
25. C. Scaffidi, M. Shaw, and B. Myers. Estimating the numbers of end users and end user programmers. Visual Languages and Human-Centric Computing, 2005 IEEE Symposium on, pages 207-214, 2005. doi: 10.1109/VLHCC.2005.34.
26. J. D. Ullman and J. Widom. A First Course in Database Systems. Prentice Hall, 1997.
27. J. Visser. Coupled transformation of schemas, documents, queries, and constraints. Electr. Notes Theor. Comput. Sci., 200(3):3-23, 2008. (Pubitemid 351713592)