Skip to main content

Query languages which express all PTIME queries for trees and unicyclic graphs

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1990 (MFCS 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 452))

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. A.V.Aho, J.E.Hopcroft and J.D.Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, 1974.

    Google Scholar 

  2. A.V.Aho and J.D.Ullman, Universality of Data Retrieval Languages, Proc of 6th ACM POPL, 1979.

    Google Scholar 

  3. A.K. Chandra and D. Harel, Structure and Complexity of Relational Queries, JCSS, 25 (1), 1982.

    Google Scholar 

  4. Jin-yi Cai and N.Immerman, An Optimal Lower Bound on the Number of Variables for Graph Identification, Tech. Report, Dept. of Computer Science, Yale University, 1988.

    Google Scholar 

  5. P.Dublish, Optimization and Expressibility of Relational Queries, Ph.D. Thesis, Dept of Computer Science & Engg., IIT Delhi, 1988.

    Google Scholar 

  6. P.Dublish and S.N.Maheshwari, Query Languages which Express all PTIME Queries for Trees, Technical Report 2/89, Institut für Informatik, Universität Hildesheim, 1989.

    Google Scholar 

  7. H.Enderton, A Mathematical Introduction to Logic, Academic Press, 1972.

    Google Scholar 

  8. Y.Gurevich and S.Shelah, Fixed-Point Extensions of First-Order Logic, Proc. of 26th IEEE FOCS, 1985.

    Google Scholar 

  9. N.Immerman, Relational Queries Computable in Polynomial Time, Information and Control, 68, 1986.

    Google Scholar 

  10. S.Lindell, The Logical Complexity of Queries on Unordered Graphs, Ph.D. Thesis, Dept. of Computer Science, UCLA, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Branislav Rovan

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dublish, P., Maheshwari, S.N. (1990). Query languages which express all PTIME queries for trees and unicyclic graphs. In: Rovan, B. (eds) Mathematical Foundations of Computer Science 1990. MFCS 1990. Lecture Notes in Computer Science, vol 452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029615

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52953-8

  • Online ISBN: 978-3-540-47185-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics