Abstract
In this introductory chapter we provide both an overview of mathematical logic and relational data base concepts that serve as background for the book, as well as an introduction to the major ideas discussed in the individual chapters. The first section of this paper is devoted to a description of first order logic, while the second describes the relational data base model. The next sections summarize the five major units of chapters.
The theme of this collection is that mathematical logic provides a conceptual framework for data base systems. The first unit demonstrates this, showing explicitly how data base concepts can be analyzed in terms of formal logic, and provides a characterization of the hypothetical worlds on which data base systems work. The second analyzes knowledge representation and how it relates to the process of deduction; alternate approaches are described and their advantages and limitations are noted. The third considers how logic may be used to express constraints on a data base and to maintain data base integrity. A similar approach proves useful in dealing with the fourth topic — meaning assigned to answers when negative questions are posed. The last demonstrates how logic provides a unifying framework for query language.
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
Beeri, C., Fagin, R. and Howard, H. J. [1977] A Complete Axiomatization for Functional and Multivalued Dependencies in Data Base Relations, Proceedings of ACM SIGMOD Conference, Toronto, Canada, August 1977, 47–61,
Cadiou, J. M, [1976] On Semantic Issues in the Relational Model of Data, In Mathematical Foundations of Computer Science, (A. Mazurkiewiz, Ed.), Vol. 45, Springer-Verlag, 1976, 23–28.
Chamberlin, D.D., Boyce, R. F. [1974] SEQUEL: A Structured English Query Language, Proc. ACM SIGMOD Workshop on Data Description, Access and Control, May 1974, 249–264.
Chamberlin, D. D. [1976] Relational Data Base Management Systems, Computing Surveys 8 (1976), 43–663.
Chang, C. L. and Lee, R.C.T. [1973] Symbolic Logic and Mechanical Theorem Proving, Computer Science and Applied Mathematics, Series of Academic Press, Inc., New York, 1973.
Codd, E. F. [1970] A Relational Model of Data for Large Shared Data Banks, CACM 13, 6 (June 1970), 377–387.
Codd, E. F. [1972] Relational Completeness of Data Base Sublanguages, In Data Base Systems (R. Rustin, Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1972, 65–98.
Dahl, V. [1977] Some Experiences on Natural Language Question-Answering Systems, Proceedings of the Workshop on Logic and Data Bases, Toulouse, November 1977.
Date, C. J. [1977] An Introduction to Database Systems 2nd Ed., Addison-Wesley Publishing Co., Reading, Mass., 1977.
Deliyanni, A. and Kowalski, R. A. [1977] Logic and Semantic Networks, Department of Computing and Control Research Report, Imperial College, London, June 1977. Also Proceedings of the Workshop on Logic and Data Bases, Toulouse, November 1977.
Enderton, H. B. [1972] A Mathematical Introduction to Logic, Academic Press, New York, 1972.
Futo, I., Darvas, F., and Cholnoky, E. [1977] Practical Application of an AI Language, II, Proceedings of the Hungarian Conference on Computing, Budapest, 1977, 385–400.
Gödel, K. [1930] Die Vollständigkeit der Axiome des logischen Funktionenkalkiu, Monatshefte für Mathematik und Physik 37, (1930), 349–360.
Gödel, K. [1930] Also, The Completeness of the Axioms of the Functional Calculus of Logic, In From Frege to Gödel (J. van Heijenoort, Ed.), Harvard University Press, Cambridge, Mass., 1967, 582–591.
Goguen, J. G., Thatcher, C. W. and Wagner, E. G. [1976] An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, In Current Trends in Programming Methodology, Vol. 3, Data Structuring (R. Yeh, Ed.), Prentice Hall, Englewood Cliffs, N.J., 1976.
Kowalski, R. A. [1974] Logic for Problem Solving, Memo No. 75, Department of Computational Logic, University of Edinburgh, Edinburgh, 1974.
Kowalski, R. A. and van Emden, M. [1976] The Semantics of Predicate Logic as a Programming Language, JACM 23 (October 1976), 733–742,
Levien, R, and Maron, M. E. [1967] A Computer System for Inference Execution and Data Retrieval, CACM 10, 11 (Nov. 1967), 715–721.
McSkimin, J. R. [1976] “The Use of Semantic Information in Deductive Question-Answering Systems,” Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1976.
McSkimin, J. R. and Minker, J. [1977] The use of a Semantic Network on a Deductive Question-Answering System, Proceedings IJCAI-77, Cambridge, Mass., 1977, 50–58.
McSkimin, J. R. and Minker, J. [1978] A Predicate Calculus Based Semantic Network for Question-Answering Systems, In Associative Networks — The Representation and Use of Knowledge in Computers (N. Findler, Ed.), Academic Press, New York, in press.
Mendelson, E. [1964] Introduction to Mathematical Logic, Van Nostrand, New York, 1964.
Minsky, M. [1975] A Framework for Representing Knowledge, In The Psychology of Computer Vision (P. Winston, Ed.), McGraw-Hill, New York, 1975, 211–280.
Quillian, M. R. [1968] Semantic Memory, In Semantic Information Processing (M. Minsky, Ed.), M.I.T. Press, Cambridge, Mass., 1968, 216–270.
Reiter, R. [1977] An Approach to Deductive Question-Answering, BBN Report No. 3649, Bolt, Beranek and Newman, Inc., Cambridge, Mass., Sept. 1977.
Robinson, J. A. [1965] A Machine Oriented Logic Based on the Resolution Principle, JACM 12 (Jan. 1965), 25–41.
Roussel, P. [1975] PROLOG: Manuel de Reference et d’Utilisation, Groupe d’Intelligence Artificielle, U.E.R., de Luminy, Universite d’Aix-Marseille, Sept. 1975.
Tsichritzis, D. C. and Lochovsky, F. H. [1977] Data Base Managementsystems, Academic Press, New York, 1977.
Warren, D. [1977] Implementing PROLOG — Compiling Predicate Logic Programs, Dept. of AI, No. 39, Edinburgh, 1977.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1978 Plenum Press, New York
About this chapter
Cite this chapter
Gallaire, H., Minker, J., Nicolas, J.M. (1978). An Overview and Introduction to Logic and Data Bases. In: Gallaire, H., Minker, J. (eds) Logic and Data Bases. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-3384-5_1
Download citation
DOI: https://doi.org/10.1007/978-1-4684-3384-5_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4684-3386-9
Online ISBN: 978-1-4684-3384-5
eBook Packages: Springer Book Archive