Skip to main content
SpringerLink
Log in
Book cover

International Conference on Deductive and Object-Oriented Databases

DOOD 1997: Deductive and Object-Oriented Databases pp 175–192Cite as

An approach to obtain intensional translations for consistent view updating

  • Database Updates
  • Conference paper
  • First Online:

  • 109 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1341))

Abstract

An important amount of research has been devoted to consistent view updating. In this paper we propose a new approach to deal with this problem. Our approach is aimed at obtaining intensional translations that satisfy a view update request, instead of obtaining extensional translations. Intuitively, our translations are intensional in the sense that they characterise multiple possible values for a set of base fact updates such that the request is satisfied when the updates are applied using these values. Each characterised set of updates constitutes an extensional translation. The main advantages of following this approach are to improve the meaningfulness of the translations to the users; to facilitate the treatment of infinite domains; and to reduce the search space needed to obtain the translations.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brodsky, A.; Jaffar, J,; Maher, M. “Towards Practical Constraint Databases”, Proc. of the 19 th VLDB Conference, Dublin, Ireland, 1993, pp. 567–580.

    Google Scholar 

  2. Bancilhon, F.; Ramakrishnan, R, “An Amateur's Introduction to Recursive Query Processing”, Proc. of the ACM SIGMOD, Washington D.C., 1986.

    Google Scholar 

  3. Bry, F. “Intensional Updates: Abduction via Deduction”, Proc. of the 7th Int. Conf on Logic Programming, Jerusalem, 1990, pp. 561–575.

    Google Scholar 

  4. Cholvy, L.; Demolombe, R. “Querying a Rule Base”, Proc. of the 1 st Int. Conf. on Expert Database Systems, 1986, pp. 365–371.

    Google Scholar 

  5. Costal, D. “A New Plan Generation Method for Deductive Conceptual Model Validation”, Forth DAISD, 1993, pp. 175–200.

    Google Scholar 

  6. Decker, H. “The Range Form of databases or: How to avoid Floundering”, Proc. 5th ÖGAI, Springer-Verlag, 1989.

    Google Scholar 

  7. Decker, H. “An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases”, Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn (Germany), 1996.

    Google Scholar 

  8. Decker, M.; Moerkotte, G.; Müller, H.; Possega,J. “Consistency Driven Planning”, Proc. of the 5th Portuguese Conference on Artificial Intelligence, 195–209, Albufeira, Portugal, 1991.

    Google Scholar 

  9. Decker, H.; Teniente, E.; Urpf, T. “How to Tackle Schema Validation by View Updating”, Proc. of the EDBT'96, Avignon, France, 1996, pp. 535–549.

    Google Scholar 

  10. Jaffar, J.; Michaylov, S.; Stuckey, P.J.; Yap, R. “The CLP(R) Language and System”, ACM Transactions on Programming Languages and Systems, Vol. 14, No. 3, 1992, pp. 339–395.

    Article  Google Scholar 

  11. Jaffar, J.; Maher, M. “Constraint Logic Programming: A Survey”, Journal of Logic Programming, Vol. 19, No. 20, 1994, pp. 503–581.

    Article  Google Scholar 

  12. Kakas, A.; Mancarella, P. “Database Updates through Abduction”, Proc. of the 16 th VLDB Conference, Brisbane, Australia, 1990, pp. 650–661.

    Google Scholar 

  13. Kakas, A.; Michael, A. “Integrating Abductive and Constraint Logic Programming”, Proc. of the 12 th ICLP, Kanagawa, Japan, pp. 399–413.

    Google Scholar 

  14. Kemp, D.B.; Stuckey, P.J. “Optimizing Bottom-up Evaluation of Constraint Queries”, Journal of Logic Programming, Vol. 26, No. 1, 1996, pp. 1–30.

    Article  Google Scholar 

  15. Lloyd, J.W. Foundations on Logic Programming, 2nd edition, Springer, 1987.

    Google Scholar 

  16. Lloyd, J.W.; Topor, R.W. “Making Prolog More Expressive”, Journal of Logic Programming, 1984, No. 3, pp. 225–240.

    Google Scholar 

  17. Motro, A. “Using Integrity Constraints to Provide Intensional Answers to Relational Queries”, Proc. of the 15 th VLDB Amsterdam, 1989, pp. 237–246.

    Google Scholar 

  18. Olivé, A. “Integrity Checking in Deductive Databases”, Proc. of the 17 th VLDB Conference, Barcelona, Catalonia, 1991, pp. 513–523.

    Google Scholar 

  19. Stuckey, P.J. “Constructive Negation for Constraint Logic Programming”, Proc. of the 6 th IEEE Symposium on Logic in Computer Science, Amsterdam, 1991, pp. 328–339.

    Google Scholar 

  20. Stuckey, P.J. “Negation and Constraint Logic Programming”, Information and Computation, 118(1), 1995, pp. 12–33.

    Article  Google Scholar 

  21. Teniente, E.; Olivé. A. “Updating Knowledge Bases while Maintaining their Consistency”, The VLDB Journal, Vol. 4, Num. 2, 1995, pp. 193–241.

    Article  Google Scholar 

  22. Teniente, E., Urpi, T. “A Common Framework for Classifying and Specyfing Deductive Database Updating Problems”. Proc.ICDE'95, Taipei, pp. 173–183.

    Google Scholar 

  23. Ullman, J.D. Principles of Database and Knowledge-Base Systems, Computer Science Press, New York, 1988.

    Google Scholar 

  24. Urpí, T.; Olivé, A. “A Method for Change Computation in Deductive Databases”, Proc. of the 18th VLDB, Vancouver, 1992, pp. 225–237.

    Google Scholar 

  25. Wüthrich, B. “On Updates and Inconsistency Repairing in Deductive databases”, ICDE'93, Vienna, 1993, pp. 608–615.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. LSI, Universitat Politècnica de Catalunya, Jordi Girona Salgado, 1-3, E-08034, Barcelona, Catalonia

    Dolors Costal, Ernest Teniente & Toni Urpí

Authors
  1. Dolors Costal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ernest Teniente
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Toni Urpí
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

François Bry Raghu Ramakrishnan Kotagiri Ramamohanarao

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Costal, D., Teniente, E., Urpí, T. (1997). An approach to obtain intensional translations for consistent view updating. In: Bry, F., Ramakrishnan, R., Ramamohanarao, K. (eds) Deductive and Object-Oriented Databases. DOOD 1997. Lecture Notes in Computer Science, vol 1341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63792-3_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-63792-3_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63792-9

  • Online ISBN: 978-3-540-69647-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation