Database Principles – Page 4 – SIGMOD Record

Automatic Verification of Database-Centric Systems

Alin Deutsch, Richard Hull, and Victor Vianu

Available in: PDF

Published in September 2014 (Vol.43 No.3)

Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics

Tom J. Ameloot

Available in: PDF

Published in June 2014 (Vol.43 No.2)

Graph Stream Algorithms : A Survey

Andrew McGregor

Available in: PDF

Published in March 2014 (Vol.43 No.1)

Skew Strikes Back: New Developments in the Theory of Join Algorithms

Hung Q. Ngo, Christopher Ré and Atri Rudra

Available in: PDF

Published in December 2013 (Vol.42 No.4)

Skyline Queries, Front and Back

Jan Chomicki, Paolo Ciaccia and Niccolo’ Meneghetti

Available in: PDF

Published in September 2013 (Vol.42 No.3)

The Continuous Distributed Monitoring Model

Graham Cormode

Available in: PDF

Published in March 2013 (Vol.42 No.1)

Querying Semantic Data on the Web

Marcelo Arenas, Claudio Gutierrez, Daniel P. Miranker, Jorge Pérez and Juan F. Sequeda

Available in: PDF

Published in December 2012 (Vol.41 No.4)

Semiring-Annotated Data: Queries and Provenance Algebras

Grigoris Karvounarakis and Todd J. Green

Available in: PDF

Published in September 2012 (Vol.41 No.3)

Algorithms for Regular Languages that Use Algebras

Mikolaj Bojanczyk

Available in: PDF

Published in June 2012 (Vol.41 No.2)

Query Languages for Graph Databases

Peter T. Wood

Available in: PDF

Published in March 2012 (Vol.41 No.1)

1
2
3
4
5
6
7
8