Abstract
This paper gives a very brief review of the role of logic for data and knowledge bases. In particular, a logical view of databases is first given, and the virtues of such a view are pointed out. Next, the field of inferencing is briefly surveyed. Finally, various ways of combining the techniques from databases and from inferencing are sketched
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bibel, W., Automated Theorem Proving, Vieweg, Braunschweig, 1982, Second revised edition, 1987.
Bibel, W., “A Brief Survey of Inference Techniques”, Workshop on Knowledge Base Management Systems, Xania, June 1985.
Bibel, W., “Automated Inferencing”, Journal of Symbolic Computation Vol. 1, No. 3, September 1985, pp. 245–260.
Bibel, W., and P. Jorrand, Fundamentals in Artificial Intelligence, Lecture Notes in Computer Science, Vol. 232, Springer-Verlag, Berlin, Heidelberg, 1986.
Bibel, W., R. Letz, and J. Schumann, “Bottom-Up Enhancements of Deductive Systems”, in E. Planter (ed.), Artificial Intelligence and Robot Control Systems, North-Holland, Amsterdam, 1987.
Bocca, J., “On the Evaluation Strategy of EDUCE”, in Proc. 1986 ACM SIGMOD International Conference on the Management of Data, Washington, DC, May 1986.
Bocca, J., “EDUCE—a Marriage of Convenience: PROLOG and a Relational DBMS”, Proc. 3rd Symposium on Logic Programming, Salt Lake City, September 1986.
Bancilhon, F., and R. Ramakrishnan, “An Amateur’s Introduction to Recursive Query Processing Strategies”, Proc. ACM 1986 SIGMOD International Conference on Management of Data, Washington, DC, May 1986, pp. 16–52.
Eder, E., “An Implementation of a Theorem Prover Based on the Connection Method”, in W. Bibel and B. Petkoff (eds.), AIMSA 1984, North-Holland, Amsterdam, 1985, pp. 121–128.
Gallaire, H., J. Minker, and J.-M. Nicolas, “Logic and Databases: A Deductive Approach”, ACM Computing Surveys, Vol. 16, No. 2, June 1984, pp. 153–185.
Loveland, D., “Automated Theorem Proving: A Quarter-Century Review”, Contemporary Mathematics, Vol. 29,1984, pp. 1–45.
Makowsky, J.A., “Model Theoretical Issues in Theoretical Computer Science, Part 1: Relational Databases and Abstract Data Types”, Logic Colloquium 1982, Elsevier Science Publisher, North-Holland, Amsterdam, 1984.
Nicolas, J.-M., “Logic and Databases: A Brief Survey”, Workshop on Knowledge Base Management Systems, Xania, June 1985.
Reiter, R., “Towards a Logical Reconstruction of Relational Database Theory”, in [BMS84], pp. 191–234.
Vieille, L., “Recursive Axioms in Deductive Databases: The Query-Subquery Approach” in [KERS87], pp. 253–268.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bibel, W., Nicolas, JM. (1989). The Role of Logic for Data and Knowledge Bases: A Brief Survey. In: Schmidt, J.W., Thanos, C. (eds) Foundations of Knowledge Base Management. Topics in Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83397-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-83397-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-83399-1
Online ISBN: 978-3-642-83397-7
eBook Packages: Springer Book Archive