PODS A*

29 papers

YearTitle / Authors
2013A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator.
Limsoon Wong
2013A trichotomy for regular simple path queries on graphs.
Guillaume Bagan, Angela Bonifati, Benoît Groz
2013Charting the tractability frontier of certain conjunctive query answering.
Jef Wijsen
2013Collaborative data-driven workflows: think global, act local.
Serge Abiteboul, Victor Vianu
2013Communication steps for parallel query processing.
Paul Beame, Paraschos Koutris, Dan Suciu
2013Deciding monotone duality and identifying frequent itemsets in quadratic logspace.
Georg Gottlob
2013Enumeration of first-order queries on classes of structures with bounded expansion.
Wojciech Kazana, Luc Segoufin
2013Flag & check: data access with monadically defined queries.
Sebastian Rudolph, Markus Krötzsch
2013Foundations of data-aware process analysis: a database theory perspective.
Diego Calvanese, Giuseppe De Giacomo, Marco Montali
2013I/O-efficient planar range skyline and attrition priority queues.
Casper Kejlberg-Rasmussen, Yufei Tao, Konstantinos Tsakalidis, Kostas Tsichlas, Jeonghun Yoon
2013Learning and verifying quantified boolean queries by example.
Azza Abouzied, Dana Angluin, Christos H. Papadimitriou, Joseph M. Hellerstein, Avi Silberschatz
2013Nearest neighbor searching under uncertainty II.
Pankaj K. Agarwal, Boris Aronov, Sariel Har-Peled, Jeff M. Phillips, Ke Yi, Wuzhou Zhang
2013On XPath with transitive axes and data tests.
Diego Figueira
2013On the BDD/FC conjecture.
Tomasz Gogacz, Jerzy Marcinkowski
2013On the expressive power of update primitives.
Tom J. Ameloot, Jan Van den Bussche, Emmanuel Waller
2013Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP.
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2013Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY, USA - June 22 - 27, 2013
Richard Hull, Wenfei Fan
2013Querying graph databases.
Pablo Barceló Baeza
2013Semantic acyclicity on graph databases.
Pablo Barceló Baeza, Miguel Romero, Moshe Y. Vardi
2013Sketching via hashing: from heavy hitters to compressed sensing to sparse fourier transform.
Piotr Indyk
2013Spanners: a formal framework for information extraction.
Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren
2013The ACM PODS Alberto O. Mendelzon test-of-time award 2013.
Michael Benedikt, Tova Milo, Dirk Van Gucht
2013The complexity of mining maximal frequent subgraphs.
Benny Kimelfeld, Phokion G. Kolaitis
2013The fine classification of conjunctive queries and parameterized logarithmic space complexity.
Hubie Chen, Moritz Müller
2013Trial for RDF: adapting graph query languages for RDF data.
Leonid Libkin, Juan L. Reutter, Domagoj Vrgoc
2013Verification of database-driven systems via amalgamation.
Mikolaj Bojanczyk, Luc Segoufin, Szymon Torunczyk
2013Verification of relational data-centric dynamic systems with external services.
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2013Well-founded semantics for extended datalog and ontological reasoning.
André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
2013When is naive evaluation possible?
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo