Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > research > project > SEE

Tools: Drucken

Project: SEE - SPARQL Evaluation and Extensions

funded by the by the Vienna Science and Technology Fund (WWTF) under grant ICT12-15.

funded by the WWTF

Contents

Duration:

The project started at September 1st, 2012. Its original duration of 3 years was meanwhile extended by one year.

Project team

Project Leader:

Project Partner:

Project Staff at DBAI:

Project Staff at the Institute for Information Business at the WU Wien:

Goal of the project

One of the principal achievements of the Semantic Web is to make the information on the meaning of data on the web accessible to machines. The standard data format proposed by the W3C for this purpose is RDF (Resource Description Framework). SPARQL has been approved as a W3C standard for a tailor-made query language for RDF data.

Apart from the huge amount of RDF data nowadays available on the web, also a steady increase of the intricacy of SPARQL queries is to be expected. Hence, there is an urgent need for a systematic investigation of query evaluation and query optimization of SPARQL queries. While some pioneering foundational work has given us a clear understanding of different aspects on SPARQL, a systematic investigation of SPARQL query optimization in the style of query optimization in relational databases is missing to date. The project thus aims at providing such an investigation and laying the foundation of query optimization of SPARQL.

While the amount of RDF data available increases, the importance of XML data on the does not decrease. On the contrary, it becomes increasingly important for applications to have a unified access to both data formats. A very promising approach towards a uniform query mechanism over XML and RDF data is the W3C member submission XSPARQL. Another goal of the project is thus to extend the work on SPARQL query optimization also to XSPARQL.

As a final goal the project aims at providing a mapping mechanism from XQuery updates to SPARQL updates and vice versa in the presence of XSPARQL wrappers between XML and RDF data.

Related Websites

Publications

2016

[78] On the Complexity of Hard Enumeration Problems.
Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek and Heribert Vollmer.
In CoRR abs/1610.05493 (2016), available at http://arxiv.org/abs/1610.05493.
[77] From XML to RDF step by step: approaches for leveraging XML workflows with linked data.
Marta Borriello, Christian Dirschl, Axel Polleres, Phil Ritchie, Frank Salliau, Felix Sasaki and Giannis Stoitsis.
In XML Prague 2016 - Conference Proceedings, Prague, Czech Republic, February 11 - 13; pages 121-138.
[76] Handling Inconsistencies due to Class Disjointness in SPARQL Updates.
Albin Ahmeti, Diego Calvanese, Axel Polleres and Vadim Savenkov.
In The Semantic Web. Latest Advances and New Domains - 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016 Proceedings; Springer, Lecture Notes in Computer Science Volume 9678 (2016), pages 387-404.
[75] Certain Answers for SPARQL?
Claudio Gutierrez, Daniel Hernandez, Aidan Hogan and Axel Polleres.
In Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016;CEUR Workshop Proceedings, 1644 (2016).
[74] Nested Constructs vs. Sub-Selects in SPARQL.
Axel Polleres Juan L. Reutter and Egor V. Kostylev.
In Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016; CEUR Workshop Proceedings, 1644 (2016).
[73] Towards Updating Wikipedia via DBpedia Mappings and SPARQL.
Albin Ahmeti, Javier D. Fernandez, Axel Polleres and Vadim Savenkov.
In Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016; CEUR Workshop Proceedings, 1644 (2016).
[72] On the Complexity of Enumerating the Answers to Well-designed Pattern Trees.
Markus Kröll, Reinhard Pichler and Sebastian Skritek.
In Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016; CEUR Workshop Proceedings, 1644 (2016), Paper-Nr. 14.
[71] On the Complexity of Enumerating the Answers to Well-designed Pattern Trees.
Markus Kröll, Reinhard Pichler and Sebastian Skritek.
In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016; LIPIcs 48 (2016), Paper-Nr. 22.
[70] Limits of Schema Mappings.
Phokion Kolaitis, Reinhard Pichler, Emanuel Sallinger and Vadim Savenkov.
In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016; LIPIcs 48 (2016), Paper-Nr. 19.
[69] Verification of Evolving Graph-structured Data under Expressive Path Constraints.
Diego Calvanese, Magdalena Ortiz de la Fuente and Mantas Šimkus.
In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016; LIPIcs 48 (2016), pages 1 - 19.
[68] Ontology-Mediated Queries Distributing over Components.
Gerald Berger and Andreas Pieris.
In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016; IJCAI/AAAI Press, (2016), pages 943-949.
[67] Semantic Acyclicity Under Constraints.
Pablo Barcelo, Georg Gottlob, Andreas Pieris.
In Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016; CEUR Workshop Proceedings, 1644 (2016), Paper-Nr. 6.
[66] Semantic Acyclicity Under Constraints.
Pablo Barcelo, Georg Gottlob, Andreas Pieris.
In 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; ACM, (2016), pages 343-354.
[65] Complexity of Repair Checking and Consistent Query Answering.
Sebastian Arming, Reinhard Pichler and Emanuel Sallinger.
In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016; LIPIcs 48 (2016), Paper-Nr. 21.
[64] A Datalog-Based Language for Querying RDF Graphs.
Marcelo Arenas, Georg Gottlob and Andreas Pieris.
In Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016; CEUR Workshop Proceedings, 1644 (2016), Paper-Nr. 17.
[63] The Challenge of Optional Matching in SPARQL.
Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Šimkus and Sebastian Skritek.
In Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings; Lecture Notes in Computer Science (LNCS) / Springer, 9616 (2016), pages 169-190.

2015

[62] Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue.
Georg Gottlob and Andreas Pieris.
In "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015; pages 2999 - 3007.
[61] Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations.
Georg Gottlob, Marco Manna and Andreas Pieris.
In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015; CEUR Workshop Proceedings, 1350 (2015).
[60] Parameterized Complexity of Asynchronous Border Minimization.
Robert Ganian, Martin Kronegger, Andreas Pfandler and Alexandru Popa.
In Theory and Applications of Models of Computation, 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings; Springer, Lecture Notes in Computer Science Volume 9076 (2015), pages 428 - 440.
[59] On the undecidability of the equivalence of second-order tuple generating dependencies.
Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger and Vadim Savenkov.
In Information Systems, 48 (2015), pages 113-129.
[58] Reduction-based Approaches to Implement Modgil's Extended Argumentation Frameworks.
Wolfgang Dvorak, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner.
In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday; Springer, 2015, pages 249-264.
[57] Using Statistics for Computing Joins with MapReduce.
Theresa Csar, Reinhard Pichler, Emanuel Sallinger and Vadim Savenkov.
In Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015; CEUR Workshop Proceedings, 1378 (2015), Paper-Nr. 13.
[56] Distance-Bounded Consistent Query Answering.
Andreas Pfandler and Emanuel Sallinger.
In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Paper-Nr. 320.
[55] Extending ALCQIO with Trees.
Tomer Kotek, Mantas Šimkus, Helmut Veith and Florian Zuleger.
In Proceedings of the 30th Annual ACM/IEEE Symposiun on Logic in Computer Science (LICS 2015), Kyoto, Japan, July 6-10, 2015.
[54] Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability.
Georg Gottlob, Reinhard Pichler and Emanuel Sallinger
In Proceedings of the 36th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2015.
[53] Evaluation and Approximation of Well-designed Pattern Trees
Pablo Barceló, Reinhard Pichler and Sebastian Skritek
In Proceedings of the 36th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2015.
[52] Chase Termination for Guarded Existential Rules.
Marco Calautti, Georg Gottlob and Andreas Pieris.
In Proceedings of the 36th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2015.
[51] Default Negation for Non-Guarded Existential Rules.
Mario Alviano and Andreas Pieris.
In Proceedings of the 36th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2015), Melbourne, Victoria, Australia, May 31 - June 4, 2015, pages 79-90.
[50] Chase Termination for Guarded Existential Rules.
Marco Calautti, Georg Gottlob and Andreas Pieris.
In Proceedings of the 9th Alberto Mendelzon Workshop on Foundations of Data Management, AMW 2015.
[49] Benchmarking Database Systems for Graph Pattern Matching.
Nataliia Pobiedina, Stefan Rümmele, Sebastian Skritek and Hannes Werthner.
In Proceedings of the 25th International Workshop on Database and Expert Systems Application, 2015.
[48] Evaluation and Approximation of Well-designed Pattern Trees
Pablo Barceló, Reinhard Pichler and Sebastian Skritek
In Proceedings of the 25th International Workshop on Database and Expert Systems Application, 2015.
[47] Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms.
Meghyn Bienvenu, Magdalena Ortiz and Mantas Šimkus.
In Journal of Artificial Intelligence Research (JAIR), 2015
[46] A Rule-based Framework for Creating Instance Data from OpenStreetMap.
Thomas Eiter, Jeff Z. Pan, Patrick Schneider, Mantas Šimkus and Guohui Xiao.
In The 9th International Conference On Web Reasoning And Rule Systems, 2015.
[45] Schema-agnostic query rewriting for OWL QL.
Stefan Bischof, Markus Krötzsch, Axel Polleres and Sebastian Rudolph.
In 28th International Workshop on Description Logics (DL2015), Athens, Greece, June 2015.
[44] Dealing with Inconsistencies due to Class Disjointness in SPARQL Update.
Albin Ahmeti, Diego Calvanese, Vadim Savenkov and Axel Polleres. In 28th International Workshop on Description Logics (DL2015), Athens, Greece, June 2015.
[43] DL-Lite and Conjunctive Queries Extended by Optional Matching.
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Šimkus and Sebastian Skritek.
In Informal Proceedings of the 28th International Workshop on Description Logics, Athens, Greece, June 7-10, 2015.
[42] Open City Data Pipeline: Collecting, Integrating, and Predicting Open City Data.
Stefan Bischof, Christoph Martin, Axel Polleres and Patrick Schneider.
In 4th Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data (Know@LOD), Portoroz, Slovenia, May 2015.
[41] Towards Reconciling SPARQL and Certain Answers.
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Šimkus and Sebastian Skritek.
In Proceedings of the 24th International World Wide Web Conference, 2015.
[40] Towards Reconciling SPARQL and Certain Answers.
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Šimkus and Sebastian Skritek.
In Proceedings of the 9th Alberto Mendelzon Workshop on Foundations of Data Management, Lime, Peru, May 6-8, 2015.
[39] The Complexity of Recognizing Incomplete Single-Crossing Preferences
Edith Elkind, Piotr Faliszewski, Martin Lackner and Svetlana Obraztsova.
In Proceedings of the 29th AAAI Conference on Artificial Intelligence, pages 865-871, 2015

2014

[38] Combined Complexity of Repair Checking and Consistent Query Answering
Sebastian Arming, Reinhard Pichler and Emanuel Sallinger
In Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014.
[37] Link traversal querying for a diverse web of data.
Jürgen Umbrich, Aidan Hogan, Axel Polleres and Stefan Decker.
In Semantic Web - Interoperability, Usability, Applicability (SWJ), 2014.
[36] Integrating distributed configurations with RDFS and SPARQL.
Gottfried Schenner, Stefan Bischof, Axel Polleres and Simon Steyskal.
In 16th International Configuration Workshop, Novi Sad, Serbia, September 2014.
[35] Defining expressive access policies for linked data using the ODRL ontology 2.0.
Simon Steyskal and Axel Polleres.
In Proceedings of the SEMANTiCS 2014, ACM International Conference Proceedings Series, Leipzig, Germany, September 2014.
[34] Strategies for executing federated queries in SPARQL1.1.
Carlos Buil-Aranda, Axel Polleres and Jürgen Umbrich.
In Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Lecture Notes in Computer Science (LNCS). Springer, October 2014.
[33] Schema-agnostic query rewriting in SPARQL 1.1.
Stefan Bischof, Markus Krötzsch, Axel Polleres and Sebastian Rudolph.
In Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Lecture Notes in Computer Science (LNCS). Springer, October 2014.
[32] Updating RDFS ABoxes and TBoxes in SPARQL.
Albin Ahmeti, Diego Calvanese and Axel Polleres.
In Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Lecture Notes in Computer Science (LNCS). Springer, October 2014.
[31] Querying the web of data with XSPARQL 1.1.
Daniele Dell'Aglio, Axel Polleres, Nuno Lopes and Stefan Bischof.
In ISWC2014 Developers Workshop, volume 1268 of CEUR Workshop Proceedings. CEUR-WS.org, October 2014.
[30] Everything you always wanted to know about blank nodes.
Aidan Hogan, Marcelo Arenas, Alejandro Mallea and Axel Polleres.
Journal of Web Semantics, volume 27, pages 42-69, 2014.
[29] Logics for the semantic web.
Pascal Hitzler, Jens Lehmann and Axel Polleres.
Computational Logic, volume 9 of Handbook of the History of Logic, Elesevier, 2014.
[28] SPARQL.
Axel Polleres.
Encyclopedia of Social Network Analysis and Mining, pages 1960-1966, Springer, 2014.
[27] Nested Regular Path Queries in Description Logics (Extended Abstract).
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz de la Fuente and Mantas Šimkus.
Presentation at the Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 08.10.2014 - 11.10.2014.
[26] On Detecting Nearly Structured Preference Profiles.
Edith Elkind and Martin Lackner.
Presentation at the Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 08.10.2014 - 11.10.2014.
[25] On the Parameterized Complexity of Generalized CP-Nets.
Martin Kronegger, Martin Lackner, Andreas Pfandler and Reinhard Pichler.
Presentation at the Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 08.10.2014 - 11.10.2014.
[24] Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability.
Tomer Kotek, Mantas Šimkus, Helmut Veith and Florian Zuleger.
In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, CEUR Workshop Proceedings 1193, pages 591-594.
[23] SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment.
Albin Ahmeti, Diego Calvanese and Axel Polleres.
In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, CEUR Workshop Proceedings 1193, ISSN: 1613-0073, pages 8-20.
[22] Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler Emanuel Sallinger and Mantas Šimkus.
In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, CEUR Workshop Proceedings 1193, ISSN: 1613-0073.
[21] On the Hardness of Counting the Solutions of SPARQL Queries.
Reinhard Pichler and Sebastian Skritek.
In Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2014), CEUR-WS, Vol-1189 (2014).
[20] Towards Equivalences for Federated SPARQL Queries.
Aidan Hogan, Carlos Buil Aranda and Axel Polleres.
In Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2014), CEUR-WS, Vol-1189 (2014).
[19] Containment and equivalence of well-designed SPARQL.
Reinhard Pichler and Sebastian Skritek.
In Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", ACM (PODS 2014), 2014, ISBN: 978-1-4503-2375-8, pages 39-50.
[18] Certain Answers to Well-Designed SPARQL Queries.
Reinhard Pichler.
Dagstuhl Reports 4(8), (2014), ISSN: 2192-5283; pages 15-16.
[17] Incomplete Preferences in Single-Peaked Electorates.
Martin Lackner.
In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, pages 742-748.
[16] A Parameterized Complexity Analysis of Generalized CP-Nets.
Martin Kronegger, Martin Lackner, Andreas Pfandler and Reinhard Pichler.
In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, pages 1091-1097.
[15] On Detecting Nearly Structured Preference Profiles.
Edith Elkind and Martin Lackner.
In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, pages 661-667.
[14] Capturing Relational Schemas and Functional Dependencies in RDFS.
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger and Mantas Šimkus.
In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), 2014, pages 1003-1011.
[13] The Likelihood of Structure in Preference Profiles.
Marie-Louise Bruner and Martin Lackner.
In Proceedings of the 8th Multidisciplinary Workshop on Advances in Preference Handling (MPref2014), AAAI Press, 2014, ISBN: 978-1-57735-671-4.
[12] Planning Problems for Graph Structured Data in Description Logics.
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz de la Fuente, Mantas Šimkus.
In Workshop on Description Logics, CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; pages 4-7.
[11] Planning and Change in Graph Structured Data under Description Logics Constraints.
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz de la Fuente, Mantas Šimkus.
In Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2014), CEUR-Proceedings, 1189 (2014), ISSN: 1613-0073.
[10] Managing Change in Graph-Structured Data Using Description Logics.
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz de la Fuente, Mantas Šimkus.
In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), AAAI Press/IJCAI, 2014, ISBN: 978-1-57735-661-5, pages 966-973.

