Skip to main content
SpringerLink
Log in

DEDUCE 2: Further Investigations of Deduction in Relational Data Bases

  • Chapter
Logic and Data Bases

Abstract

DEDUCE is a deductive query language proposed for relational data bases. This language allows one to state queries, axioms, integrity constraints, preferences, and heuristics. In this paper, we shall give a new syntax of DEDUCE for uniformly handling queries having existential, universal or numerical quantifiers. Axioms are used to define virtual relations. A user can make a query against virtual relations and original base relations. The query is evaluated in two steps: First, use axioms to transform the query into a query containing only base relations. Second, check if the transformed query can be answered from the front-end intensional information, such as integrity constraints, within a prespecified time limit. If it can, output the answer. Otherwise, evaluate the transformed query by using a data base system such as System R. In this paper, we shall use the rewriting rule approach to transform the query. In addition, an optimization problem about access methods for efficient deductions in a relational data base will be discussed.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Astrahan, M. M., Blasgen, M. W., Chamberlin, D. C., Eswaran, K. P., Gray, J. N., Griffiths, P. P., King, W. F., Lorie, R. A., McJones, P. R., Mehl, J. W., Putzolu, G. R., Traiger, I. L., Wade, B. W., and Watson, V. [1976] System R: Relational Approach to Database Management, ACM Transactions on Database Systems1, 2 (June 1976), 97–137.

    Article  Google Scholar 

  2. Bernstein, P. A. [1976] Synthesizing Third Normal Form Relations from Functional Dependencies, ACM Transactions on Database Systems1, 4 (Dec. 1976), 277–298.

    Article  Google Scholar 

  3. Boyce, R. F., Chamberlin, D. D., King, W. F., Ill, and Hammer, M. M. [1975] Specifying Queries.as Relational Expressions: SQUARE, CACM IS, 11 (November 1975), 621–628.

    Google Scholar 

  4. Chamberlin, D. D., and Boyce, R. F. [1974] SEQUEL: A Structured English Query Language, Proceedings of the 1974 ACM-SIGFIDET Workshop on Data Description, Access and Control, ACM, New York, 1974.

    Google Scholar 

  5. Chang, C. L. [1976] DEDUCE — A Deductive Query Language for Relational Data Bases, In Pattern Recognition and Artificial Intelligence (C. H. Chen, Ed.), Academic Press, Inc., New York, 1976, 108–134.

    Google Scholar 

  6. Chang, C. L. [1978] An Opitmization Problem in Relational Data Bases, IBM Research Report RJ2287, San Jose, Calif., 1978.

    Google Scholar 

  7. Chang, C. L. and Lee, R. C. T. [1973] Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, N. Y., 1973.

    MATH  Google Scholar 

  8. Chang, C. L. and Slagle, J. R. [1977] Using Rewriting Rules for Connection Graphs to Prove Theorems, IBM Research Report RJ 2117, San Jose, Calif., 1977.

    Google Scholar 

  9. Clark, K. L. [1978] Negation as Failure, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 293–322.

    Google Scholar 

  10. Codd, E. F. [1970] A Relational Model for Large Shared Data Banks, CACM13, 6 (June 1970), 377–387.

    MATH  Google Scholar 

  11. Codd, E. F. [1971a] Further Normalization of the Data Base Relational Model, In Data Base Systems, Courant Computer Science Symposia Series, Vol. 6 (R. Rustin, Ed.), Prentice-Hall, 1971, 33–64.

    Google Scholar 

  12. Codd, E. F. [1971b] A Data Base Sublanguage founded on the Relational Calculus, Proceedings of 1971 ACM-SIGFIDET Workshop on Data Description, Access, and Control, ACM, New York, 1971.

    Google Scholar 

  13. Codd, E. F. [1974] Seven Steps to RENDEZVOUS with the Casual User, Proceedings IF IP Working Conference on Data Base Management, North-Holland Publishing Co., Amsterdam, 1974, 179–200.

    Google Scholar 

  14. Codd, E. F., Arnold, R. S., Cadiou, J-M., Chang, C. L. and Roussopoulos, N. [1978] RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Relational Data Bases, IBM Research Report RJ2144, San Jose, Calif., 1978.

    Google Scholar 

  15. Delobel, C., and Casey, R. G. [1972] Decomposition of a Data Base and the Theory of Boolean Switching Functions, IBM J. of Research and Development17, 5 (Sept. 1972), 370–386.

    Google Scholar 

  16. Fagin, R. [1976a] Relational Data Base Decomposition and Propositional Logic, IBM Research Report RJ1776, San Jose, Calif., 1976.

    Google Scholar 

  17. Fagin, R. [1976b] Multivalued Dependencies and a New Normal Form for Relational Databases, IBM Research Report RJ1812, San Jose, Calif., 1976.

    Google Scholar 

  18. Gotlieb, L. R. [1975] Computing Joins of Relations, Proc. of the ACM International Conference on Management of Data, San Jose, Calif., 1975, 55–63.

    Google Scholar 

  19. Kellogg, C., Klahr, P. and Travis, L. [1978] Deductive Planning and Pathfinding for Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 179–200.

    Google Scholar 

  20. Klahr, P. [1977] Planning Techniques for Rule Selection in Deductive Question-Answering, In Pattern-Directed Inference Systems (D. Waterman and F. Hayes-Roth, Eds.), Academic Press, New York, 1977.

    Google Scholar 

  21. Kowalski, R. [1975] A Proof Procedure Using Connection Graphs, JACM22, 4 (October 1975), 572–595.

    Google Scholar 

  22. Lacroix, M., and Pirotte, A. [1977] Domain-Oriented Relational Languages, Proceedings of Third International Conference on Very Large Data Bases, Tokyo, Japan, Oct. 6–8, 1977, 370–378.

    Google Scholar 

  23. Lee, R. C. T. [1972] Fuzzy Logic and the Resolution Principle, JACM19, (1972), 109–119.

    Article  MATH  Google Scholar 

  24. 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 (N. Findler, Ed.), Academic Press, New York, 1978.

    Google Scholar 

  25. Minker, J. [1975a] Performing Inferences over Relational Data Bases, Proa, of 1975 ACM-SIGMOD International Conference on Management of Data,1975, 79–91.

    Article  Google Scholar 

  26. Minker, J. [1975b] Set Operations and Inferences Over Relational Data Bases, Invited Paper, Proc. 4th Texas Conf. on Computing Systems, Nov. 1975. Also Univ. of Md. Technical Report TR-427, December 1975.

    Google Scholar 

  27. Minker, J. [1978] An Experimental Relational Data Base System Based on Logic, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 107–147.

    Google Scholar 

  28. Nicolas, J. M., and Demolombe, R. [1977] A Short Note on the Use of First Order Logic in the Formalization of Functional and Multivalued Dependencies, ONERA-CERT, Toulouse, France, 1977.

    Google Scholar 

  29. Nicolas, J. M. and Gallaire, H. [1978] Data Bases: Theory vs. Interpretation, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 33–54.

    Google Scholar 

  30. Nicolas, J. M. and Yazdanian, K. [1978] Integrity Checking in Deductive Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 325–344.

    Google Scholar 

  31. Pirotte, A. [1978] High Level Data Base Query Languages, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 409–436.

    Google Scholar 

  32. Reiter, R. [1978a] On Closed World Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 55–76.

    Google Scholar 

  33. Reiter, R. [1978b] Deductive Question-Answering on Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 149–177.

    Google Scholar 

  34. Rissanen, J. [1977] Independent Components of Relations, IBM Research Report RJ1899, IBM, San Jose, Calif. 1977.

    Google Scholar 

  35. Sickel, S. [1977] Formal Grammars as Models of Logic Derivations, Proceedings of IJCAI-77, 1911, 544–551.

    Google Scholar 

  36. Slagle, J. R., Chang, C. L., and Lee, R.C.T. [1970] A New Algorithm for Generating Prime Implicants, IEEE Trans. Computers C-19, 4 (April 1970), 304–310.

    Article  MathSciNet  Google Scholar 

  37. Zadeh, L. A. [1965] Fuzzy Sets, Information and Control 8. 1965, 338–353.

    Article  MathSciNet  MATH  Google Scholar 

  38. Zadeh, L. A. [1974] Fuzzy Logic and Approximate Reasoning, Memo No. ERL-M479, Electronics Research Laboratory, Univ. of Calif., Berkeley, November 1974.

    Google Scholar 

  39. Zadeh, L. A. [1977] PRUF — A Meaning Representation Language for Natural Language, Electronics Research Laboratory, Univ. of Calif., Berkeley, 1977.

    Google Scholar 

  40. Zloof, M. M. [1975] Query by Example, Proceedings of the National Computer Conference, Vol. 45, Anaheim, Calif., May, 1975, 431–438.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Research Laboratory, San Jose, California, USA

    C. L. Chang

Authors
  1. C. L. Chang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre d’Etudes et de Recherches de Toulouse, Toulouse, France

    Hervé Gallaire

  2. University of Maryland, College Park, Maryland, USA

    Jack Minker

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Plenum Press, New York

About this chapter

Cite this chapter

Chang, C.L. (1978). DEDUCE 2: Further Investigations of Deduction in Relational 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_8

Download citation

  • DOI: https://doi.org/10.1007/978-1-4684-3384-5_8

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4684-3386-9

  • Online ISBN: 978-1-4684-3384-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation