Val Tannen

According to our database, Val Tannen authored at least 116 papers between 1981 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Evaluating Datalog over Semirings: A Grounding-based Approach.

Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen

CoRR, 2024

2023

DBSP: Automatic Incremental View Maintenance for Rich Query Languages.

Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen

Proc. VLDB Endow., 2023

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations.

Zilu Tian, Peter Lindner, Markus Nissl, Christoph Koch, Val Tannen

Proc. ACM Manag. Data, 2023

Syntax Monads for the Working Formal Metatheorist.

Lawrence Dunn, Val Tannen, Steve Zdancewic

CoRR, 2023

Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure.

Lawrence Dunn, Val Tannen, Steve Zdancewic

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Iterating on multiple collections in synchrony.

Stefano Perna, Val Tannen, Limsoon Wong

J. Funct. Program., 2022

Provenance-based Model Maintenance: Implications for Privacy.

Yinjun Wu, Val Tannen, Susan B. Davidson

IEEE Data Eng. Bull., 2022

DBSP: Automatic Incremental View Maintenance for Rich Query Languages.

Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen

CoRR, 2022

2021

Synchronization Schemas.

Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Semiring Provenance for Fixed-Point Logic.

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models.

Yinjun Wu, Val Tannen, Susan B. Davidson

Proceedings of the 2020 International Conference on Management of Data, 2020

2019

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic.

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

CoRR, 2019

Provenance Analysis for Logic and Games.

Erich Grädel, Val Tannen

CoRR, 2019

Data-trace types for distributed stream processing systems.

Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Relational Calculus.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Relational Algebra.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

First-Order Logic: Syntax.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

First-Order Logic: Semantics.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Conjunctive Query.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Provenance Analysis for Missing Answers and Integrity Repairs.

Jane Xu, Waley Zhang, Abdussalam Alawini, Val Tannen

IEEE Data Eng. Bull., 2018

Data Citation: A New Provenance Challenge.

Abdussalam Alawini, Susan B. Davidson, Gianmaria Silvello, Val Tannen, Yinjun Wu

IEEE Data Eng. Bull., 2018

Interfaces for Stream Processing Systems.

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen

Proceedings of the Principles of Modeling, 2018

2017

Provenance analysis for FOL model checking.

Val Tannen

ACM SIGLOG News, 2017

Semiring Provenance for First-Order Model Checking.

Erich Grädel, Val Tannen

CoRR, 2017

The Semiring Framework for Database Provenance.

Todd J. Green, Val Tannen

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

m-tables: Representing Missing Data.

Bruhathi Sundarmurthy, Paraschos Koutris, Willis Lang, Jeffrey F. Naughton, Val Tannen

Proceedings of the 20th International Conference on Database Theory, 2017

2016

Fine-grained Provenance for Linear Algebra Operators.

Zhepeng Yan, Val Tannen, Zachary G. Ives

Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance, 2016

Incremental View Maintenance For Collection Programming.

Christoph Koch, Daniel Lupei, Val Tannen

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Algorithms for Provisioning Queries and Analytics.

Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen

Proceedings of the 19th International Conference on Database Theory, 2016

2015

Provenance-based analysis of data-centric processes.

Daniel Deutch, Yuval Moskovitch, Val Tannen

VLDB J., 2015

Decidability of Equivalence of Aggregate Count-Distinct Queries.

Babak Bagheri Hariri, Val Tannen

CoRR, 2015

Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches.

Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

A Provenance Framework for Data-Dependent Process Analysis.

Daniel Deutch, Yuval Moskovitch, Val Tannen

Proc. VLDB Endow., 2014

Incremental View Maintenance for Nested-Relational Databases.

Daniel Lupei, Christoph Koch, Val Tannen

CoRR, 2014

Circuits for Datalog Provenance.

Daniel Deutch, Tova Milo, Sudeepa Roy, Val Tannen

Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

2013

Collaborative data sharing via update exchange and provenance.

Grigoris Karvounarakis, Todd J. Green, Zachary G. Ives, Val Tannen

ACM Trans. Database Syst., 2013

PROPOLIS: Provisioned Analysis of Data-Centric Processes.

Daniel Deutch, Yuval Moskovitch, Val Tannen

Proc. VLDB Endow., 2013

Caravan: Provisioning for What-If Analysis.

Daniel Deutch, Zachary G. Ives, Tova Milo, Val Tannen

Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

Provenance Propagation in Complex Queries.

Val Tannen

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012

On Provenance Minimization.

Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen

ACM Trans. Database Syst., 2012

2011

Queries with Difference on Probabilistic Databases.

Sanjeev Khanna, Sudeepa Roy, Val Tannen

Proc. VLDB Endow., 2011

Putting Lipstick on Pig: Enabling Database-style Workflow Provenance.

Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen

Proc. VLDB Endow., 2011

Reconcilable Differences.

Todd J. Green, Zachary G. Ives, Val Tannen

Theory Comput. Syst., 2011

On the Limitations of Provenance for Queries with Difference.

Yael Amsterdamer, Daniel Deutch, Val Tannen

Proceedings of the 3rd Workshop on the Theory and Practice of Provenance, 2011

Provenance for aggregate queries.

Yael Amsterdamer, Daniel Deutch, Val Tannen

Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

Faster query answering in probabilistic databases using read-once functions.

Sudeepa Roy, Vittorio Perduca, Val Tannen

Proceedings of the Database Theory, 2011

On provenance and privacy.

Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen

Proceedings of the Database Theory, 2011

Deriving probabilistic databases with inference ensembles.

Julia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen

Proceedings of the 27th International Conference on Data Engineering, 2011

Enabling Privacy in Provenance-Aware Workflow Systems.

Susan B. Davidson, Sanjeev Khanna, Val Tannen, Sudeepa Roy, Yi Chen, Tova Milo, Julia Stoyanovich

Proceedings of the Fifth Biennial Conference on Innovative Data Systems Research, 2011

2010

Provenance in ORCHESTRA.

Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen

IEEE Data Eng. Bull., 2010

Querying data provenance.

Grigoris Karvounarakis, Zachary G. Ives, Val Tannen

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

2009

Relational Calculus.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, 2009

Relational Algebra.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, 2009

First-Order Logic: Syntax.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, 2009

First-Order Logic: Semantics.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, 2009

Conjunctive Query.

Val Tannen

Proceedings of the Encyclopedia of Database Systems, 2009

Mediating RDF/S Queries to Relational and XML Sources.

Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen

Proceedings of the Database Technologies: Concepts, 2009

2008

The ORCHESTRA Collaborative Data Sharing System.

Zachary G. Ives, Todd J. Green, Grigoris Karvounarakis, Nicholas E. Taylor, Val Tannen, Partha Pratim Talukdar, Marie Jacob, Fernando C. N. Pereira

SIGMOD Rec., 2008

Annotated XML: queries and provenance.

J. Nathan Foster, Todd J. Green, Val Tannen

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

Provenance for Database Transformations.

Val Tannen

Proceedings of the Provenance and Annotation of Data and Processes, 2008

2007

Update Exchange with Mappings and Provenance.

Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

ORCHESTRA: facilitating collaborative data sharing.

Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

Provenance semirings.

Todd J. Green, Gregory Karvounarakis, Val Tannen

Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

2006

Query reformulation with constraints.

Alin Deutsch, Lucian Popa, Val Tannen

SIGMOD Rec., 2006

Mediating RDF/S Queries to Relational and XML Sources.

Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen

Int. J. Semantic Web Inf. Syst., 2006

Models for Incomplete and Probabilistic Information.

Todd J. Green, Val Tannen

IEEE Data Eng. Bull., 2006

2005

XML queries and constraints, containment and reformulation.

Alin Deutsch, Val Tannen

Theor. Comput. Sci., 2005

Containment and Minimization of RDF/S Query Patterns.

Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM).

Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen, Alin Deutsch

Proceedings of the Semantic Interoperability and Integration, 2005

2004

Viewing the semantic web through RVL lenses.

Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis

J. Web Semant., 2004

2003

The ICS-FORTH Semantic Web Integration Middleware (SWIM).

Vassilis Christophides, Gregory Karvounarakis, Aimilia Magkanaraki, Dimitris Plexousakis, Val Tannen

IEEE Data Eng. Bull., 2003

MARS: A System for Publishing XML from Mixed and Redundant Storage.

Alin Deutsch, Val Tannen

Proceedings of 29th International Conference on Very Large Data Bases, 2003

The ICS-FORTH SWIM: A Powerful Semantic Web Integration Middleware.

Vassilis Christophides, Gregory Karvounarakis, Ioanna Koffina, Giorgos Kokkinidis, Aimilia Magkanaraki, Dimitris Plexousakis, Giorgos Serfiotis, Val Tannen

Proceedings of SWDB'03, 2003

Reformulation of XML Queries and Constraints.

Alin Deutsch, Val Tannen

Proceedings of the Database Theory, 2003

The Information Integration System K2.

Val Tannen, Susan B. Davidson, Scott Harker

Proceedings of the Bioinformatics, 2003

2001

K2/Kleisli and GUS: Experiments in integrated access to genomic data sources.

Susan B. Davidson, Jonathan Crabtree, Brian P. Brunk, Jonathan Schug, Val Tannen, G. Christian Overton, Christian J. Stoeckert Jr.

IBM Syst. J., 2001

ubQL, a Language for Programming Distributed Query Systems.

Arnaud Sahuguet, Val Tannen

Proceedings of the Fourth International Workshop on the Web and Databases, 2001

Containment and Integrity Constraints for XPath

Alin Deutsch, Val Tannen

Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001

Optimization Properties for Classes of Conjunctive Regular Path Queries.

Alin Deutsch, Val Tannen

Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000

A Chase Too Far?

Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen

Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

1999

Physical Data Independence, Constraints, and Optimization with Universal Plans

Alin Deutsch, Lucian Popa, Val Tannen

Proceedings of the VLDB'99, 1999

An Equational Chase for Path-Conjunctive Queries, Constraints, and Views.

Lucian Popa, Val Tannen

Proceedings of the Database Theory, 1999

HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents.

Barry G. Silverman, Oleg Sokolsky, Val Tannen, Alex Wong, Lance Lang, Allan Khoury, Keith E. Campbell, Chen Qiang, Arnaud Sahuguet

Proceedings of the AMIA 1999, 1999

1998

Heterogeneous Data Integration with Mobile Information Managers (Abstract).

Val Tannen

Proceedings of the Advances in Multimedia Information Systems, 4th International Workshop, 1998

1997

BioKleisli: A Digital Library for Biomedical Researchers.

Susan B. Davidson, G. Christian Overton, Val Tannen, Limsoon Wong

Int. J. Digit. Libr., 1997

A Query Language for NC.

Dan Suciu, Val Tannen

J. Comput. Syst. Sci., 1997

A Calculus for Collections and Aggregates.

S. Kazem Lellahi, Val Tannen

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

A Typed Pattern Calculus.

Delia Kesner, Laurence Puel, Val Tannen

Inf. Comput., 1996

Smart Mediators and Intelligent Agents (Panel).

V. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen

Proceedings of the CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12, 1996

1995

Principles of Programming with Complex Objects and Collection Types.

Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong

Theor. Comput. Sci., 1995

1994

Polymorphic Rewriting Conserves Algebraic Confluence

Val Tannen, Jean H. Gallier

Inf. Comput., October, 1994

Comprehension Syntax.

Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong

SIGMOD Rec., 1994

Efficient Compilation of High-Level Data Parallel Algorithms.

Dan Suciu, Val Tannen

Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, 1994

Tutorial: Languages for Collection Types.

Val Tannen

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Collection Types in Databases.

Val Breazu-Tannen

Proceedings of the Dixièmes Journées Bases de Données Avancées, 30 Août, 1994

1993

Conservativity of Equational Theories in Typed Lambda Calculi.

Val Tannen, Albert R. Meyer

Fundam. Informaticae, 1993

1992

On Extending Computational Adequacy by Data Abstraction.

Val Tannen, Ramesh Subrahmanyam

Proceedings of the Conference on Lisp and Functional Programming, 1992

Naturally Embedded Query Languages.

Val Tannen, Peter Buneman, Limsoon Wong

Proceedings of the Database Theory, 1992

1991

Inheritance as Implicit Coercion

Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov

Inf. Comput., July, 1991

Polymorphic Rewriting Conserves Algebraic Strong Normalization.

Val Tannen, Jean H. Gallier

Theor. Comput. Sci., 1991

Data Structures and Data Types for Object-Oriented Databases.

Val Tannen, Peter Buneman, Atsushi Ohori

IEEE Data Eng. Bull., 1991

Logical and Computational Aspects of Programming with Sets/Bags/Lists.

Val Tannen, Ramesh Subrahmanyam

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

Structural Recursion as a Query Language.

Val Tannen, Peter Buneman, Shamim A. Naqvi

Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

On Adding Algebraic Theories with Induction to Typed Lambda Calculi.

Val Breazu-Tannen, Ramesh Subrahmanyam

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Computing with Coercions.

Val Tannen, Carl A. Gunter, Andre Scedrov

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

1989

Static Type-checking in Object-Oriented Databases.

Val Tannen, Peter Buneman, Atsushi Ohori

IEEE Data Eng. Bull., 1989

Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.

Atsushi Ohori, Peter Buneman, Val Tannen

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Inheritance and Explicit Coercion (Preliminary Report)

Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence.

Val Tannen, Jean H. Gallier

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

Can Object-Oriented Databases be Statically Typed?

Val Tannen, Peter Buneman, Atsushi Ohori

Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988

Extensional Models for Polymorphism.

Val Tannen, Thierry Coquand

Theor. Comput. Sci., 1988

Combining Algebra and Higher-Order Types

Val Tannen

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

Computable Values Can Be Classical.

Val Tannen, Albert R. Meyer

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

Polymorphism is conservative over simple types (Preliminary Report)

Val Tannen, Albert R. Meyer

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1985

Lambda Calculus with Constrained Types (Extended Abstract).

Val Breazu-Tannen, Albert R. Meyer

Proceedings of the Logics of Programs, 1985

1981

A Generalization of Kleene's Theorem and Nondeterministic Structured Programming

Val Tannen, Octavian Stanasila

Inf. Control., November, 1981