default search action
Datalog 2012: Vienna, Austria
- Pablo Barceló, Reinhard Pichler:
Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings. Lecture Notes in Computer Science 7494, Springer 2012, ISBN 978-3-642-32924-1
Invited Presentations
- Todd J. Green, Molham Aref, Grigoris Karvounarakis:
LogicBlox, Platform and Language: A Tutorial. 1-8 - Yuri Gurevich:
Datalog: A Perspective and the Potential. 9-20 - Marie-Laure Mugnier:
Existential Rules: A Graph-Based View - (Extended Abstract). 21-26 - Axel Polleres:
How (Well) Do Datalog, SPARQL and RIF Interplay? 27-30
Regular Papers, System Descriptions and Tutorials
- Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri:
Magic-Sets for Datalog with Existential Quantifiers. 31-43 - Tom J. Ameloot, Jan Van den Bussche:
On the CRON Conjecture. 44-55 - Stefan Brass:
Order in Datalog with Applications to Declarative Output. 56-67 - Cristina Civili, Riccardo Rosati:
A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. 68-80 - Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca:
Datalog Development Tools - (Extended Abstract). 81-85 - Jaffer Gardezi, Leopoldo E. Bertossi:
Query Rewriting Using Datalog for Duplicate Resolution. 86-98 - Matteo Interlandi:
Reasoning about Knowledge in Distributed Systems Using Datalog. 99-110 - Sven Köhler, Bertram Ludäscher, Yannis Smaragdakis:
Declarative Datalog Debugging for Mere Mortals. 111-122 - Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari:
Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-. 123-134 - William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier:
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach. 135-147 - Daniel Ritter, Till Westmann:
Business Network Reconstruction Using Datalog. 148-152 - Domenico Saccà, Edoardo Serra:
Data Exchange in Datalog Is Mainly a Matter of Choice. 153-164 - Marianne Shaw, Paraschos Koutris, Bill Howe, Dan Suciu:
Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop. 165-176 - Carlo Zaniolo:
Logical Foundations of Continuous Query Languages for Data Streams. 177-189
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.