BibTeX records: Val Tannen

download as .bib file

@article{DBLP:journals/debu/AlawiniDSTW17,
  author    = {Abdussalam Alawini and
               Susan B. Davidson and
               Gianmaria Silvello and
               Val Tannen and
               Yinjun Wu},
  title     = {Data Citation: {A} New Provenance Challenge},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {41},
  number    = {1},
  pages     = {27--38},
  year      = {2018},
  url       = {http://sites.computer.org/debull/A18mar/p27.pdf},
  timestamp = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/debu/AlawiniDSTW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/XuZAT17,
  author    = {Jane Xu and
               Waley Zhang and
               Abdussalam Alawini and
               Val Tannen},
  title     = {Provenance Analysis for Missing Answers and Integrity Repairs},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {41},
  number    = {1},
  pages     = {39--50},
  year      = {2018},
  url       = {http://sites.computer.org/debull/A18mar/p39.pdf},
  timestamp = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/debu/XuZAT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlurMST18,
  author    = {Rajeev Alur and
               Konstantinos Mamouras and
               Caleb Stanford and
               Val Tannen},
  title     = {Interfaces for Stream Processing Systems},
  booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
               Occasion of His 60th Birthday},
  pages     = {38--60},
  year      = {2018},
  crossref  = {DBLP:conf/birthday/2018lee},
  url       = {https://doi.org/10.1007/978-3-319-95246-8\_3},
  doi       = {10.1007/978-3-319-95246-8\_3},
  timestamp = {Fri, 20 Jul 2018 10:53:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/AlurMST18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen18,
  author    = {Val Tannen},
  title     = {Conjunctive Query},
  booktitle = {Encyclopedia of Database Systems, Second Edition},
  year      = {2018},
  crossref  = {DBLP:reference/db/2018},
  url       = {https://doi.org/10.1007/978-1-4614-8265-9\_1002},
  doi       = {10.1007/978-1-4614-8265-9\_1002},
  timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen18a,
  author    = {Val Tannen},
  title     = {First-Order Logic: Semantics},
  booktitle = {Encyclopedia of Database Systems, Second Edition},
  year      = {2018},
  crossref  = {DBLP:reference/db/2018},
  url       = {https://doi.org/10.1007/978-1-4614-8265-9\_1000},
  doi       = {10.1007/978-1-4614-8265-9\_1000},
  timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen18a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen18b,
  author    = {Val Tannen},
  title     = {First-Order Logic: Syntax},
  booktitle = {Encyclopedia of Database Systems, Second Edition},
  year      = {2018},
  crossref  = {DBLP:reference/db/2018},
  url       = {https://doi.org/10.1007/978-1-4614-8265-9\_999},
  doi       = {10.1007/978-1-4614-8265-9\_999},
  timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen18b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen18c,
  author    = {Val Tannen},
  title     = {Relational Algebra},
  booktitle = {Encyclopedia of Database Systems, Second Edition},
  year      = {2018},
  crossref  = {DBLP:reference/db/2018},
  url       = {https://doi.org/10.1007/978-1-4614-8265-9\_967},
  doi       = {10.1007/978-1-4614-8265-9\_967},
  timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen18c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen18d,
  author    = {Val Tannen},
  title     = {Relational Calculus},
  booktitle = {Encyclopedia of Database Systems, Second Edition},
  year      = {2018},
  crossref  = {DBLP:reference/db/2018},
  url       = {https://doi.org/10.1007/978-1-4614-8265-9\_972},
  doi       = {10.1007/978-1-4614-8265-9\_972},
  timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen18d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Tannen17,
  author    = {Val Tannen},
  title     = {Provenance analysis for {FOL} model checking},
  journal   = {{SIGLOG} News},
  volume    = {4},
  number    = {1},
  pages     = {24--36},
  year      = {2017},
  url       = {https://dl.acm.org/citation.cfm?id=3051533},
  timestamp = {Wed, 05 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/siglog/Tannen17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/SundarmurthyKLN17,
  author    = {Bruhathi Sundarmurthy and
               Paraschos Koutris and
               Willis Lang and
               Jeffrey F. Naughton and
               Val Tannen},
  title     = {m-tables: Representing Missing Data},
  booktitle = {20th International Conference on Database Theory, {ICDT} 2017, March
               21-24, 2017, Venice, Italy},
  pages     = {21:1--21:20},
  year      = {2017},
  crossref  = {DBLP:conf/icdt/2017},
  url       = {https://doi.org/10.4230/LIPIcs.ICDT.2017.21},
  doi       = {10.4230/LIPIcs.ICDT.2017.21},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/SundarmurthyKLN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GreenT17,
  author    = {Todd J. Green and
               Val Tannen},
  title     = {The Semiring Framework for Database Provenance},
  booktitle = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
               of Database Systems, {PODS} 2017, Chicago, IL, USA, May 14-19, 2017},
  pages     = {93--99},
  year      = {2017},
  crossref  = {DBLP:conf/pods/2017},
  url       = {https://doi.org/10.1145/3034786.3056125},
  doi       = {10.1145/3034786.3056125},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/GreenT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01980,
  author    = {Erich Gr{\"{a}}del and
               Val Tannen},
  title     = {Semiring Provenance for First-Order Model Checking},
  journal   = {CoRR},
  volume    = {abs/1712.01980},
  year      = {2017},
  url       = {http://arxiv.org/abs/1712.01980},
  archivePrefix = {arXiv},
  eprint    = {1712.01980},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1712-01980},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AssadiKLT16,
  author    = {Sepehr Assadi and
               Sanjeev Khanna and
               Yang Li and
               Val Tannen},
  title     = {Algorithms for Provisioning Queries and Analytics},
  booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
               France, March 15-18, 2016},
  pages     = {18:1--18:18},
  year      = {2016},
  crossref  = {DBLP:conf/icdt/2016},
  url       = {https://doi.org/10.4230/LIPIcs.ICDT.2016.18},
  doi       = {10.4230/LIPIcs.ICDT.2016.18},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/AssadiKLT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/0001LT16,
  author    = {Christoph Koch and
               Daniel Lupei and
               Val Tannen},
  title     = {Incremental View Maintenance For Collection Programming},
  booktitle = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
               of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
               - July 01, 2016},
  pages     = {75--90},
  year      = {2016},
  crossref  = {DBLP:conf/pods/2016},
  url       = {https://doi.org/10.1145/2902251.2902286},
  doi       = {10.1145/2902251.2902286},
  timestamp = {Tue, 06 Nov 2018 16:58:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/0001LT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/YanTI16,
  author    = {Zhepeng Yan and
               Val Tannen and
               Zachary G. Ives},
  title     = {Fine-grained Provenance for Linear Algebra Operators},
  booktitle = {8th {USENIX} Workshop on the Theory and Practice of Provenance, TaPP
               2016, Washington, D.C., USA, June 8-9, 2016.},
  year      = {2016},
  crossref  = {DBLP:conf/tapp/2016},
  url       = {https://www.usenix.org/conference/tapp16/workshop-program/presentation/yan},
  timestamp = {Sat, 30 Sep 2017 21:10:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapp/YanTI16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/DeutchMT15,
  author    = {Daniel Deutch and
               Yuval Moskovitch and
               Val Tannen},
  title     = {Provenance-based analysis of data-centric processes},
  journal   = {{VLDB} J.},
  volume    = {24},
  number    = {4},
  pages     = {583--607},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00778-015-0390-5},
  doi       = {10.1007/s00778-015-0390-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vldb/DeutchMT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AssadiKLT15,
  author    = {Sepehr Assadi and
               Sanjeev Khanna and
               Yang Li and
               Val Tannen},
  title     = {Dynamic Sketching for Graph Optimization Problems with Applications
               to Cut-Preserving Sketches},
  booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
               Bangalore, India},
  pages     = {52--68},
  year      = {2015},
  crossref  = {DBLP:conf/fsttcs/2015},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.52},
  doi       = {10.4230/LIPIcs.FSTTCS.2015.52},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/AssadiKLT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HaririT15,
  author    = {Babak Bagheri Hariri and
               Val Tannen},
  title     = {Decidability of Equivalence of Aggregate Count-Distinct Queries},
  journal   = {CoRR},
  volume    = {abs/1509.00100},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.00100},
  archivePrefix = {arXiv},
  eprint    = {1509.00100},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HaririT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AssadiKLT15,
  author    = {Sepehr Assadi and
               Sanjeev Khanna and
               Yang Li and
               Val Tannen},
  title     = {Dynamic Sketching for Graph Optimization Problems with Applications
               to Cut-Preserving Sketches},
  journal   = {CoRR},
  volume    = {abs/1510.03252},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.03252},
  archivePrefix = {arXiv},
  eprint    = {1510.03252},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AssadiKLT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AssadiKLT15a,
  author    = {Sepehr Assadi and
               Sanjeev Khanna and
               Yang Li and
               Val Tannen},
  title     = {Algorithms for Provisioning Queries and Analytics},
  journal   = {CoRR},
  volume    = {abs/1512.06143},
  year      = {2015},
  url       = {http://arxiv.org/abs/1512.06143},
  archivePrefix = {arXiv},
  eprint    = {1512.06143},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AssadiKLT15a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/DeutchMT14,
  author    = {Daniel Deutch and
               Yuval Moskovitch and
               Val Tannen},
  title     = {A Provenance Framework for Data-Dependent Process Analysis},
  journal   = {{PVLDB}},
  volume    = {7},
  number    = {6},
  pages     = {457--468},
  year      = {2014},
  url       = {http://www.vldb.org/pvldb/vol7/p457-deutch.pdf},
  doi       = {10.14778/2732279.2732283},
  timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/DeutchMT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DeutchMRT14,
  author    = {Daniel Deutch and
               Tova Milo and
               Sudeepa Roy and
               Val Tannen},
  title     = {Circuits for Datalog Provenance},
  booktitle = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
               Greece, March 24-28, 2014.},
  pages     = {201--212},
  year      = {2014},
  crossref  = {DBLP:conf/icdt/2014},
  url       = {https://doi.org/10.5441/002/icdt.2014.22},
  doi       = {10.5441/002/icdt.2014.22},
  timestamp = {Tue, 16 Jan 2018 17:46:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/DeutchMRT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LupeiKT14,
  author    = {Daniel Lupei and
               Christoph Koch and
               Val Tannen},
  title     = {Incremental View Maintenance for Nested-Relational Databases},
  journal   = {CoRR},
  volume    = {abs/1412.4320},
  year      = {2014},
  url       = {http://arxiv.org/abs/1412.4320},
  archivePrefix = {arXiv},
  eprint    = {1412.4320},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LupeiKT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/DeutchMT13,
  author    = {Daniel Deutch and
               Yuval Moskovitch and
               Val Tannen},
  title     = {{PROPOLIS:} Provisioned Analysis of Data-Centric Processes},
  journal   = {{PVLDB}},
  volume    = {6},
  number    = {12},
  pages     = {1302--1305},
  year      = {2013},
  url       = {http://www.vldb.org/pvldb/vol6/p1302-deutch.pdf},
  doi       = {10.14778/2536274.2536301},
  timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/DeutchMT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/KarvounarakisGIT13,
  author    = {Grigoris Karvounarakis and
               Todd J. Green and
               Zachary G. Ives and
               Val Tannen},
  title     = {Collaborative data sharing via update exchange and provenance},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {38},
  number    = {3},
  pages     = {19:1--19:42},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2500127},
  doi       = {10.1145/2500127},
  timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tods/KarvounarakisGIT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Tannen13,
  author    = {Val Tannen},
  title     = {Provenance Propagation in Complex Queries},
  booktitle = {In Search of Elegance in the Theory and Practice of Computation -
               Essays Dedicated to Peter Buneman},
  pages     = {483--493},
  year      = {2013},
  crossref  = {DBLP:conf/birthday/2013buneman},
  url       = {https://doi.org/10.1007/978-3-642-41660-6\_26},
  doi       = {10.1007/978-3-642-41660-6\_26},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/Tannen13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/DeutchIMT13,
  author    = {Daniel Deutch and
               Zachary G. Ives and
               Tova Milo and
               Val Tannen},
  title     = {Caravan: Provisioning for What-If Analysis},
  booktitle = {{CIDR} 2013, Sixth Biennial Conference on Innovative Data Systems
               Research, Asilomar, CA, USA, January 6-9, 2013, Online Proceedings},
  year      = {2013},
  crossref  = {DBLP:conf/cidr/2013},
  url       = {http://cidrdb.org/cidr2013/Papers/CIDR13\_Paper100.pdf},
  timestamp = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/DeutchIMT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013buneman,
  editor    = {Val Tannen and
               Limsoon Wong and
               Leonid Libkin and
               Wenfei Fan and
               Wang{-}Chiew Tan and
               Michael P. Fourman},
  title     = {In Search of Elegance in the Theory and Practice of Computation -
               Essays Dedicated to Peter Buneman},
  series    = {Lecture Notes in Computer Science},
  volume    = {8000},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41660-6},
  doi       = {10.1007/978-3-642-41660-6},
  isbn      = {978-3-642-41659-0},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2013buneman},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapp/2013,
  editor    = {Alexandra Meliou and
               Val Tannen},
  title     = {5th Workshop on the Theory and Practice of Provenance, TaPP'13, Lombard,
               IL, USA, April 2-3, 2013},
  publisher = {{USENIX} Association},
  year      = {2013},
  url       = {https://www.usenix.org/conference/tapp13},
  timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/AmsterdamerDMT12,
  author    = {Yael Amsterdamer and
               Daniel Deutch and
               Tova Milo and
               Val Tannen},
  title     = {On Provenance Minimization},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {37},
  number    = {4},
  pages     = {30:1--30:36},
  year      = {2012},
  url       = {https://doi.org/10.1145/2389241.2389249},
  doi       = {10.1145/2389241.2389249},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tods/AmsterdamerDMT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-0231,
  author    = {Yael Amsterdamer and
               Susan B. Davidson and
               Daniel Deutch and
               Tova Milo and
               Julia Stoyanovich and
               Val Tannen},
  title     = {Putting Lipstick on Pig: Enabling Database-style Workflow Provenance},
  journal   = {CoRR},
  volume    = {abs/1201.0231},
  year      = {2012},
  url       = {http://arxiv.org/abs/1201.0231},
  archivePrefix = {arXiv},
  eprint    = {1201.0231},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1201-0231},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GreenIT11,
  author    = {Todd J. Green and
               Zachary G. Ives and
               Val Tannen},
  title     = {Reconcilable Differences},
  journal   = {Theory Comput. Syst.},
  volume    = {49},
  number    = {2},
  pages     = {460--488},
  year      = {2011},
  url       = {https://doi.org/10.1007/s00224-011-9323-x},
  doi       = {10.1007/s00224-011-9323-x},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mst/GreenIT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/KhannaRT11,
  author    = {Sanjeev Khanna and
               Sudeepa Roy and
               Val Tannen},
  title     = {Queries with Difference on Probabilistic Databases},
  journal   = {{PVLDB}},
  volume    = {4},
  number    = {11},
  pages     = {1051--1062},
  year      = {2011},
  url       = {http://www.vldb.org/pvldb/vol4/p1051-khanna.pdf},
  timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/KhannaRT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/AmsterdamerDDMST11,
  author    = {Yael Amsterdamer and
               Susan B. Davidson and
               Daniel Deutch and
               Tova Milo and
               Julia Stoyanovich and
               Val Tannen},
  title     = {Putting Lipstick on Pig: Enabling Database-style Workflow Provenance},
  journal   = {{PVLDB}},
  volume    = {5},
  number    = {4},
  pages     = {346--357},
  year      = {2011},
  url       = {http://vldb.org/pvldb/vol5/p346\_yaelamsterdamer\_vldb2012.pdf},
  doi       = {10.14778/2095686.2095693},
  timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/AmsterdamerDDMST11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/DavidsonKTRCMS11,
  author    = {Susan B. Davidson and
               Sanjeev Khanna and
               Val Tannen and
               Sudeepa Roy and
               Yi Chen and
               Tova Milo and
               Julia Stoyanovich},
  title     = {Enabling Privacy in Provenance-Aware Workflow Systems},
  booktitle = {{CIDR} 2011, Fifth Biennial Conference on Innovative Data Systems
               Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings},
  pages     = {215--218},
  year      = {2011},
  crossref  = {DBLP:conf/cidr/2011},
  url       = {http://cidrdb.org/cidr2011/Papers/CIDR11\_Paper30.pdf},
  timestamp = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/DavidsonKTRCMS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/StoyanovichDMT11,
  author    = {Julia Stoyanovich and
               Susan B. Davidson and
               Tova Milo and
               Val Tannen},
  title     = {Deriving probabilistic databases with inference ensembles},
  booktitle = {Proceedings of the 27th International Conference on Data Engineering,
               {ICDE} 2011, April 11-16, 2011, Hannover, Germany},
  pages     = {303--314},
  year      = {2011},
  crossref  = {DBLP:conf/icde/2011},
  url       = {https://doi.org/10.1109/ICDE.2011.5767854},
  doi       = {10.1109/ICDE.2011.5767854},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icde/StoyanovichDMT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DavidsonKRSTC11,
  author    = {Susan B. Davidson and
               Sanjeev Khanna and
               Sudeepa Roy and
               Julia Stoyanovich and
               Val Tannen and
               Yi Chen},
  title     = {On provenance and privacy},
  booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
               Sweden, March 21-24, 2011, Proceedings},
  pages     = {3--10},
  year      = {2011},
  crossref  = {DBLP:conf/icdt/2011},
  url       = {https://doi.org/10.1145/1938551.1938554},
  doi       = {10.1145/1938551.1938554},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/DavidsonKRSTC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/RoyPT11,
  author    = {Sudeepa Roy and
               Vittorio Perduca and
               Val Tannen},
  title     = {Faster query answering in probabilistic databases using read-once
               functions},
  booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
               Sweden, March 21-24, 2011, Proceedings},
  pages     = {232--243},
  year      = {2011},
  crossref  = {DBLP:conf/icdt/2011},
  url       = {https://doi.org/10.1145/1938551.1938582},
  doi       = {10.1145/1938551.1938582},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/RoyPT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AmsterdamerDMT11,
  author    = {Yael Amsterdamer and
               Daniel Deutch and
               Tova Milo and
               Val Tannen},
  title     = {On provenance minimization},
  booktitle = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens,
               Greece},
  pages     = {141--152},
  year      = {2011},
  crossref  = {DBLP:conf/pods/2011},
  url       = {https://doi.org/10.1145/1989284.1989303},
  doi       = {10.1145/1989284.1989303},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/AmsterdamerDMT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AmsterdamerDT11,
  author    = {Yael Amsterdamer and
               Daniel Deutch and
               Val Tannen},
  title     = {Provenance for aggregate queries},
  booktitle = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens,
               Greece},
  pages     = {153--164},
  year      = {2011},
  crossref  = {DBLP:conf/pods/2011},
  url       = {https://doi.org/10.1145/1989284.1989302},
  doi       = {10.1145/1989284.1989302},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/AmsterdamerDT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/AmsterdamerDT11,
  author    = {Yael Amsterdamer and
               Daniel Deutch and
               Val Tannen},
  title     = {On the Limitations of Provenance for Queries with Difference},
  booktitle = {3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion,
               Crete, Greece, June 20-21, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/tapp/2011},
  url       = {https://www.usenix.org/conference/tapp11/limitations-provenance-queries-difference},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapp/AmsterdamerDT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amw/2011,
  editor    = {Pablo Barcel{\'{o}} and
               Val Tannen},
  title     = {Proceedings of the 5th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Santiago, Chile, May 9-12, 2011},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {749},
  publisher = {CEUR-WS.org},
  year      = {2011},
  url       = {http://ceur-ws.org/Vol-749},
  urn       = {urn:nbn:de:0074-749-2},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-1110,
  author    = {Yael Amsterdamer and
               Daniel Deutch and
               Val Tannen},
  title     = {Provenance for Aggregate Queries},
  journal   = {CoRR},
  volume    = {abs/1101.1110},
  year      = {2011},
  url       = {http://arxiv.org/abs/1101.1110},
  archivePrefix = {arXiv},
  eprint    = {1101.1110},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1101-1110},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-2255,
  author    = {Yael Amsterdamer and
               Daniel Deutch and
               Val Tannen},
  title     = {On the Limitations of Provenance for Queries With Difference},
  journal   = {CoRR},
  volume    = {abs/1105.2255},
  year      = {2011},
  url       = {http://arxiv.org/abs/1105.2255},
  archivePrefix = {arXiv},
  eprint    = {1105.2255},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1105-2255},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/GreenKIT10,
  author    = {Todd J. Green and
               Grigoris Karvounarakis and
               Zachary G. Ives and
               Val Tannen},
  title     = {Provenance in {ORCHESTRA}},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {33},
  number    = {3},
  pages     = {9--16},
  year      = {2010},
  url       = {http://sites.computer.org/debull/A10sept/green.pdf},
  timestamp = {Tue, 11 Jan 2011 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/debu/GreenKIT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/Tannen10,
  author    = {Val Tannen},
  title     = {Provenance for Database Transformations},
  booktitle = {Proceedings of the 4th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Buenos Aires, Argentina, May 17-20,
               2010},
  year      = {2010},
  crossref  = {DBLP:conf/amw/2010},
  url       = {http://ceur-ws.org/Vol-619/tutorial3.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/Tannen10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/Tannen10,
  author    = {Val Tannen},
  title     = {Provenance for database transformations},
  booktitle = {{EDBT} 2010, 13th International Conference on Extending Database Technology,
               Lausanne, Switzerland, March 22-26, 2010, Proceedings},
  pages     = {1},
  year      = {2010},
  crossref  = {DBLP:conf/edbt/2010},
  url       = {https://doi.org/10.1145/1739041.1739043},
  doi       = {10.1145/1739041.1739043},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/edbt/Tannen10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/KarvounarakisIT10,
  author    = {Grigoris Karvounarakis and
               Zachary G. Ives and
               Val Tannen},
  title     = {Querying data provenance},
  booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2010, Indianapolis, Indiana, USA, June 6-10, 2010},
  pages     = {951--962},
  year      = {2010},
  crossref  = {DBLP:conf/sigmod/2010},
  url       = {https://doi.org/10.1145/1807167.1807269},
  doi       = {10.1145/1807167.1807269},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/KarvounarakisIT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-0335,
  author    = {Sudeepa Roy and
               Vittorio Perduca and
               Val Tannen},
  title     = {Faster Query Answering in Probabilistic Databases using Read-Once
               Functions},
  journal   = {CoRR},
  volume    = {abs/1012.0335},
  year      = {2010},
  url       = {http://arxiv.org/abs/1012.0335},
  archivePrefix = {arXiv},
  eprint    = {1012.0335},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1012-0335},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GreenIT09,
  author    = {Todd J. Green and
               Zachary G. Ives and
               Val Tannen},
  title     = {Reconcilable differences},
  booktitle = {Database Theory - {ICDT} 2009, 12th International Conference, St.
               Petersburg, Russia, March 23-25, 2009, Proceedings},
  pages     = {212--224},
  year      = {2009},
  crossref  = {DBLP:conf/icdt/2009},
  url       = {https://doi.org/10.1145/1514894.1514920},
  doi       = {10.1145/1514894.1514920},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/GreenIT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/igi/Erickson09/KoffinaSCT09,
  author    = {Ioanna Koffina and
               Giorgos Serfiotis and
               Vassilis Christophides and
               Val Tannen},
  title     = {Mediating {RDF/S} Queries to Relational and {XML} Sources},
  booktitle = {Database Technologies: Concepts, Methodologies, Tools, and Applications
               {(4} Volumes)},
  pages     = {596--614},
  year      = {2009},
  crossref  = {DBLP:books/igi/Erickson2009},
  url       = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=7933},
  timestamp = {Tue, 16 May 2017 14:01:33 +0200},
  biburl    = {https://dblp.org/rec/bib/books/igi/Erickson09/KoffinaSCT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen09,
  author    = {Val Tannen},
  title     = {Conjunctive Query},
  booktitle = {Encyclopedia of Database Systems},
  pages     = {448--449},
  year      = {2009},
  crossref  = {DBLP:reference/db/2009},
  url       = {https://doi.org/10.1007/978-0-387-39940-9\_1002},
  doi       = {10.1007/978-0-387-39940-9\_1002},
  timestamp = {Wed, 13 Feb 2019 16:24:27 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen09a,
  author    = {Val Tannen},
  title     = {First-Order Logic: Semantics},
  booktitle = {Encyclopedia of Database Systems},
  pages     = {1138--1139},
  year      = {2009},
  crossref  = {DBLP:reference/db/2009},
  url       = {https://doi.org/10.1007/978-0-387-39940-9\_1000},
  doi       = {10.1007/978-0-387-39940-9\_1000},
  timestamp = {Wed, 13 Feb 2019 16:24:27 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen09a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen09b,
  author    = {Val Tannen},
  title     = {First-Order Logic: Syntax},
  booktitle = {Encyclopedia of Database Systems},
  pages     = {1139--1141},
  year      = {2009},
  crossref  = {DBLP:reference/db/2009},
  url       = {https://doi.org/10.1007/978-0-387-39940-9\_999},
  doi       = {10.1007/978-0-387-39940-9\_999},
  timestamp = {Wed, 13 Feb 2019 16:24:27 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen09b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen09c,
  author    = {Val Tannen},
  title     = {Relational Algebra},
  booktitle = {Encyclopedia of Database Systems},
  pages     = {2369--2370},
  year      = {2009},
  crossref  = {DBLP:reference/db/2009},
  url       = {https://doi.org/10.1007/978-0-387-39940-9\_967},
  doi       = {10.1007/978-0-387-39940-9\_967},
  timestamp = {Wed, 13 Feb 2019 16:24:27 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen09c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Tannen09d,
  author    = {Val Tannen},
  title     = {Relational Calculus},
  booktitle = {Encyclopedia of Database Systems},
  pages     = {2370--2371},
  year      = {2009},
  crossref  = {DBLP:reference/db/2009},
  url       = {https://doi.org/10.1007/978-0-387-39940-9\_972},
  doi       = {10.1007/978-0-387-39940-9\_972},
  timestamp = {Wed, 13 Feb 2019 16:24:27 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/Tannen09d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/IvesGKTTTJP08,
  author    = {Zachary G. Ives and
               Todd J. Green and
               Grigoris Karvounarakis and
               Nicholas E. Taylor and
               Val Tannen and
               Partha Pratim Talukdar and
               Marie Jacob and
               Fernando C. N. Pereira},
  title     = {The {ORCHESTRA} Collaborative Data Sharing System},
  journal   = {{SIGMOD} Record},
  volume    = {37},
  number    = {3},
  pages     = {26--32},
  year      = {2008},
  url       = {https://doi.org/10.1145/1462571.1462577},
  doi       = {10.1145/1462571.1462577},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigmod/IvesGKTTTJP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipaw/Tannen08,
  author    = {Val Tannen},
  title     = {Provenance for Database Transformations},
  booktitle = {Provenance and Annotation of Data and Processes, Second International
               Provenance and Annotation Workshop, {IPAW} 2008, Salt Lake City, UT,
               USA, June 17-18, 2008. Revised Selected Papers},
  pages     = {1},
  year      = {2008},
  crossref  = {DBLP:conf/ipaw/2008},
  url       = {https://doi.org/10.1007/978-3-540-89965-5\_1},
  doi       = {10.1007/978-3-540-89965-5\_1},
  timestamp = {Fri, 19 Oct 2018 16:50:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipaw/Tannen08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FosterGT08,
  author    = {J. Nathan Foster and
               Todd J. Green and
               Val Tannen},
  title     = {Annotated {XML:} queries and provenance},
  booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
               on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
               BC, Canada},
  pages     = {271--280},
  year      = {2008},
  crossref  = {DBLP:conf/pods/2008},
  url       = {https://doi.org/10.1145/1376916.1376954},
  doi       = {10.1145/1376916.1376954},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/FosterGT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GreenKT07,
  author    = {Todd J. Green and
               Gregory Karvounarakis and
               Val Tannen},
  title     = {Provenance semirings},
  booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 11-13, 2007, Beijing, China},
  pages     = {31--40},
  year      = {2007},
  crossref  = {DBLP:conf/pods/2007},
  url       = {https://doi.org/10.1145/1265530.1265535},
  doi       = {10.1145/1265530.1265535},
  timestamp = {Wed, 28 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/GreenKT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/GreenKTBIT07,
  author    = {Todd J. Green and
               Gregory Karvounarakis and
               Nicholas E. Taylor and
               Olivier Biton and
               Zachary G. Ives and
               Val Tannen},
  title     = {{ORCHESTRA:} facilitating collaborative data sharing},
  booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, Beijing, China, June 12-14, 2007},
  pages     = {1131--1133},
  year      = {2007},
  crossref  = {DBLP:conf/sigmod/2007},
  url       = {https://doi.org/10.1145/1247480.1247631},
  doi       = {10.1145/1247480.1247631},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/GreenKTBIT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/GreenKIT07,
  author    = {Todd J. Green and
               Grigoris Karvounarakis and
               Zachary G. Ives and
               Val Tannen},
  title     = {Update Exchange with Mappings and Provenance},
  booktitle = {Proceedings of the 33rd International Conference on Very Large Data
               Bases, University of Vienna, Austria, September 23-27, 2007},
  pages     = {675--686},
  year      = {2007},
  crossref  = {DBLP:conf/vldb/2007},
  url       = {http://www.vldb.org/conf/2007/papers/research/p675-green.pdf},
  timestamp = {Thu, 03 Mar 2016 17:54:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vldb/GreenKIT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dils/2007,
  editor    = {Sarah Cohen Boulakia and
               Val Tannen},
  title     = {Data Integration in the Life Sciences, 4th International Workshop,
               {DILS} 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4544},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73255-6},
  doi       = {10.1007/978-3-540-73255-6},
  isbn      = {978-3-540-73254-9},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dils/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/GreenT06,
  author    = {Todd J. Green and
               Val Tannen},
  title     = {Models for Incomplete and Probabilistic Information},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {29},
  number    = {1},
  pages     = {17--24},
  year      = {2006},
  url       = {http://sites.computer.org/debull/A06mar/green.ps},
  timestamp = {Fri, 01 Sep 2006 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/debu/GreenT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijswis/KoffinaSCT06,
  author    = {Ioanna Koffina and
               Giorgos Serfiotis and
               Vassilis Christophides and
               Val Tannen},
  title     = {Mediating {RDF/S} Queries to Relational and {XML} Sources},
  journal   = {Int. J. Semantic Web Inf. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {68--91},
  year      = {2006},
  url       = {https://doi.org/10.4018/jswis.2006100103},
  doi       = {10.4018/jswis.2006100103},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijswis/KoffinaSCT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/DeutschPT06,
  author    = {Alin Deutsch and
               Lucian Popa and
               Val Tannen},
  title     = {Query reformulation with constraints},
  journal   = {{SIGMOD} Record},
  volume    = {35},
  number    = {1},
  pages     = {65--73},
  year      = {2006},
  url       = {https://doi.org/10.1145/1121995.1122010},
  doi       = {10.1145/1121995.1122010},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigmod/DeutschPT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbtw/GreenT06,
  author    = {Todd J. Green and
               Val Tannen},
  title     = {Models for Incomplete and Probabilistic Information},
  booktitle = {Current Trends in Database Technology - {EDBT} 2006, {EDBT} 2006 Workshops
               PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on
               the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers},
  pages     = {278--296},
  year      = {2006},
  crossref  = {DBLP:conf/edbtw/2006},
  url       = {https://doi.org/10.1007/11896548\_24},
  doi       = {10.1007/11896548\_24},
  timestamp = {Thu, 20 Jul 2017 09:26:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edbtw/GreenT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeutschT05,
  author    = {Alin Deutsch and
               Val Tannen},
  title     = {{XML} queries and constraints, containment and reformulation},
  journal   = {Theor. Comput. Sci.},
  volume    = {336},
  number    = {1},
  pages     = {57--87},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2004.10.032},
  doi       = {10.1016/j.tcs.2004.10.032},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/DeutschT05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SerfiotisKCT05,
  author    = {Giorgos Serfiotis and
               Ioanna Koffina and
               Vassilis Christophides and
               Val Tannen},
  title     = {Containment and Minimization of {RDF/S} Query Patterns},
  booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
               {ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
  pages     = {607--623},
  year      = {2005},
  crossref  = {DBLP:conf/semweb/2005},
  url       = {https://doi.org/10.1007/11574620\_44},
  doi       = {10.1007/11574620\_44},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/SerfiotisKCT05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2004swdb,
  editor    = {Christoph Bussler and
               Val Tannen and
               Irini Fundulaki},
  title     = {Semantic Web and Databases, Second International Workshop, {SWDB}
               2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers},
  volume    = {3372},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106149},
  doi       = {10.1007/b106149},
  isbn      = {3-540-24576-6},
  timestamp = {Tue, 30 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/2004swdb},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KoffinaSCTD05,
  author    = {Ioanna Koffina and
               Giorgos Serfiotis and
               Vassilis Christophides and
               Val Tannen and
               Alin Deutsch},
  title     = {Integrating {XML} Data Sources using {RDF/S} Schemas: The {ICS-FORTH}
               Semantic Web Integration Middleware {(SWIM)}},
  booktitle = {Semantic Interoperability and Integration},
  year      = {2005},
  crossref  = {DBLP:conf/dagstuhl/2005P4391},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2005/34},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/KoffinaSCTD05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/MagkanarakiTCP04,
  author    = {Aimilia Magkanaraki and
               Val Tannen and
               Vassilis Christophides and
               Dimitris Plexousakis},
  title     = {Viewing the semantic web through {RVL} lenses},
  journal   = {J. Web Semant.},
  volume    = {1},
  number    = {4},
  pages     = {359--375},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.websem.2004.06.004},
  doi       = {10.1016/j.websem.2004.06.004},
  timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ws/MagkanarakiTCP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/ChristophidesKMPT03,
  author    = {Vassilis Christophides and
               Gregory Karvounarakis and
               Aimilia Magkanaraki and
               Dimitris Plexousakis and
               Val Tannen},
  title     = {The {ICS-FORTH} Semantic Web Integration Middleware {(SWIM)}},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {26},
  number    = {4},
  pages     = {11--18},
  year      = {2003},
  url       = {http://sites.computer.org/debull/A03dec/tannen.ps},
  timestamp = {Fri, 16 Sep 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/debu/ChristophidesKMPT03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DeutschT03,
  author    = {Alin Deutsch and
               Val Tannen},
  title     = {Reformulation of {XML} Queries and Constraints},
  booktitle = {Database Theory - {ICDT} 2003, 9th International Conference, Siena,
               Italy, January 8-10, 2003, Proceedings},
  pages     = {225--241},
  year      = {2003},
  crossref  = {DBLP:conf/icdt/2003},
  url       = {https://doi.org/10.1007/3-540-36285-1\_15},
  doi       = {10.1007/3-540-36285-1\_15},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/DeutschT03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MagkanarakiTCP03,
  author    = {Aimilia Magkanaraki and
               Val Tannen and
               Vassilis Christophides and
               Dimitris Plexousakis},
  title     = {Viewing the Semantic Web through {RVL} Lenses},
  booktitle = {The Semantic Web - {ISWC} 2003, Second International Semantic Web
               Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings},
  pages     = {96--112},
  year      = {2003},
  crossref  = {DBLP:conf/semweb/2003},
  url       = {https://doi.org/10.1007/978-3-540-39718-2\_7},
  doi       = {10.1007/978-3-540-39718-2\_7},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/MagkanarakiTCP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ChristophidesKKKMPST03,
  author    = {Vassilis Christophides and
               Gregory Karvounarakis and
               Ioanna Koffina and
               Giorgos Kokkinidis and
               Aimilia Magkanaraki and
               Dimitris Plexousakis and
               Giorgos Serfiotis and
               Val Tannen},
  title     = {The {ICS-FORTH} {SWIM:} {A} Powerful Semantic Web Integration Middleware},
  booktitle = {Proceedings of SWDB'03, The first International Workshop on Semantic
               Web and Databases, Co-located with {VLDB} 2003, Humboldt-Universit{\"{a}}t,
               Berlin, Germany, September 7-8, 2003},
  pages     = {381--393},
  year      = {2003},
  crossref  = {DBLP:conf/semweb/2003swdb},
  timestamp = {Tue, 12 Apr 2005 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/ChristophidesKKKMPST03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/DeutschT03,
  author    = {Alin Deutsch and
               Val Tannen},
  title     = {{MARS:} {A} System for Publishing {XML} from Mixed and Redundant Storage},
  booktitle = {{VLDB} 2003, Proceedings of 29th International Conference on Very
               Large Data Bases, September 9-12, 2003, Berlin, Germany},
  pages     = {201--212},
  year      = {2003},
  crossref  = {DBLP:conf/vldb/2003},
  url       = {http://www.vldb.org/conf/2003/papers/S07P03.pdf},
  timestamp = {Tue, 07 Nov 2017 06:51:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vldb/DeutschT03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/DavidsonCBSTOJ01,
  author    = {Susan B. Davidson and
               Jonathan Crabtree and
               Brian P. Brunk and
               Jonathan Schug and
               Val Tannen and
               G. Christian Overton and
               Christian J. Stoeckert Jr.},
  title     = {K2/Kleisli and {GUS:} Experiments in integrated access to genomic
               data sources},
  journal   = {{IBM} Systems Journal},
  volume    = {40},
  number    = {2},
  pages     = {512--531},
  year      = {2001},
  url       = {https://doi.org/10.1147/sj.402.0512},
  doi       = {10.1147/sj.402.0512},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ibmsj/DavidsonCBSTOJ01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/DeutschT01,
  author    = {Alin Deutsch and
               Val Tannen},
  title     = {Optimization Properties for Classes of Conjunctive Regular Path Queries},
  booktitle = {Database Programming Languages, 8th International Workshop, {DBPL}
               2001, Frascati, Italy, September 8-10, 2001, Revised Papers},
  pages     = {21--39},
  year      = {2001},
  crossref  = {DBLP:conf/dbpl/2001},
  url       = {https://doi.org/10.1007/3-540-46093-4\_2},
  doi       = {10.1007/3-540-46093-4\_2},
  timestamp = {Fri, 26 May 2017 14:09:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dbpl/DeutschT01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/DeutschT01,
  author    = {Alin Deutsch and
               Val Tannen},
  title     = {Containment and Integrity Constraints for XPath},
  booktitle = {Proceedings of the 8th International Workshop on Knowledge Representation
               meets Databases {(KRDB} 2001), Rome, Italy, September 15, 2001},
  year      = {2001},
  crossref  = {DBLP:conf/krdb/2001},
  url       = {http://ceur-ws.org/Vol-45/01-deutsch.ps},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/krdb/DeutschT01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webdb/SahuguetT01,
  author    = {Arnaud Sahuguet and
               Val Tannen},
  title     = {ubQL, a Language for Programming Distributed Query Systems},
  booktitle = {Proceedings of the Fourth International Workshop on the Web and Databases,
               WebDB 2001, Santa Barbara, California, USA, May 24-25, 2001, in conjunction
               with {ACM} {PODS/SIGMOD} 2001. Informal proceedings},
  pages     = {37--42},
  year      = {2001},
  crossref  = {DBLP:conf/webdb/2001},
  timestamp = {Wed, 08 Feb 2017 17:14:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/webdb/SahuguetT01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/PopaDST00,
  author    = {Lucian Popa and
               Alin Deutsch and
               Arnaud Sahuguet and
               Val Tannen},
  title     = {A Chase Too Far?},
  booktitle = {Proceedings of the 2000 {ACM} {SIGMOD} International Conference on
               Management of Data, May 16-18, 2000, Dallas, Texas, {USA.}},
  pages     = {273--284},
  year      = {2000},
  crossref  = {DBLP:conf/sigmod/2000},
  url       = {https://doi.org/10.1145/342009.335421},
  doi       = {10.1145/342009.335421},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/PopaDST00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/SilvermanSTWLKCQS99,
  author    = {Barry G. Silverman and
               Oleg Sokolsky and
               Val Tannen and
               Alex Wong and
               Lance Lang and
               Allan Khoury and
               Keith E. Campbell and
               Chen Qiang and
               Arnaud Sahuguet},
  title     = {{HOLON/CADSE:} integrating open software standards and formal methods
               to generate guideline-based decision support agents},
  booktitle = {{AMIA} 1999, American Medical Informatics Association Annual Symposium,
               Washington, DC, USA, November 6-10, 1999},
  year      = {1999},
  crossref  = {DBLP:conf/amia/1999},
  url       = {http://knowledge.amia.org/amia-55142-a1999a-1.591078/t-001-1.593353/f-001-1.593354/a-193-1.593388/a-194-1.593385},
  timestamp = {Tue, 12 Aug 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amia/SilvermanSTWLKCQS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/PopaT99,
  author    = {Lucian Popa and
               Val Tannen},
  title     = {An Equational Chase for Path-Conjunctive Queries, Constraints, and
               Views},
  booktitle = {Database Theory - {ICDT} '99, 7th International Conference, Jerusalem,
               Israel, January 10-12, 1999, Proceedings.},
  pages     = {39--57},
  year      = {1999},
  crossref  = {DBLP:conf/icdt/99},
  url       = {https://doi.org/10.1007/3-540-49257-7\_4},
  doi       = {10.1007/3-540-49257-7\_4},
  timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/PopaT99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/DeutschPT99,
  author    = {Alin Deutsch and
               Lucian Popa and
               Val Tannen},
  title     = {Physical Data Independence, Constraints, and Optimization with Universal
               Plans},
  booktitle = {VLDB'99, Proceedings of 25th International Conference on Very Large
               Data Bases, September 7-10, 1999, Edinburgh, Scotland, {UK}},
  pages     = {459--470},
  year      = {1999},
  crossref  = {DBLP:conf/vldb/99},
  url       = {http://www.vldb.org/conf/1999/P44.pdf},
  timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vldb/DeutschPT99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mis/Tannen98,
  author    = {Val Tannen},
  title     = {Heterogeneous Data Integration with Mobile Information Managers (Abstract)},
  booktitle = {Advances in Multimedia Information Systems, 4th International Workshop,
               MIS'98, Istanbul, Turkey, September 24-26, 1998, Proceedings},
  pages     = {2--3},
  year      = {1998},
  crossref  = {DBLP:conf/mis/1998},
  url       = {https://doi.org/10.1007/3-540-49651-3\_2},
  doi       = {10.1007/3-540-49651-3\_2},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mis/Tannen98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/SuciuT97,
  author    = {Dan Suciu and
               Val Tannen},
  title     = {A Query Language for {NC}},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {55},
  number    = {2},
  pages     = {299--321},
  year      = {1997},
  url       = {https://doi.org/10.1006/jcss.1997.1525},
  doi       = {10.1006/jcss.1997.1525},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/SuciuT97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodl/DavidsonOTW97,
  author    = {Susan B. Davidson and
               G. Christian Overton and
               Val Tannen and
               Limsoon Wong},
  title     = {BioKleisli: {A} Digital Library for Biomedical Researchers},
  journal   = {Int. J. on Digital Libraries},
  volume    = {1},
  number    = {1},
  pages     = {36--53},
  year      = {1997},
  url       = {https://doi.org/10.1007/s007990050003},
  doi       = {10.1007/s007990050003},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jodl/DavidsonOTW97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/LellahiT97,
  author    = {S. Kazem Lellahi and
               Val Tannen},
  title     = {A Calculus for Collections and Aggregates},
  booktitle = {Category Theory and Computer Science, 7th International Conference,
               {CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
  pages     = {261--280},
  year      = {1997},
  crossref  = {DBLP:conf/ctcs/1997},
  url       = {https://doi.org/10.1007/BFb0026993},
  doi       = {10.1007/BFb0026993},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ctcs/LellahiT97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KesnerPT96,
  author    = {Delia Kesner and
               Laurence Puel and
               Val Tannen},
  title     = {A Typed Pattern Calculus},
  journal   = {Inf. Comput.},
  volume    = {124},
  number    = {1},
  pages     = {32--61},
  year      = {1996},
  url       = {https://doi.org/10.1006/inco.1996.0004},
  doi       = {10.1006/inco.1996.0004},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/KesnerPT96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/SubrahmanianCHHT96,
  author    = {V. S. Subrahmanian and
               Su{-}Shing Chen and
               James A. Hendler and
               Richard Hull and
               Val Tannen},
  title     = {Smart Mediators and Intelligent Agents (Panel)},
  booktitle = {{CIKM} '96, Proceedings of the Fifth International Conference on Information
               and Knowledge Management, November 12 - 16, 1996, Rockville, Maryland,
               {USA}},
  pages     = {343},
  year      = {1996},
  crossref  = {DBLP:conf/cikm/96},
  url       = {https://doi.org/10.1145/238355.238578},
  doi       = {10.1145/238355.238578},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cikm/SubrahmanianCHHT96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbpl/95,
  editor    = {Paolo Atzeni and
               Val Tannen},
  title     = {Database Programming Languages (DBPL-5), Proceedings of the Fifth
               International Workshop on Database Programming Languages, Gubbio,
               Umbria, Italy, 6-8 September 1995},
  series    = {Electronic Workshops in Computing},
  publisher = {Springer},
  year      = {1996},
  isbn      = {3-540-76086-5},
  timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dbpl/95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BunemanNTW95,
  author    = {Peter Buneman and
               Shamim A. Naqvi and
               Val Tannen and
               Limsoon Wong},
  title     = {Principles of Programming with Complex Objects and Collection Types},
  journal   = {Theor. Comput. Sci.},
  volume    = {149},
  number    = {1},
  pages     = {3--48},
  year      = {1995},
  url       = {https://doi.org/10.1016/0304-3975(95)00024-Q},
  doi       = {10.1016/0304-3975(95)00024-Q},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BunemanNTW95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/TannenG94,
  author    = {Val Tannen and
               Jean H. Gallier},
  title     = {Polymorphic Rewriting Conserves Algebraic Confluence},
  journal   = {Inf. Comput.},
  volume    = {114},
  number    = {1},
  pages     = {1--29},
  year      = {1994},
  url       = {https://doi.org/10.1006/inco.1994.1078},
  doi       = {10.1006/inco.1994.1078},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/TannenG94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BunemanLSTW94,
  author    = {Peter Buneman and
               Leonid Libkin and
               Dan Suciu and
               Val Tannen and
               Limsoon Wong},
  title     = {Comprehension Syntax},
  journal   = {{SIGMOD} Record},
  volume    = {23},
  number    = {1},
  pages     = {87--96},
  year      = {1994},
  url       = {https://doi.org/10.1145/181550.181564},
  doi       = {10.1145/181550.181564},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigmod/BunemanLSTW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/Breazu-Tannen94,
  author    = {Val Breazu{-}Tannen},
  title     = {Collection Types in Databases},
  booktitle = {Dixi{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
               30 Ao{\^{u}}t - 2 Septembre 1994, Clermont-Ferrand, France (Informal
               Proceedings).},
  year      = {1994},
  crossref  = {DBLP:conf/bda/1994},
  timestamp = {Fri, 22 Jun 2018 07:11:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bda/Breazu-Tannen94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/SuciuT94,
  author    = {Dan Suciu and
               Val Tannen},
  title     = {A Query Language for {NC}},
  booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
               Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
               USA, 13-16 October 1994},
  pages     = {503--514},
  year      = {1994},
  crossref  = {DBLP:conf/lcc/1994},
  url       = {https://doi.org/10.1007/3-540-60178-3\_100},
  doi       = {10.1007/3-540-60178-3\_100},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lcc/SuciuT94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Tannen94,
  author    = {Val Tannen},
  title     = {Tutorial: Languages for Collection Types},
  booktitle = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota,
               {USA}},
  pages     = {150--154},
  year      = {1994},
  crossref  = {DBLP:conf/pods/94},
  url       = {https://doi.org/10.1145/182591.182608},
  doi       = {10.1145/182591.182608},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/Tannen94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SuciuT94,
  author    = {Dan Suciu and
               Val Tannen},
  title     = {A Query Language for {NC}},
  booktitle = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota,
               {USA}},
  pages     = {167--178},
  year      = {1994},
  crossref  = {DBLP:conf/pods/94},
  url       = {https://doi.org/10.1145/182591.182610},
  doi       = {10.1145/182591.182610},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/SuciuT94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/SuciuT94,
  author    = {Dan Suciu and
               Val Tannen},
  title     = {Efficient Compilation of High-Level Data Parallel Algorithms},
  booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Parallel Algorithms
               and Architectures, {SPAA} '94, Cape May, New Jersey, USA, June 27-29,
               1994},
  pages     = {57--66},
  year      = {1994},
  crossref  = {DBLP:conf/spaa/1994},
  url       = {https://doi.org/10.1145/181014.181032},
  doi       = {10.1145/181014.181032},
  timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/SuciuT94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/TannenM93,
  author    = {Val Tannen and
               Albert R. Meyer},
  title     = {Conservativity of Equational Theories in Typed Lambda Calculi},
  journal   = {Fundam. Inform.},
  volume    = {19},
  number    = {1/2},
  pages     = {1--49},
  year      = {1993},
  timestamp = {Thu, 27 Nov 2003 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/TannenM93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Breazu-TannenKP93,
  author    = {Val Tannen and
               Delia Kesner and
               Laurence Puel},
  title     = {A Typed Pattern Calculus},
  booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
               {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  pages     = {262--274},
  year      = {1993},
  crossref  = {DBLP:conf/lics/1993},
  url       = {https://doi.org/10.1109/LICS.1993.287581},
  doi       = {10.1109/LICS.1993.287581},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Breazu-TannenKP93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/TannenBW92,
  author    = {Val Tannen and
               Peter Buneman and
               Limsoon Wong},
  title     = {Naturally Embedded Query Languages},
  booktitle = {Database Theory - ICDT'92, 4th International Conference, Berlin, Germany,
               October 14-16, 1992, Proceedings},
  pages     = {140--154},
  year      = {1992},
  crossref  = {DBLP:conf/icdt/92},
  url       = {https://doi.org/10.1007/3-540-56039-4\_38},
  doi       = {10.1007/3-540-56039-4\_38},
  timestamp = {Mon, 13 Nov 2017 16:57:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/TannenBW92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TannenS92,
  author    = {Val Tannen and
               Ramesh Subrahmanyam},
  title     = {On Extending Computational Adequacy by Data Abstraction},
  booktitle = {{LISP} and Functional Programming},
  pages     = {161--169},
  year      = {1992},
  url       = {https://doi.org/10.1145/141471.141530},
  doi       = {10.1145/141471.141530},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/TannenS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/TannenBO91,
  author    = {Val Tannen and
               Peter Buneman and
               Atsushi Ohori},
  title     = {Data Structures and Data Types for Object-Oriented Databases},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {14},
  number    = {2},
  pages     = {23--27},
  year      = {1991},
  url       = {http://sites.computer.org/debull/91JUN-CD.pdf},
  timestamp = {Wed, 19 Dec 2007 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/debu/TannenBO91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Breazu-TannenCGS91,
  author    = {Val Tannen and
               Thierry Coquand and
               Carl A. Gunter and
               Andre Scedrov},
  title     = {Inheritance as Implicit Coercion},
  journal   = {Inf. Comput.},
  volume    = {93},
  number    = {1},
  pages     = {172--221},
  year      = {1991},
  url       = {https://doi.org/10.1016/0890-5401(91)90055-7},
  doi       = {10.1016/0890-5401(91)90055-7},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/Breazu-TannenCGS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TannenG91,
  author    = {Val Tannen and
               Jean H. Gallier},
  title     = {Polymorphic Rewriting Conserves Algebraic Strong Normalization},
  journal   = {Theor. Comput. Sci.},
  volume    = {83},
  number    = {1},
  pages     = {3--28},
  year      = {1991},
  url       = {https://doi.org/10.1016/0304-3975(91)90037-3},
  doi       = {10.1016/0304-3975(91)90037-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/TannenG91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Breazu-TannenS91,
  author    = {Val Breazu{-}Tannen and
               Ramesh Subrahmanyam},
  title     = {On Adding Algebraic Theories with Induction to Typed Lambda Calculi},
  booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
               of the Second International Conference on Methodology and Software
               Technology, Iowa City, USA, 22-25 May 1991},
  pages     = {327--340},
  year      = {1991},
  crossref  = {DBLP:conf/amast/1991},
  timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/amast/Breazu-TannenS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/TannenBN91,
  author    = {Val Tannen and
               Peter Buneman and
               Shamim A. Naqvi},
  title     = {Structural Recursion as a Query Language},
  booktitle = {Database Programming Languages: Bulk Types and Persistent Data. 3rd
               International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
  pages     = {9--19},
  year      = {1991},
  crossref  = {DBLP:conf/dbpl/91},
  timestamp = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dbpl/TannenBN91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/TannenS91,
  author    = {Val Tannen and
               Ramesh Subrahmanyam},
  title     = {Logical and Computational Aspects of Programming with Sets/Bags/Lists},
  booktitle = {Automata, Languages and Programming, 18th International Colloquium,
               ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
  pages     = {60--75},
  year      = {1991},
  crossref  = {DBLP:conf/icalp/1991},
  url       = {https://doi.org/10.1007/3-540-54233-7\_125},
  doi       = {10.1007/3-540-54233-7\_125},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/TannenS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TannenGS90,
  author    = {Val Tannen and
               Carl A. Gunter and
               Andre Scedrov},
  title     = {Computing with Coercions},
  booktitle = {{LISP} and Functional Programming},
  pages     = {44--60},
  year      = {1990},
  url       = {https://doi.org/10.1145/91556.91590},
  doi       = {10.1145/91556.91590},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/TannenGS90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/TannenBO89,
  author    = {Val Tannen and
               Peter Buneman and
               Atsushi Ohori},
  title     = {Static Type-checking in Object-Oriented Databases},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {12},
  number    = {3},
  pages     = {5--12},
  year      = {1989},
  url       = {http://sites.computer.org/debull/89SEP-CD.pdf},
  timestamp = {Wed, 19 Dec 2007 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/debu/TannenBO89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/TannenBO89,
  author    = {Val Tannen and
               Peter Buneman and
               Atsushi Ohori},
  title     = {Can Object-Oriented Databases be Statically Typed?},
  booktitle = {Proceedings of the Second International Workshop on Database Programming
               Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon,
               {USA}},
  pages     = {226--237},
  year      = {1989},
  crossref  = {DBLP:conf/dbpl/89},
  timestamp = {Wed, 20 Jun 2018 17:19:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dbpl/TannenBO89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/TannenG89,
  author    = {Val Tannen and
               Jean H. Gallier},
  title     = {Polymorphic Rewriting Conserves Algebraic Strong Normalization and
               Confluence},
  booktitle = {Automata, Languages and Programming, 16th International Colloquium,
               ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
  pages     = {137--150},
  year      = {1989},
  crossref  = {DBLP:conf/icalp/1989},
  url       = {https://doi.org/10.1007/BFb0035757},
  doi       = {10.1007/BFb0035757},
  timestamp = {Thu, 15 Jun 2017 21:39:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/TannenG89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Breazu-TannenCGS89,
  author    = {Val Tannen and
               Thierry Coquand and
               Carl A. Gunter and
               Andre Scedrov},
  title     = {Inheritance and Explicit Coercion (Preliminary Report)},
  booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
               {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
  pages     = {112--129},
  year      = {1989},
  crossref  = {DBLP:conf/lics/1989},
  url       = {https://doi.org/10.1109/LICS.1989.39166},
  doi       = {10.1109/LICS.1989.39166},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Breazu-TannenCGS89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/OhoriBT89,
  author    = {Atsushi Ohori and
               Peter Buneman and
               Val Tannen},
  title     = {Database Programming in Machiavelli - a Polymorphic Language with
               Static Type Inference},
  booktitle = {Proceedings of the 1989 {ACM} {SIGMOD} International Conference on
               Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989.},
  pages     = {46--57},
  year      = {1989},
  crossref  = {DBLP:conf/sigmod/89},
  url       = {https://doi.org/10.1145/67544.66931},
  doi       = {10.1145/67544.66931},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/OhoriBT89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TannenC88,
  author    = {Val Tannen and
               Thierry Coquand},
  title     = {Extensional Models for Polymorphism},
  journal   = {Theor. Comput. Sci.},
  volume    = {59},
  pages     = {85--114},
  year      = {1988},
  url       = {https://doi.org/10.1016/0304-3975(88)90097-7},
  doi       = {10.1016/0304-3975(88)90097-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/TannenC88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Breazu-Tannen88a,
  author    = {Val Tannen},
  title     = {Combining Algebra and Higher-Order Types},
  booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
               {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
  pages     = {82--90},
  year      = {1988},
  crossref  = {DBLP:conf/lics/1988},
  url       = {https://doi.org/10.1109/LICS.1988.5103},
  doi       = {10.1109/LICS.1988.5103},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Breazu-Tannen88a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Breazu-TannenM87,
  author    = {Val Tannen and
               Albert R. Meyer},
  title     = {Polymorphism is conservative over simple types (Preliminary Report)},
  booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
               '87), Ithaca, New York, USA, June 22-25, 1987},
  pages     = {7--17},
  year      = {1987},
  crossref  = {DBLP:conf/lics/1987},
  timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Breazu-TannenM87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/TannenM87,
  author    = {Val Tannen and
               Albert R. Meyer},
  title     = {Computable Values Can Be Classical},
  booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
               of Programming Languages, Munich, Germany, January 21-23, 1987},
  pages     = {238--245},
  year      = {1987},
  crossref  = {DBLP:conf/popl/1987},
  url       = {https://doi.org/10.1145/41625.41646},
  doi       = {10.1145/41625.41646},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/TannenM87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/TannenC87,
  author    = {Val Tannen and
               Thierry Coquand},
  title     = {Extensional Models for Polymorphism},
  booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
               Volume 2: Advanced Seminar on Foundations of Innovative Software Development
               {II} and Colloquium on Functional and Logic Programming and Specifications
               {(CFLP)}},
  pages     = {291--307},
  year      = {1987},
  crossref  = {DBLP:conf/tapsoft/1987-2},
  url       = {https://doi.org/10.1007/BFb0014987},
  doi       = {10.1007/BFb0014987},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/TannenC87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Breazu-TannenM85,
  author    = {Val Breazu{-}Tannen and
               Albert R. Meyer},
  title     = {Lambda Calculus with Constrained Types (Extended Abstract)},
  booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
               June 17-19, 1985, Proceedings},
  pages     = {23--40},
  year      = {1985},
  crossref  = {DBLP:conf/lop/1985},
  url       = {https://doi.org/10.1007/3-540-15648-8\_3},
  doi       = {10.1007/3-540-15648-8\_3},
  timestamp = {Thu, 05 Jul 2018 07:59:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lop/Breazu-TannenM85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BreazuS81,
  author    = {Val Tannen and
               Octavian Stanasila},
  title     = {A Generalization of Kleene's Theorem and Nondeterministic Structured
               Programming},
  journal   = {Information and Control},
  volume    = {51},
  number    = {2},
  pages     = {146--152},
  year      = {1981},
  url       = {https://doi.org/10.1016/S0019-9958(81)90235-7},
  doi       = {10.1016/S0019-9958(81)90235-7},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/BreazuS81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018lee,
  editor    = {Marten Lohstroh and
               Patricia Derler and
               Marjan Sirjani},
  title     = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
               Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {10760},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-95246-8},
  doi       = {10.1007/978-3-319-95246-8},
  isbn      = {978-3-319-95245-1},
  timestamp = {Fri, 20 Jul 2018 10:53:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2018lee},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/db/2018,
  editor    = {Ling Liu and
               M. Tamer {\"{O}}zsu},
  title     = {Encyclopedia of Database Systems, Second Edition},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-1-4614-8265-9},
  doi       = {10.1007/978-1-4614-8265-9},
  isbn      = {978-1-4614-8266-6},
  timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2017,
  editor    = {Michael Benedikt and
               Giorgio Orsi},
  title     = {20th International Conference on Database Theory, {ICDT} 2017, March
               21-24, 2017, Venice, Italy},
  series    = {LIPIcs},
  volume    = {68},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-024-8},
  isbn      = {978-3-95977-024-8},
  timestamp = {Tue, 26 Dec 2017 18:09:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2017,
  editor    = {Emanuel Sallinger and
               Jan Van den Bussche and
               Floris Geerts},
  title     = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
               of Database Systems, {PODS} 2017, Chicago, IL, USA, May 14-19, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3034786},
  isbn      = {978-1-4503-4198-1},
  timestamp = {Wed, 10 May 2017 22:15:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pods/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2016,
  editor    = {Wim Martens and
               Thomas Zeume},
  title     = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
               France, March 15-18, 2016},
  series    = {LIPIcs},
  volume    = {48},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-002-6},
  isbn      = {978-3-95977-002-6},
  timestamp = {Wed, 23 Mar 2016 10:09:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2016,
  editor    = {Tova Milo and
               Wang{-}Chiew Tan},
  title     = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
               of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
               - July 01, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2902251},
  doi       = {10.1145/2902251},
  isbn      = {978-1-4503-4191-2},
  timestamp = {Tue, 06 Nov 2018 16:58:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapp/2016,
  editor    = {Sarah Cohen Boulakia},
  title     = {8th {USENIX} Workshop on the Theory and Practice of Provenance, TaPP
               2016, Washington, D.C., USA, June 8-9, 2016},
  publisher = {{USENIX} Association},
  year      = {2016},
  url       = {https://www.usenix.org/conference/tapp16},
  timestamp = {Sat, 30 Sep 2017 21:10:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2015,
  editor    = {Prahladh Harsha and
               G. Ramalingam},
  title     = {35th {IARCS} Annual Conference on Foundation of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
               Bangalore, India},
  series    = {LIPIcs},
  volume    = {45},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-97-2},
  isbn      = {978-3-939897-97-2},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2014,
  editor    = {Nicole Schweikardt and
               Vassilis Christophides and
               Vincent Leroy},
  title     = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
               Greece, March 24-28, 2014},
  publisher = {OpenProceedings.org},
  year      = {2014},
  url       = {http://openproceedings.org/html/pages/2014\_icdt.html},
  timestamp = {Tue, 16 Jan 2018 17:46:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013buneman,
  editor    = {Val Tannen and
               Limsoon Wong and
               Leonid Libkin and
               Wenfei Fan and
               Wang{-}Chiew Tan and
               Michael P. Fourman},
  title     = {In Search of Elegance in the Theory and Practice of Computation -
               Essays Dedicated to Peter Buneman},
  series    = {Lecture Notes in Computer Science},
  volume    = {8000},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41660-6},
  doi       = {10.1007/978-3-642-41660-6},
  isbn      = {978-3-642-41659-0},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2013buneman},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cidr/2013,
  title     = {{CIDR} 2013, Sixth Biennial Conference on Innovative Data Systems
               Research, Asilomar, CA, USA, January 6-9, 2013, Online Proceedings},
  publisher = {www.cidrdb.org},
  year      = {2013},
  url       = {http://cidrdb.org/cidr2013/index.html},
  timestamp = {Thu, 02 Feb 2017 11:12:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cidr/2011,
  title     = {{CIDR} 2011, Fifth Biennial Conference on Innovative Data Systems
               Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings},
  publisher = {www.cidrdb.org},
  year      = {2011},
  url       = {http://cidrdb.org/cidr2011/index.html},
  timestamp = {Thu, 02 Feb 2017 11:12:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icde/2011,
  editor    = {Serge Abiteboul and
               Klemens B{\"{o}}hm and
               Christoph Koch and
               Kian{-}Lee Tan},
  title     = {Proceedings of the 27th International Conference on Data Engineering,
               {ICDE} 2011, April 11-16, 2011, Hannover, Germany},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5765035},
  isbn      = {978-1-4244-8958-9},
  timestamp = {Mon, 25 Apr 2016 16:57:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icde/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2011,
  editor    = {Tova Milo},
  title     = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
               Sweden, March 21-24, 2011, Proceedings},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0529-7},
  timestamp = {Mon, 14 Feb 2011 10:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2011,
  editor    = {Maurizio Lenzerini and
               Thomas Schwentick},
  title     = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens,
               Greece},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1989284},
  isbn      = {978-1-4503-0660-7},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pods/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapp/2011,
  editor    = {Peter Buneman and
               Juliana Freire},
  title     = {3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion,
               Crete, Greece, June 20-21, 2011},
  publisher = {{USENIX} Association},
  year      = {2011},
  url       = {https://www.usenix.org/conference/tapp11},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amw/2010,
  editor    = {Alberto H. F. Laender and
               Laks V. S. Lakshmanan},
  title     = {Proceedings of the 4th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Buenos Aires, Argentina, May 17-20,
               2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {619},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-619},
  urn       = {urn:nbn:de:0074-619-9},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edbt/2010,
  editor    = {Ioana Manolescu and
               Stefano Spaccapietra and
               Jens Teubner and
               Masaru Kitsuregawa and
               Alain L{\'{e}}ger and
               Felix Naumann and
               Anastasia Ailamaki and
               Fatma {\"{O}}zcan},
  title     = {{EDBT} 2010, 13th International Conference on Extending Database Technology,
               Lausanne, Switzerland, March 22-26, 2010, Proceedings},
  series    = {{ACM} International Conference Proceeding Series},
  volume    = {426},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-945-9},
  timestamp = {Thu, 18 Mar 2010 15:19:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/edbt/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2010,
  editor    = {Ahmed K. Elmagarmid and
               Divyakant Agrawal},
  title     = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2010, Indianapolis, Indiana, USA, June 6-10, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0032-2},
  timestamp = {Mon, 07 Jun 2010 07:19:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2009,
  editor    = {Ronald Fagin},
  title     = {Database Theory - {ICDT} 2009, 12th International Conference, St.
               Petersburg, Russia, March 23-25, 2009, Proceedings},
  series    = {{ACM} International Conference Proceeding Series},
  volume    = {361},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-423-2},
  timestamp = {Tue, 24 Mar 2009 07:59:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/igi/Erickson2009,
  editor    = {John Erickson},
  title     = {Database Technologies: Concepts, Methodologies, Tools, and Applications
               {(4} Volumes)},
  publisher = {{IGI} Global},
  year      = {2009},
  url       = {https://doi.org/10.4018/978-1-60566-058-5},
  doi       = {10.4018/978-1-60566-058-5},
  isbn      = {9781605660585},
  timestamp = {Tue, 16 May 2017 14:01:33 +0200},
  biburl    = {https://dblp.org/rec/bib/books/igi/Erickson2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/db/2009,
  editor    = {Ling Liu and
               M. Tamer {\"{O}}zsu},
  title     = {Encyclopedia of Database Systems},
  publisher = {Springer {US}},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-0-387-39940-9},
  doi       = {10.1007/978-0-387-39940-9},
  isbn      = {978-0-387-35544-3},
  timestamp = {Wed, 13 Feb 2019 16:24:27 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/db/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipaw/2008,
  editor    = {Juliana Freire and
               David Koop and
               Luc Moreau},
  title     = {Provenance and Annotation of Data and Processes, Second International
               Provenance and Annotation Workshop, {IPAW} 2008, Salt Lake City, UT,
               USA, June 17-18, 2008. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5272},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89965-5},
  doi       = {10.1007/978-3-540-89965-5},
  isbn      = {978-3-540-89964-8},
  timestamp = {Fri, 19 Oct 2018 16:50:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipaw/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2008,
  editor    = {Maurizio Lenzerini and
               Domenico Lembo},
  title     = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
               on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
               BC, Canada},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://dl.acm.org/citation.cfm?id=1376916},
  isbn      = {978-1-60558-108-8},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pods/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2007,
  editor    = {Leonid Libkin},
  title     = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 11-13, 2007, Beijing, China},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1265530},
  isbn      = {978-1-59593-685-1},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pods/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2007,
  editor    = {Chee Yong Chan and
               Beng Chin Ooi and
               Aoying Zhou},
  title     = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, Beijing, China, June 12-14, 2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-686-8},
  timestamp = {Wed, 13 Jun 2007 08:33:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vldb/2007,
  editor    = {Christoph Koch and
               Johannes Gehrke and
               Minos N. Garofalakis and
               Divesh Srivastava and
               Karl Aberer and
               Anand Deshpande and
               Daniela Florescu and
               Chee Yong Chan and
               Venkatesh Ganti and
               Carl{-}Christian Kanne and
               Wolfgang Klas and
               Erich J. Neuhold},
  title     = {Proceedings of the 33rd International Conference on Very Large Data
               Bases, University of Vienna, Austria, September 23-27, 2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-649-3},
  timestamp = {Thu, 03 Mar 2016 17:54:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vldb/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edbtw/2006,
  editor    = {Torsten Grust and
               Hagen H{\"{o}}pfner and
               Arantza Illarramendi and
               Stefan Jablonski and
               Marco Mesiti and
               Sascha M{\"{u}}ller and
               Paula{-}Lavinia Patranjan and
               Kai{-}Uwe Sattler and
               Myra Spiliopoulou and
               Jef Wijsen},
  title     = {Current Trends in Database Technology - {EDBT} 2006, {EDBT} 2006 Workshops
               PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on
               the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4254},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11896548},
  doi       = {10.1007/11896548},
  isbn      = {3-540-46788-2},
  timestamp = {Thu, 20 Jul 2017 09:26:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edbtw/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2005,
  editor    = {Yolanda Gil and
               Enrico Motta and
               V. Richard Benjamins and
               Mark A. Musen},
  title     = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
               {ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3729},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11574620},
  doi       = {10.1007/11574620},
  isbn      = {3-540-29754-5},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P4391,
  editor    = {Yannis Kalfoglou and
               W. Marco Schorlemmer and
               Amit P. Sheth and
               Steffen Staab and
               Michael Uschold},
  title     = {Semantic Interoperability and Integration},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {04391},
  publisher = {IBFI, Schloss Dagstuhl, Germany},
  year      = {2005},
  url       = {http://drops.dagstuhl.de/portals/04391/},
  timestamp = {Wed, 19 Jun 2013 12:20:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2005P4391},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2003,
  editor    = {Diego Calvanese and
               Maurizio Lenzerini and
               Rajeev Motwani},
  title     = {Database Theory - {ICDT} 2003, 9th International Conference, Siena,
               Italy, January 8-10, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2572},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36285-1},
  doi       = {10.1007/3-540-36285-1},
  isbn      = {3-540-00323-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2003,
  editor    = {Dieter Fensel and
               Katia P. Sycara and
               John Mylopoulos},
  title     = {The Semantic Web - {ISWC} 2003, Second International Semantic Web
               Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2870},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b14287},
  doi       = {10.1007/b14287},
  isbn      = {3-540-20362-1},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2003swdb,
  editor    = {Isabel F. Cruz and
               Vipul Kashyap and
               Stefan Decker and
               Rainer Eckstein},
  title     = {Proceedings of SWDB'03, The first International Workshop on Semantic
               Web and Databases, Co-located with {VLDB} 2003, Humboldt-Universit{\"{a}}t,
               Berlin, Germany, September 7-8, 2003},
  year      = {2003},
  timestamp = {Wed, 17 Sep 2003 16:12:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/2003swdb},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vldb/2003,
  editor    = {Johann Christoph Freytag and
               Peter C. Lockemann and
               Serge Abiteboul and
               Michael J. Carey and
               Patricia G. Selinger and
               Andreas Heuer},
  title     = {{VLDB} 2003, Proceedings of 29th International Conference on Very
               Large Data Bases, September 9-12, 2003, Berlin, Germany},
  publisher = {Morgan Kaufmann},
  year      = {2003},
  url       = {http://www.vldb.org/conf/2003/index.html},
  isbn      = {0-12-722442-4},
  timestamp = {Tue, 07 Nov 2017 06:51:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vldb/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbpl/2001,
  editor    = {Giorgio Ghelli and
               G{\"{o}}sta Grahne},
  title     = {Database Programming Languages, 8th International Workshop, {DBPL}
               2001, Frascati, Italy, September 8-10, 2001, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2397},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46093-4},
  doi       = {10.1007/3-540-46093-4},
  isbn      = {3-540-44080-1},
  timestamp = {Fri, 26 May 2017 14:09:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dbpl/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/krdb/2001,
  editor    = {Maurizio Lenzerini and
               Daniele Nardi and
               Werner Nutt and
               Dan Suciu},
  title     = {Proceedings of the 8th International Workshop on Knowledge Representation
               meets Databases {(KRDB} 2001), Rome, Italy, September 15, 2001},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {45},
  publisher = {CEUR-WS.org},
  year      = {2001},
  url       = {http://ceur-ws.org/Vol-45},
  urn       = {urn:nbn:de:0074-45-6},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/krdb/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/webdb/2001,
  editor    = {Giansalvatore Mecca and
               J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
  title     = {Proceedings of the Fourth International Workshop on the Web and Databases,
               WebDB 2001, Santa Barbara, California, USA, May 24-25, 2001, in conjunction
               with {ACM} {PODS/SIGMOD} 2001. Informal proceedings},
  year      = {2001},
  timestamp = {Wed, 08 Feb 2017 17:14:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/webdb/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2000,
  editor    = {Weidong Chen and
               Jeffrey F. Naughton and
               Philip A. Bernstein},
  title     = {Proceedings of the 2000 {ACM} {SIGMOD} International Conference on
               Management of Data, May 16-18, 2000, Dallas, Texas, {USA}},
  publisher = {{ACM}},
  year      = {2000},
  url       = {https://doi.org/10.1145/342009},
  doi       = {10.1145/342009},
  isbn      = {1-58113-217-4},
  timestamp = {Wed, 17 May 2017 14:24:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amia/1999,
  title     = {{AMIA} 1999, American Medical Informatics Association Annual Symposium,
               Washington, DC, USA, November 6-10, 1999},
  publisher = {{AMIA}},
  year      = {1999},
  url       = {http://knowledge.amia.org/amia-55142-a1999a-1.591078},
  timestamp = {Sat, 09 Aug 2014 14:42:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amia/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/99,
  editor    = {Catriel Beeri and
               Peter Buneman},
  title     = {Database Theory - {ICDT} '99, 7th International Conference, Jerusalem,
               Israel, January 10-12, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1540},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-49257-7},
  doi       = {10.1007/3-540-49257-7},
  isbn      = {3-540-65452-6},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vldb/99,
  editor    = {Malcolm P. Atkinson and
               Maria E. Orlowska and
               Patrick Valduriez and
               Stanley B. Zdonik and
               Michael L. Brodie},
  title     = {VLDB'99, Proceedings of 25th International Conference on Very Large
               Data Bases, September 7-10, 1999, Edinburgh, Scotland, {UK}},
  publisher = {Morgan Kaufmann},
  year      = {1999},
  isbn      = {1-55860-615-7},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vldb/99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mis/1998,
  editor    = {Sushil Jajodia and
               M. Tamer {\"{O}}zsu and
               Asuman Dogac},
  title     = {Advances in Multimedia Information Systems, 4th International Workshop,
               MIS'98, Istanbul, Turkey, September 24-26, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1508},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49651-3},
  doi       = {10.1007/3-540-49651-3},
  isbn      = {3-540-65107-1},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mis/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1997,
  editor    = {Eugenio Moggi and
               Giuseppe Rosolini},
  title     = {Category Theory and Computer Science, 7th International Conference,
               {CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1290},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0026977},
  doi       = {10.1007/BFb0026977},
  isbn      = {3-540-63455-X},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ctcs/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cikm/96,
  title     = {{CIKM} '96, Proceedings of the Fifth International Conference on Information
               and Knowledge Management, November 12 - 16, 1996, Rockville, Maryland,
               {USA}},
  publisher = {{ACM}},
  year      = {1996},
  timestamp = {Thu, 05 Dec 2002 12:24:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cikm/96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bda/1994,
  editor    = {Nicole Bidoit},
  title     = {Dixi{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
               30 Ao{\^{u}}t - 2 Septembre 1994, Clermont-Ferrand, France (Informal
               Proceedings)},
  publisher = {{INRIA}},
  year      = {1994},
  timestamp = {Fri, 22 Jun 2018 07:11:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bda/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lcc/1994,
  editor    = {Daniel Leivant},
  title     = {Logical and Computational Complexity. Selected Papers. Logic and Computational
               Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
               USA, 13-16 October 1994},
  series    = {Lecture Notes in Computer Science},
  volume    = {960},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60178-3},
  doi       = {10.1007/3-540-60178-3},
  isbn      = {3-540-60178-3},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lcc/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/94,
  editor    = {Victor Vianu},
  title     = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota,
               {USA}},
  publisher = {{ACM} Press},
  year      = {1994},
  url       = {http://dl.acm.org/citation.cfm?id=182591},
  isbn      = {0-89791-642-5},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pods/94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spaa/1994,
  editor    = {Lawrence Snyder and
               Charles E. Leiserson},
  title     = {Proceedings of the 6th Annual {ACM} Symposium on Parallel Algorithms
               and Architectures, {SPAA} '94, Cape May, New Jersey, USA, June 27-29,
               1994},
  publisher = {{ACM}},
  year      = {1994},
  url       = {https://doi.org/10.1145/181014},
  doi       = {10.1145/181014},
  isbn      = {0-89791-671-9},
  timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1993,
  title     = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
               {(LICS} '93), Montreal, Canada, June 19-23, 1993},
  publisher = {{IEEE} Computer Society},
  year      = {1993},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=899},
  isbn      = {0-8186-3140-6},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/92,
  editor    = {Joachim Biskup and
               Richard Hull},
  title     = {Database Theory - ICDT'92, 4th International Conference, Berlin, Germany,
               October 14-16, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {646},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-56039-4},
  doi       = {10.1007/3-540-56039-4},
  isbn      = {3-540-56039-4},
  timestamp = {Mon, 13 Nov 2017 16:57:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/1991,
  editor    = {Maurice Nivat and
               Charles Rattray and
               Teodor Rus and
               Giuseppe Scollo},
  title     = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
               of the Second International Conference on Methodology and Software
               Technology, Iowa City, USA, 22-25 May 1991},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1992},
  isbn      = {3-540-19797-4},
  timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/amast/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbpl/91,
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {Database Programming Languages: Bulk Types and Persistent Data. 3rd
               International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-242-9},
  timestamp = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dbpl/91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1991,
  editor    = {Javier Leach Albert and
               Burkhard Monien and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {Automata, Languages and Programming, 18th International Colloquium,
               ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {510},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54233-7},
  doi       = {10.1007/3-540-54233-7},
  isbn      = {3-540-54233-7},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbpl/89,
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {Proceedings of the Second International Workshop on Database Programming
               Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon,
               {USA}},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-072-8},
  timestamp = {Wed, 20 Jun 2018 17:19:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dbpl/89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1989,
  editor    = {Giorgio Ausiello and
               Mariangiola Dezani{-}Ciancaglini and
               Simona Ronchi Della Rocca},
  title     = {Automata, Languages and Programming, 16th International Colloquium,
               ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {372},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/BFb0035746},
  doi       = {10.1007/BFb0035746},
  isbn      = {3-540-51371-X},
  timestamp = {Thu, 15 Jun 2017 21:39:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1989,
  title     = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
               {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
  publisher = {{IEEE} Computer Society},
  year      = {1989},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=249},
  isbn      = {0-8186-1954-6},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/89,
  editor    = {James Clifford and
               Bruce G. Lindsay and
               David Maier},
  title     = {Proceedings of the 1989 {ACM} {SIGMOD} International Conference on
               Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989},
  publisher = {{ACM} Press},
  year      = {1989},
  timestamp = {Thu, 21 Jun 2018 07:58:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1988,
  title     = {Proceedings of the Third Annual Symposium on Logic in Computer Science
               {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=203},
  isbn      = {0-8186-0853-6},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1987,
  title     = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
               '87), Ithaca, New York, USA, June 22-25, 1987},
  publisher = {{IEEE} Computer Society},
  year      = {1987},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1987,
  title     = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
               of Programming Languages, Munich, Germany, January 21-23, 1987},
  publisher = {{ACM} Press},
  year      = {1987},
  url       = {http://dl.acm.org/citation.cfm?id=41625},
  isbn      = {0-89791-215-2},
  timestamp = {Mon, 21 May 2012 16:19:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1987-2,
  editor    = {Hartmut Ehrig and
               Robert A. Kowalski and
               Giorgio Levi and
               Ugo Montanari},
  title     = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
               Volume 2: Advanced Seminar on Foundations of Innovative Software Development
               {II} and Colloquium on Functional and Logic Programming and Specifications
               {(CFLP)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {250},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/BFb0014968},
  doi       = {10.1007/BFb0014968},
  isbn      = {3-540-17611-X},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1987-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lop/1985,
  editor    = {Rohit Parikh},
  title     = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
               June 17-19, 1985, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {193},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/3-540-15648-8},
  doi       = {10.1007/3-540-15648-8},
  isbn      = {3-540-15648-8},
  timestamp = {Thu, 05 Jul 2018 07:59:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lop/1985},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier