Skip to main content
SpringerLink
Log in

Database updating revisited

  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1993)

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

Included in the following conference series:

Abstract

We address the issue of updating derived data in universal relation interfaces and in deductive databases. The proposed approach consists in marking those facts whose deletions are desired, and in processing these marks so as to appropriately answer queries. The database semantics is given in a general framework by fixpoint construction of three derivation operators computing exceptions, positive and negative facts.

The presented approach is applied to two different database formalisms using derived facts, namely, universal relation and Datalogneg databases.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul: Updates, a New Frontier. ICDT, Intl. Conf., LNCS, Springer-Verlag, 1988.

    Google Scholar 

  2. P. Atzeni, R. Torlone: Updating Databases in the Weak Instance Model. ACM SIGACT-SIGMOD-SIGART, Symp. on Principles of Database Systems, 1989.

    Google Scholar 

  3. P. Atzem, R. Torlone: Updating Intensional Predicates in Datalog. Data & Knowledge Engineering, 8, 1992.

    Google Scholar 

  4. F. Bancilhon, N. Spyratos “Update Semantics of Relational Views. ACM Transactions On Database Systems, 6(4), 1981.

    Google Scholar 

  5. N. Bidoit: Negation in Rule-Based Database Languages: a Survey. Theoretical Computer Science, 78, 1991.

    Google Scholar 

  6. V. Brosda, G. Vossen: Update and Retrieval in a Relational Database through a Universal Schema Interface. ACM Transactions On Database Systems, 13(4), 1988.

    Google Scholar 

  7. F. Bry: Intensional Updates; Aduction via Deduction. Intl. Symposium on Logic Programming, 1990.

    Google Scholar 

  8. S. Ceri, G. Gottlob, L. Tanca, Logic Programming and Databases. Surveys in Computer Science, Springer-Verlag, 1990.

    Google Scholar 

  9. K. Eshghi, R.A. Kowalski: Abduction Compared with Negation by Failure. Intl. Symposium on Logic Programming, 1989.

    Google Scholar 

  10. G. Grahne, A.O. Mendelzon, P.Z. Revesz: Knowledgebase Transformations. ACM SIGACT-SIGMOD-SIGART, Symp. on Principles of Database Systems, 1992.

    Google Scholar 

  11. C.S. Jensen, R.T. Snodgrass: Temporal Specialization. 8th IEEE ICDE, 1992.

    Google Scholar 

  12. D. Laurent, N. Spyratos: A Partition Approach to Updating Universal Scheme Interfaces. To appear in IEEE Transactions on Knowledge and Data Engineering, 1993.

    Google Scholar 

  13. D. Laurent, V. Phan Luong, N. Spyratos: Deleted Tuples are Useful when Updating through Universal Scheme Interfaces. 8th IEEE ICDE, 1992.

    Google Scholar 

  14. D. Laurent, V. Phan Luong, N. Spyratos: Updating Intensional Predicates in Deductive Databases. 9th IEEE ICDE, 1993.

    Google Scholar 

  15. D. Laurent, V. Phan Luong, N. Spyratos: Database Updating Revisited. Technical Report LIFO 93-4, 1993.

    Google Scholar 

  16. Ch. Lécluse, N. Spyratos: Implementing Queries and Updates on Universal Scheme Interfaces. VLDB Intl. Conf., 1988.

    Google Scholar 

  17. D. Maier, The Theory of Relational Databases. Computer Science Press, 1983.

    Google Scholar 

  18. R. Reiter: A Logic for Default Reasoning. Artificial Intelligence, 13, 1980.

    Google Scholar 

  19. R. Reiter: Towards a Logical Reconstruction of Relational Database Theory. in On Conceptual Modelling (M. L. Brodie, J. Mylopoulos, J. W. Schmidt), Springer-Verlag, 1984.

    Google Scholar 

  20. R. Reiter: On Formalizing Database Updates: Preliminary Report. EDBT Intl. Conf., 1992.

    Google Scholar 

  21. R. Torlone, P. Atzeni: Updating Deductive Databases with Functional Dependencies. DOOD Intl. Conf., LNCS 566, Springer-Verlag, 1991.

    Google Scholar 

  22. J.D. Ullman, Principles of Databases and Knowledge Base Systems. Vol. I–II, Computer Science Press, 1989.

    Google Scholar 

  23. A. Van Gelder, K.A. Ross, J.S. Schlipf: The Well-founded Semantics for General Logic Programs. J. of the ACM, 38(3), 1991.

    Google Scholar 

  24. M. Winslett: A Model-Based Approach to Updating Databases with Incomplete Information. ACM Transactions On Database Systems, 13(2), 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIFO, Université d'Orléans, F-45067, Orléans Cedex 2, France

    D. Laurent

  2. LRI, U.R.A. 410 du CNRS, Université de Paris-Sud, Bât. 490, F-91405, Orsay Cedex, France

    D. Laurent, V. Phan Luong & N. Spyratos

  3. Université de Provence, Place V. Hugo, F-13331, Cedex 3, France

    V. Phan Luong

Authors
  1. D. Laurent
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. Phan Luong
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. N. Spyratos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Stefano Ceri Katsumi Tanaka Shalom Tsur

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Laurent, D., Luong, V.P., Spyratos, N. (1993). Database updating revisited. In: Ceri, S., Tanaka, K., Tsur, S. (eds) Deductive and Object-Oriented Databases. DOOD 1993. Lecture Notes in Computer Science, vol 760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57530-8_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-57530-8_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57530-6

  • Online ISBN: 978-3-540-48212-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation