Type-Based XML Processing in Logic Programming | SpringerLink
Skip to main content
Springer Nature Link
Log in

Type-Based XML Processing in Logic Programming

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2003)

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

Included in the following conference series:

Abstract

In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a standard type inference algorithm for logic programs and use the types corresponding to the DTDs as additional type declarations for logic programs for XML processing. Due to the correctness of the type inference this makes it possible to use logic programs as an implicitly typed processing language for XML with static type (in this case DTDs) validation. As far as we know this is the first work adding type validation at compile time to the use of logic programming for XML processing.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • 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.

Similar content being viewed by others

References

  1. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, and Victor Vianu. XML with data values: Typechecking revisited. In PODS, 2001.

    Google Scholar 

  2. H. Boley. Relationships between logic programming and XML. In Proc. 14th Workshop Logische Programmierung, 2000.

    Google Scholar 

  3. Fran ois Bry and Norbert Eisinger. Data modeling with markup languages: A logic programming perspective. In 15th Workshop on Logic Programming and Constraint Systems, WLP 2000, Berlin, 2000.

    Google Scholar 

  4. Fran ois Bry and Sebastian Schaffert. Towards a declarative query and transformation language for XML and semistructured data: simulation unification. In Proc. of the 2002 International Conference on Logic Programming, 2002.

    Google Scholar 

  5. D. Cabeza and M. Hermenegildo. Distributed WWW Programming using Ciao-Prolog and the PiLLoW Library. Theory and Practice of Logic Programming, 1(3):251–282, May 2001.

    Article  Google Scholar 

  6. P. Dart and J. Zobel. A regular type language for logic programs. In Frank Pfenning, editor, Types in Logic Programming. The MIT Press, 1992.

    Google Scholar 

  7. M. Florido and L. Damas. Types as theories. In Proc. of post-conference workshop on Proofs and Types, Joint International Conference and Symposium on Logic Programming, 1992.

    Google Scholar 

  8. J.P. Gallagher and D.A. de Waal. Fast and precise regular approximation of logic programs. In Proceedings of the Eleventh International Conference on Logic Programming, 1993.

    Google Scholar 

  9. Haruo Hosoya and Benjamin Pierce. Xduce: A typed XML processing language. In Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, 2000.

    Google Scholar 

  10. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, {esecond edition}, 1987.

    Google Scholar 

  11. Lunjin Lu. On Dart-Zobel algorithm for testing regular type inclusion. In SIGPLAN Notices Volume 36, 2001.

    Google Scholar 

  12. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In ACM Symposium on Principles of Database Systems, 2000.

    Google Scholar 

  13. P. Mishra. Towards a theory of types in Prolog. In Proc. of the 1984 International Symposium on Logic Programming, 1984.

    Google Scholar 

  14. Leon Sterling and Ehud Shapiro. The Art of Prolog, 2nd edition. The MIT Press, 1994.

    Google Scholar 

  15. Dan Suciu. Typechecking for semistructured data. In International Workshop on Database Programming, 2001.

    Google Scholar 

  16. J.W. Thatcher. Tree automata: An informal survey. Prentice-Hall, 1973.

    Google Scholar 

  17. Malcom Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? In International Conference on Functional Programming, 1999.

    Google Scholar 

  18. E. Yardeni and E. Shapiro. A type system for logic programs. In The Journal of Logic Programming, 1990.

    Google Scholar 

  19. Justin Zobel. Derivation of polymorphic types for prolog programs. In Proc. of the 1987 International Conference on Logic Programming, pages 817–838, 1987.

    Google Scholar 

  20. Justin Zobel. Analysis of Logic Programs. PhD thesis, Department of Computer Science, University of Melbourne, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto Superior de Engenharia do Porto, Porto, Portugal

    Jorge Coelho

  2. DCC-FC & LIACC, University of Porto, Porto, Portugal

    Mário Florido

Authors
  1. Jorge Coelho
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mário Florido
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department Logic and Functional Programming Group, Simon Fraser University, 8888 University Drive, V5A 1S6, Burnaby B.C., Canada

    Veronica Dahl

  2. Avaya Labs, 233 Mount Airy Road, Basking Ridge, 07920, NJ, USA

    Philip Wadler

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Coelho, J., Florido, M. (2003). Type-Based XML Processing in Logic Programming. In: Dahl, V., Wadler, P. (eds) Practical Aspects of Declarative Languages. PADL 2003. Lecture Notes in Computer Science, vol 2562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36388-2_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-36388-2_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-36388-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation