Skip to main content

Towards Automatic Synthesis of View Update Programs on Relations

  • 66 Accesses

Part of the Communications in Computer and Information Science book series (CCIS,volume 1457)

Abstract

Automatic synthesis of bidirectional programs on relations has not been well studied yet. As an attempt to solve the problem, we propose an approach to synthesizing view update strategies on relations written in Datalog from examples and data schemes. Our approach has been implemented and used to successfully synthesize various view update tasks on relations.

Keywords

  • View update
  • Program synthesis

We thank the anonymous reviewers for their valuable feedback. This work has been partially supported by JSPS KAKENHI Grant Number JP17H06099 and ROIS NII Open Collaborative Research 2018.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-93849-9_6
  • Chapter length: 8 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-93849-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   74.99
Price excludes VAT (USA)

Notes

  1. 1.

    Selection Projection Join Normal Form.

  2. 2.

    Boyce-Codd Normal Form.

  3. 3.

    All experiments were performed on a 2.6 GHz Intel Core i7 processor with 16 GB of 2400 MHz DDR4 running macOS 11.3.1.

References

  1. Keller, A.M.: Algorithms for translating view updates to database updates for views involving selections, projections, and joins. In: Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, PODS 1985, pp. 154–163. Association for Computing Machinery, New York (1985)

    Google Scholar 

  2. Maina, S., Miltner, A., Fisher, K., Pierce, B.C., Walker, D., Zdancewic, S.: Synthesizing quotient lenses. In: Proceedings of the ACM on Programming Languages, 2, pp. 1–29, July 2018

    Google Scholar 

  3. Miltner, A., Fisher, K., Pierce, B.C., Walker, D., Zdancewic, S.: Synthesizing bijective lenses. In: Proceedings of the ACM on Programming Languages, vol. 2, December 2017

    Google Scholar 

  4. Miltner, A., Maina, S., Fisher, K., Pierce, B.C., Walker, D., Zdancewic, S.: Synthesizing symmetric lenses. In: Proceedings of the ACM on Programming Languages, vol. 3, July 2019

    Google Scholar 

  5. Raghothaman, M., Mendelson, J., Zhao, D., Naik, M., Scholz, B.: Provenance-guided synthesis of datalog programs. In: Proceedings of the ACM on Programming Languages, vol. 4, December 2019

    Google Scholar 

  6. Tran, V.D., Kato, H., Hu, Z.: Programmable view update strategies on relations. Proc. VLDB Endow. 13(5), 726–739 (2020)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bach Nguyen Trong .

Editor information

Editors and Affiliations

A A Synthesized Program of the Motivating Example

A A Synthesized Program of the Motivating Example

figure l

Rights and permissions

Reprints and Permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Verify currency and authenticity via CrossMark

Cite this paper

Trong, B.N., Hu, Z. (2022). Towards Automatic Synthesis of View Update Programs on Relations. In: Fletcher, G., Nakano, K., Sasaki, Y. (eds) Software Foundations for Data Interoperability. SFDI 2021. Communications in Computer and Information Science, vol 1457. Springer, Cham. https://doi.org/10.1007/978-3-030-93849-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-93849-9_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-93848-2

  • Online ISBN: 978-3-030-93849-9

  • eBook Packages: Computer ScienceComputer Science (R0)