Penn DB Group's logo
Publications of Val Tannen
Arrow; just used for page layout. People
Arrow, used for page layout Publications
Arrow, used for page layout Research
Arrow, used for page layout Classes
Arrow, used for page layout Seminar
Arrow, used for page layout Resources
Search this website

Publications of Val Tannen

ACM copyright notice:
Copyright (C) 20xx by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that new copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept., ACM, Inc., fax +1 (212) 869-0481, or

IEEE copyright notice:Copyright (C) 20xx IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.









  • XML queries and constraints, containment and reformulation [.pdf] 
    Theoretical Computer Science vol.336 (1), May 2005 (2005)
    Alin Deutsch   Val Tannen   


  • The ICS-FORTH SWIM: A Powerful Semantic Web Integration Middleware [.pdf] 
    First International Workshop on Semantic Web and Databases (SWDB) (2003)
    Vassilis Christophides   Grigoris Karvounarakis   Ioanna Koffina   Giorgos Kokkinidis   Aimilia Magkanaraki   Dimitris Plexousakis   Giorgos Serfiotis   Val Tannen   

  • The ICS-FORTH Semantic Web Integration Middleware (SWIM)
    IEEE Data Engineering Bulletin (2003)
    Vassilis Christophides   Grigoris Karvounarakis   Aimilia Magkanaraki   Dimitris Plexousakis   Val Tannen   

  • MARS: A System for Publishing XML from Mixed and Redundant Storage [.pdf] 
    International Conference on Very Large Databases (VLDB) (2003)
    Alin Deutsch   Val Tannen   

  • Reformulation of XML Queries and Constraints [.pdf] 
    International Conference on Database Theory (ICDT) (2003)
    Alin Deutsch   Val Tannen   







  • A Calculus for Collections and Aggregates [.ps] 
    LNCS 1290: Category Theory and Computer Science, Proceedings of the 7th Int'l Conference, CTCS'97 (1997)
    Kazem Lellahi   Val Tannen   

  • BioKleisli: A Digital Library for Biomedical Researchers [.ps] 
    Journal of Digital Libraries (1997)
    Susan Davidson   Chris Overton   Val Tannen   Limsoon Wong   


  • Principles of Programming with Collection Types
    Theoretical Computer Science (1995)
    Peter Buneman   Shamim Naqvi   Val Tannen   Limsoon Wong   




  • Logical and Computational Aspects of Programming with Sets/Bags/Lists [abstract] 
    LNCS 510: Proceedings of 18th International Colloquium on Automata, Languages, and Programming (1991)
    Val Tannen   R. Subrahmanyam   

  • Structural Recursion as a Query Language [abstract] 
    Proceedings of 3rd International Workshop on Database Programming Languages (1991)
    Val Tannen   Peter Buneman   S. Naqvi   


  • Database Programming in Machiavelli, a Polymorphic Language with Static Type Inference [abstract] 
    Proceedings of ACM SIGMOD International Conference on Management of Data (SIGMOD) (1989)
    Atsushi Ohori   Peter Buneman   Val Tannen   

Levine Hall
3330 Walnut Street
Philadelphia, PA 19104

Last update: 08/02/11     Comments