Skip to main content

Two-level grammar: A functional/logic query language for database and knowledge-base systems

  • Session 4: Data Bases and Knowledge Bases
  • Conference paper
  • First Online:
Logic Programming and Automated Reasoning (LPAR 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 624))

  • 132 Accesses

Abstract

The Two-Level Grammar specification language is used as a foundation for constructing queries to database and knowledge-base systems. TLG offers a natural language interface with the added advantages of functional and logic programming languages, specifically the capabilities of 1) processing SQL-like queries in the relational model, 2) constructing complex objects of well-defined type and defining queries over those objects, and 3) formulation of deductive database rules.

Part of this research was carried out while this author was a Visiting Scientist at the IBM Palo Alto Scientific Center, Palo Alto, California, U. S. A.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bancilhon, F., Buneman, P., eds.: Advances in database programming languages. New York: ACM Press, 1990

    Google Scholar 

  2. Bryant, B. R., Pan, A.: Formal specification of software systems using Two-Level Grammar. Proc. COMPSAC '91, 15th Int. Computer Software and Applications Conf., 1991, pp. 155–160.

    Google Scholar 

  3. Buneman, P.: Functional programming and databases. in Research topics in functional programming, ed. D. A. Turner. Reading, MA: Addison-Wesley, 1990

    Google Scholar 

  4. DeGroot, D., Lindstrom, G.: Logic programming: Functions, relations, and equations. Englewood Cliffs, NJ: Prentice-Hall, 1986

    Google Scholar 

  5. Edupuganty, B., Bryant, B. R.: Two-Level Grammar as a functional programming language. Comput. J. 32 (1989) 36–44

    Google Scholar 

  6. Kim, W., Lochovsky, F. H., eds.: Object-oriented concepts, databases, and applications. New York: ACM Press, 1989

    Google Scholar 

  7. Milner, R., Tofte, M., Harper, R.: The definition of Standard ML. Cambridge, MA: MIT Press, 1990

    Google Scholar 

  8. Minker, J., ed.: Foundations of deductive databases and logic programming. Los Altos, CA: Morgan Kaufmann, 1988

    Google Scholar 

  9. Pan, A., Bryant, B. R.: Logic programming implementation of functional programming languages. Proc. TENCON '89, 4th IEEE 10th Region Int. Conf., 1989, pp. 174–178.

    Google Scholar 

  10. Pan, A., Bryant, B. R.: A natural language database front-end based on Two-Level Grammar. Proc. Int. Conf. for Young Computer Scientists, 1991, pp. 490–494.

    Google Scholar 

  11. Ullman, J. D.: Principles of database and knowledge-base systems, Rockville, MD: Computer Science Press, 1988

    Google Scholar 

  12. Vardi, M. Y.: The universal relation data model for logical independence, IEEE Software (1988) 80–85.

    Google Scholar 

  13. van Wijngaarden, A.: Revised report on the algorithmic language ALGOL 68. Acta Inform. 5 (1974) 1–236

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bryant, B.R., Pan, A. (1992). Two-level grammar: A functional/logic query language for database and knowledge-base systems. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013050

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55727-2

  • Online ISBN: 978-3-540-47279-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics