In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642416590, 9783642416606

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

User Trust and Judgments in a Curated Database with Explicit Provenance

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_5 ◽

2013 ◽

pp. 89-111 ◽

Cited By ~ 7

Author(s):

David W. Archer ◽

Lois M. L. Delcambre ◽

David Maier

Keyword(s):

User Trust

Download Full-text

Incremental Data Fusion Based on Provenance Information

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_18 ◽

2013 ◽

pp. 339-365 ◽

Cited By ~ 2

Author(s):

Carmem Satie Hara ◽

Cristina Dutra de Aguiar Ciferri ◽

Ricardo Rodrigues Ciferri

Keyword(s):

Data Fusion ◽

Provenance Information

Download Full-text

Schemaless Semistructured Data Revisited

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_25 ◽

2013 ◽

pp. 466-482 ◽

Cited By ~ 2

Author(s):

Keishi Tajima

Keyword(s):

Semistructured Data

Download Full-text

Static Analysis and Query Answering for Incomplete Data Trees with Constraints

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_15 ◽

2013 ◽

pp. 273-290

Author(s):

Amélie Gheerbrant ◽

Leonid Libkin ◽

Juan Reutter

Keyword(s):

Static Analysis ◽

Incomplete Data ◽

Query Answering ◽

Data Trees

Download Full-text

Hitting Buneman Circles

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_13 ◽

2013 ◽

pp. 250-258

Author(s):

Michael Paul Fourman

Download Full-text

A New Framework for Designing Schema Mappings

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_4 ◽

2013 ◽

pp. 56-88

Author(s):

Bogdan Alexe ◽

Wang-Chiew Tan

Keyword(s):

Schema Mappings ◽

New Framework

Download Full-text

Tractable Reasoning in Description Logics with Functionality Constraints

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_8 ◽

2013 ◽

pp. 174-192

Author(s):

Andrea Calì ◽

Georg Gottlob ◽

Andreas Pieris

Keyword(s):

Description Logics ◽

Tractable Reasoning

Download Full-text

An Abstract, Reusable, and Extensible Programming Language Design Architecture

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_6 ◽

2013 ◽

pp. 112-166 ◽

Cited By ~ 1

Author(s):

Hassan Aït-Kaci

Keyword(s):

Programming Language ◽

Language Design ◽

Programming Language Design

Download Full-text

Provenance Propagation in Complex Queries

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_26 ◽

2013 ◽

pp. 483-493 ◽

Cited By ~ 5

Author(s):

Val Tannen

Keyword(s):

Complex Queries

Download Full-text

Record Polymorphism: Its Development and Applications

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_23 ◽

2013 ◽

pp. 432-444

Author(s):

Atsushi Ohori

Download Full-text

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

User Trust and Judgments in a Curated Database with Explicit Provenance

Incremental Data Fusion Based on Provenance Information

Schemaless Semistructured Data Revisited

Static Analysis and Query Answering for Incomplete Data Trees with Constraints

Hitting Buneman Circles

A New Framework for Designing Schema Mappings

Tractable Reasoning in Description Logics with Functionality Constraints

An Abstract, Reusable, and Extensible Programming Language Design Architecture

Provenance Propagation in Complex Queries

Record Polymorphism: Its Development and Applications

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science
Latest Publications