2013

[9] SPARQLUpdate under RDFS Entailment in Fully Materialized and Redundancy-Free Triple Stores.
Albin Ahmeti and Axel Polleres.
In Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013, Co-located with the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 22nd, 2013, CEUR Workshop Proceedings 1059, pages 21-32.
[8] Extending SPARQL with Qualitative Preferences.
Marina Gueroussova, Axel Polleres and Sheila A. McIlraith.
In Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013, Co-located with the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 22nd, 2013, pages 2-8.
[7] Reasoning about Schema Mappings.
Emanuel Sallinger
Data Exchange, Integration, and Streams, 97-127, 2013
[6] SPARQL Update under RDFS Entailment in Fully Materialized and Redundancy-Free Triple Stores.
Albin Ahmeti and Axel Polleres.
In Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013, Co-located with the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 22nd, 2013, pages 21-32.
[5] City Data Pipeline - A System for Making Open Data Useful for Cities.
Stefan Bischof, Axel Polleres and Simon Sperl.
In Proceedings of the I-SEMANTICS 2013 Posters & Demonstrations Track, Graz, Austria, September 4-6, 2013, pages 45-49
[4] RDFS with Attribute Equations via SPARQL Rewriting.
Stefan Bischof and Axel Polleres.
In The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings, pages 335-350.
[3] Static Analysis and Optimization of Semantic Web Queries.
Axel Polleres and Johannes Peter Wallner.
Journal of Applied Non-Classical Logics 23(1-2): 159-212 (2013)
[2] Static Analysis and Optimization of Semantic Web Queries.
Andrés Letelier, Jorge Pérez, Reinhard Pichler and Sebastian Skritek.
ACM Transactions on Database Systems 38(4): 25 (2013)

Preliminary Publications

2012

[1] Static analysis and optimization of semantic web queries.
Andrés Letelier, Jorge Pérez, Reinhard Pichler and Sebastian Skritek.
In Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012, pages 89-100.

Software

The following Software has been created or developed further within the SEE project: