Skip to main content
SpringerLink
Log in

Delete operations and Horn formulas

  • Conference paper
  • First Online:
Book cover CSL '88 (CSL 1988)

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

Included in the following conference series:

Abstract

We study three delete operations, based on different heuristics. These operations are increasingly complex. In view of implementations and practical applications, we are especially interested in their behaviour concerning propositional definite Horn formulas.

This work was sponsored by the Deutsche Forschungsgemeinschaft

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. Alchourrón, Carlos E./Makinson, David (1982): Hierarchies of regulations and their logic. In: Hilpinen, R. (ed.): New studies in deontic logic. Dordrecht, pp. 125–148

    Google Scholar 

  2. Duhem, Pierre (1906): La Théorie Physique: Son Objet et Sa Structure. Paris. Translated by Wiener, Philip (1954) as: The Aim and Structure of Physical Theory. Princeton

    Google Scholar 

  3. Fagin, Ronald/Ullman, Jeffrey D./Vardi, Moshe Y. (1983): On the semantics of updates in databases. In: Proc. 2nd ACM Symp. on Princ. of Database Syst., pp. 352–365

    Google Scholar 

  4. Fagin, Ronald/Kuper, Gabriel M./Ullman, Jeffrey D/Vardi, Moshe Y. (1986): Updating Logical Databases. Advances in Computing Research, vol. 3, pp. 1–18

    Google Scholar 

  5. Harding, Sandra G. (Ed.) (1976): Can theories be refuted? Essays on the Duhem-Quine Thesis. Dordrecht/Boston

    Google Scholar 

  6. Kleine Büning, Hans/Lettmann, Theodor (1987): Representation Independent Query and Update Operations on Propositional Definite Horn Formulas. In: Börger, Egon (Ed.): Computation Theory and Logic. Berlin et al., pp. 208–223

    Google Scholar 

  7. Löwen, Ulrich (1988): Optimierung von logischen Formeln im Hinblick auf Herleitungsfragen. Dissertation, Universität—Gesamthochschule—Duisburg

    Google Scholar 

  8. Popper, Karl R. (1935): Logik der Forschung. Wien. Translated as: The Logic of Scientific Discovery. New York 1959/Tenth impression (revised) London et al. 1980

    Google Scholar 

  9. Schätz, Rüdiger (1988): Formalizing Falsification: Three Delete Operations. Schriftenreihe des Fachbereichs Mathematik, no. 138, Universität—Gesamthochschule—Duisburg

    Google Scholar 

  10. Weber, A. (1986): Updating propositional formulas. In: Proc. of the 1st Int. Conf. on Expert Database Syst. Charleston, pp. 373–386

    Google Scholar 

  11. Winslett, Marianne (1988): A Model-based Approach to Updating Databases with Incomplete Information. ACM Transactions on Database Systems, vol. 13, no. 2, pp. 167–196

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FB 11 — Praktische Informatik, Universität — GH — Duisburg, Postfach 10 16 29, D-4100, Duisburg 1, West-Germany

    Rüdiger Schätz

Authors
  1. Rüdiger Schätz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Hans Kleine Büning Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schätz, R. (1989). Delete operations and Horn formulas. In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '88. CSL 1988. Lecture Notes in Computer Science, vol 385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026311

Download citation

  • DOI: https://doi.org/10.1007/BFb0026311

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51659-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation