Subject
General Computer Science,Theoretical Computer Science
Reference46 articles.
1. T. Alves, P.F. Silva, and Joost Visser. Contraint-aware schema transformation. Draft, 2008
2. Strategic term rewriting and its application to a VDM-SL to SQL conversion;Alves,2005
3. A comprehensive solution to the XML-to-relational mapping problem;Amer-Yahia,2004
4. F. Atanassow and J. Jeuring. Inferring type isomorphisms generically. In Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12–14, 2004, Proceedings, volume 3125, pages 32–53, 2004
5. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs;Backus;Commun. ACM,1978
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Generalization of typed include dependencies with null values in databases;Modeling and Analysis of Information Systems;2023-09-17
2. A deductive reasoning approach for database applications using verification conditions;Journal of Systems and Software;2021-05
3. Synthesizing database programs for schema refactoring;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
4. Analysis of Typed Inclusion Dependences with Null Values;Automatic Control and Computer Sciences;2018-12
5. Verifying equivalence of database-driven applications;Proceedings of the ACM on Programming Languages;2018-01