In Search of Elegance in the Theory and Practice of Computation

Publications

2013

Grigoris Karvounarakis, Irini Fundulaki, Vassilis Christophides
Provenance for Linked Data. In Search of Elegance in the Theory and Practice of Computation (2013)
Martin Grohe
Bounds and Algorithms for Joins via Fractional Edge Covers. In Search of Elegance in the Theory and Practice of Computation (2013)
Wenfei Fan, Floris Geerts, Shuai Ma, Nan Tang, Wenyuan Yu
Data Quality Problems beyond Consistency and Deduplication. In Search of Elegance in the Theory and Practice of Computation (2013)
Boris Glavic, Renée J. Miller, Gustavo Alonso
Using SQL for Efficient Generation and Querying of Provenance Information. In Search of Elegance in the Theory and Practice of Computation (2013)
Val Tannen
Provenance Propagation in Complex Queries. In Search of Elegance in the Theory and Practice of Computation (2013)
Daniel N. Osherson, Scott Weinstein
Modal Logic for Preference Based on Reasons. In Search of Elegance in the Theory and Practice of Computation (2013)
Magdalena Balazinska, Bill Howe, Paraschos Koutris, Dan Suciu, Prasang Upadhyaya
A Discussion on Pricing Relational Data. In Search of Elegance in the Theory and Practice of Computation (2013)
Bogdan Alexe, Douglas Burdick, Mauricio A. Hernández, Georgia Koutrika, Rajasekar Krishnamurthy, Lucian Popa, Ioana Stanoi, Ryan Wisnesky
High-Level Rules for Integration and Analysis of Data: New Challenges. In Search of Elegance in the Theory and Practice of Computation (2013)
Hassan Aït-Kaci
An Abstract, Reusable, and Extensible Programming Language Design Architecture. In Search of Elegance in the Theory and Practice of Computation (2013)
Amélie Gheerbrant, Leonid Libkin, Juan L. Reutter
Static Analysis and Query Answering for Incomplete Data Trees with Constraints. In Search of Elegance in the Theory and Practice of Computation (2013)
Jan Van den Bussche, Stijn Vansummeren
Well-Defined NRC Queries Can Be Typed - (Extended Abstract). In Search of Elegance in the Theory and Practice of Computation (2013)
David W. Archer, Lois M. L. Delcambre, David Maier
User Trust and Judgments in a Curated Database with Explicit Provenance. In Search of Elegance in the Theory and Practice of Computation (2013)
Limsoon Wong
The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset. In Search of Elegance in the Theory and Practice of Computation (2013)
Sven Köhler, Bertram Ludäscher, Daniel Zinn
First-Order Provenance Games. In Search of Elegance in the Theory and Practice of Computation (2013)
Keishi Tajima
Schemaless Semistructured Data Revisited - - Reinventing Peter Buneman's Deterministic Semistructured Data Model -. In Search of Elegance in the Theory and Practice of Computation (2013)
Carmem Satie Hara, Cristina Dutra de Aguiar Ciferri, Ricardo Rodrigues Ciferri
Incremental Data Fusion Based on Provenance Information. In Search of Elegance in the Theory and Practice of Computation (2013)
Andrea Calì, Georg Gottlob, Andreas Pieris
Tractable Reasoning in Description Logics with Functionality Constraints. In Search of Elegance in the Theory and Practice of Computation (2013)
Atsushi Ohori
Record Polymorphism: Its Development and Applications. In Search of Elegance in the Theory and Practice of Computation (2013)
Bogdan Alexe, Wang-Chiew Tan
A New Framework for Designing Schema Mappings. In Search of Elegance in the Theory and Practice of Computation (2013)
Jing Zhang, H. V. Jagadish
Provenance in a Modifiable Data Set. In Search of Elegance in the Theory and Practice of Computation (2013)
Stratis Viglas
Nine Years with Peter Buneman. In Search of Elegance in the Theory and Practice of Computation (2013)
Michael P. Fourman
Hitting Buneman Circles. In Search of Elegance in the Theory and Practice of Computation (2013)
Serge Abiteboul, Victor Vianu
Models for Data-Centric Workflows. In Search of Elegance in the Theory and Practice of Computation (2013)
Gordon D. Plotkin
A Calculus of Chemical Systems. In Search of Elegance in the Theory and Practice of Computation (2013)
Susan B. Davidson, Sanjeev Khanna, Tova Milo
To Show or Not to Show in Workflow Provenance. In Search of Elegance in the Theory and Practice of Computation (2013)
Rishiyur S. Nikhil
Types, Functional Programming and Atomic Transactions in Hardware Design. In Search of Elegance in the Theory and Practice of Computation (2013)
James Cheney, Umut A. Acar, Roly Perera
Toward a Theory of Self-explaining Computation. In Search of Elegance in the Theory and Practice of Computation (2013)
Alin Deutsch, Richard Hull
Provenance-Directed Chase&Backchase. In Search of Elegance in the Theory and Practice of Computation (2013)
Samson Abramsky
Relational Databases and Bell's Theorem. In Search of Elegance in the Theory and Practice of Computation (2013)
Natalia Kwasnikowska, Jan Van den Bussche
Querying an Integrated Complex-Object Dataflow Database. In Search of Elegance in the Theory and Practice of Computation (2013)
Floris Geerts, Anastasios Kementsietsidis, Heiko Müller
Looking at the World Thru Colored Glasses. In Search of Elegance in the Theory and Practice of Computation (2013)

volume 8000, 2013

In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman In Search of Elegance in the Theory and Practice of Computation 8000 (2013)