


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














