Publications of Val Tannen

2008

• Annotated XML: Queries and Provenance [.pdf] 
  Proceedings of ACM Symposium on Principles of Database Systems (PODS) (2008)
  J. Nathan Foster   Todd J. Green   Val Tannen   
  

2007

• Update Exchange with Mappings and Provenance [.pdf] 
  International Conference on Very Large Databases (VLDB) (2007)
  Todd J. Green   Grigoris Karvounarakis   Zachary Ives   Val Tannen   
  


• Update Exchange with Mappings and Provenance [.pdf] 
  Technical Report MS-CIS-07-26 (2007)
  Todd J. Green   Grigoris Karvounarakis   Zachary Ives   Val Tannen   
  


• Orchestra: Facilitating Collaborative Data Sharing [.pdf] 
  Proceedings of ACM SIGMOD International Conference on Management of Data (demo) (2007)
  Todd J. Green   Grigoris Karvounarakis   Nicholas Taylor   Olivier Biton   Zachary Ives   Val Tannen   
  


• Provenance Semirings [.pdf] 
  Proceedings of ACM Symposium on Principles of Database Systems (PODS) (2007)
  Todd J. Green   Grigoris Karvounarakis   Val Tannen   
  

2006

• SHARQ Guide: Finding relevant biological data and queries in a peer data management system [.pdf] 
  DILS'06, Data Integration for the Life Sciences, Poster proceedings (Selected for oral presentation). (2006)
  Sarah Cohen Boulakia   Olivier Biton   Shirley Cohen   Zachary Ives   Val Tannen   Susan Davidson   
  


• Materialization and update translation for collaborative data sharing
  In progress (2006)
  Todd J. Green   Zachary Ives   Grigoris Karvounarakis   Val Tannen   
  


• Models for Incomplete and Probabilistic Information [.pdf] 
  International Workshop on Incompleteness and Inconsistency in Databases (IIDB) (2006)
  Todd J. Green   Val Tannen   
  


• Models for Incomplete and Probabilistic Information [.ps] 
  IEEE Data Engineering Bulletin (2006)
  Todd J. Green   Val Tannen   
  

2005

• XML queries and constraints, containment and reformulation [.pdf] 
  (2005)
  Alin Deutsch   Val Tannen   
  

2003

• 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   
  

2002

• Querying XML with Mixed and Redundant Storage [.pdf] 
  Technical Report MS-CIS-02-01 (2002)
  Alin Deutsch   Val Tannen   
  

2001

• Optimization Properties for Classes of Conjunctive Regular Path Queries [.pdf] 
  DBPL'01 (2001)
  Alin Deutsch   Val Tannen   
  


• Containment and Integrity Constraints for XPath Fragments [.pdf] 
  KRDB 2001 (2001)
  Alin Deutsch   Val Tannen   
  


• Containment for Classes of XPath Expressions Under Integrity Constraints [abstract] 
  Technical Report MS-CIS-01-21 (2001)
  Alin Deutsch   Val Tannen   
  


• Chase & Backchase: A Method for Query Optimization with Materialized Views and Integrity Constraints [.pdf] 
  Technical Report MS-CIS-01-16 (2001)
  Alin Deutsch   Lucian Popa   Val Tannen   
  


• ubQL, a Language for Programming Distributed Query Systems [abstract] [.ps] [.pdf] 
  webDB (2001)
  Arnaud Sahuguet   Val Tannen   
  


• Resource Sharing Through Query Process Migration [.pdf] 
  Technical Report MS-CIS-01-10 (2001)
  Arnaud Sahuguet   Val Tannen   
  


• K2/Kleisli and GUS: Experiments in integrated access to genomic data sources [abstract] [.ps] [.pdf] 
  IBM Systems Journal, March 2001 (2001)
  Susan Davidson   Jonathan Crabtree   Brian Brunk   Jonathan Schug   Val Tannen   Chris Overton   Chris Stoeckert   
  

2000

• Chaining, Referral, Subscription, Leasing: New Mechanisms in Distributed Query Optimization [abstract] [.ps] [.pdf] 
  unpublished (2000)
  Arnaud Sahuguet   Benjamin Pierce   Val Tannen   
  


• Distributed Query Optimization: Can Mobile Agents Help? [.ps] [.pdf] 
  unpublished (2000)
  Arnaud Sahuguet   Benjamin Pierce   Val Tannen   
  


• A Chase Too Far? [.pdf] 
  Proceedings of ACM SIGMOD International Conference on Management of Data (2000)
  Lucian Popa   Alin Deutsch   Arnaud Sahuguet   Val Tannen   
  

1999

• Physical Data Independence, Constraints and Optimization with Universal Plans [abstract] [.ps] [.pdf] 
  International Conference on Very Large Databases (VLDB) (1999)
  Alin Deutsch   Lucian Popa   Val Tannen   
  


• A Chase Too Far? [.pdf] 
  Technical Report MS-CIS-99-28 (1999)
  Lucian Popa   Alin Deutsch   Arnaud Sahuguet   Val Tannen   
  


• Optimization for Physical Independence in Information Integration Components [abstract] [.ps] 
  Technical Report (1999)
  Alin Deutsch   Lucian Popa   Val Tannen   
  


• An Equational Chase for Path-Conjunctive Queries, Constraints, and Views [abstract] [.ps] [.pdf] 
  International Conference on Database Theory (ICDT) (1999)
  Lucian Popa   Val Tannen   
  


• HOLON/CADSE: Integrating Open Software Standards and Formal Methods to Generate Guideline-Based Decision Support Agents [abstract] [.pdf] 
  American Medical Informatics Association Symposium (1999)
  B.G. Silverman   A. Wong   L. Lang   A. Khoury   K. Campbell   Val Tannen   Arnaud Sahuguet   C. Qiang   
  

1998

• BioKleisli [.ps] 
  Bioinformatics, edited by S. Letovsky (Kluwer Academic Publishers) (1998)
  Peter Buneman   Jonathan Crabtree   Susan Davidson   Val Tannen   L. Wong   
  
  


• Chase and axioms for PC queries and dependencies [.ps] 
  Technical Report MS-CIS-98-34 (1998)
  Lucian Popa   Val Tannen   
  

1997

• 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   
  

1995

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

1994

• A Query Language for NC [abstract] 
  Proceedings of ACM Symposium on Principles of Database Systems (PODS) (1994)
  Dan Suciu   Val Tannen   
  


• Languages for Collection Types [abstract] [.ps] [slides/ps] 
  Tutorial, Proceedings of ACM Symposium on Principles of Database Systems (PODS) (1994)
  Val Tannen   
  

1992

• Naturally Embedded Query Languages [abstract] 
  International Conference on Database Theory (ICDT) (1992)
  Val Tannen   Peter Buneman   Limsoon Wong   
  

1991

• 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   
  

1989

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