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
Preview
Unable to display preview. Download preview PDF.
References
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
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
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
Fagin, Ronald/Kuper, Gabriel M./Ullman, Jeffrey D/Vardi, Moshe Y. (1986): Updating Logical Databases. Advances in Computing Research, vol. 3, pp. 1–18
Harding, Sandra G. (Ed.) (1976): Can theories be refuted? Essays on the Duhem-Quine Thesis. Dordrecht/Boston
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
Löwen, Ulrich (1988): Optimierung von logischen Formeln im Hinblick auf Herleitungsfragen. Dissertation, Universität—Gesamthochschule—Duisburg
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
Schätz, Rüdiger (1988): Formalizing Falsification: Three Delete Operations. Schriftenreihe des Fachbereichs Mathematik, no. 138, Universität—Gesamthochschule—Duisburg
Weber, A. (1986): Updating propositional formulas. In: Proc. of the 1st Int. Conf. on Expert Database Syst. Charleston, pp. 373–386
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
Author information
Authors and Affiliations
Editor information
Rights 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