Abstract is missing.
- LogicBlox, Platform and Language: A TutorialTodd J. Green, Molham Aref, Grigoris Karvounarakis. 1-8 [doi]
- Datalog: A Perspective and the PotentialYuri Gurevich. 9-20 [doi]
- Existential Rules: A Graph-Based View - (Extended Abstract)Marie-Laure Mugnier. 21-26 [doi]
- How (Well) Do Datalog, SPARQL and RIF Interplay?Axel Polleres. 27-30 [doi]
- Magic-Sets for Datalog with Existential QuantifiersMario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri. 31-43 [doi]
- On the CRON ConjectureTom J. Ameloot, Jan Van den Bussche. 44-55 [doi]
- Order in Datalog with Applications to Declarative OutputStefan Brass. 56-67 [doi]
- A Broad Class of First-Order Rewritable Tuple-Generating DependenciesCristina Civili, Riccardo Rosati. 68-80 [doi]
- Datalog Development Tools - (Extended Abstract)Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca. 81-85 [doi]
- Query Rewriting Using Datalog for Duplicate ResolutionJaffer Gardezi, Leopoldo E. Bertossi. 86-98 [doi]
- Reasoning about Knowledge in Distributed Systems Using DatalogMatteo Interlandi. 99-110 [doi]
- Declarative Datalog Debugging for Mere MortalsSven Köhler 0003, Bertram Ludäscher, Yannis Smaragdakis. 111-122 [doi]
- Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari. 123-134 [doi]
- Confluence Analysis for Distributed Programs: A Model-Theoretic ApproachWilliam R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier. 135-147 [doi]
- Business Network Reconstruction Using DatalogDaniel Ritter 0001, Till Westmann. 148-152 [doi]
- Data Exchange in Datalog Is Mainly a Matter of ChoiceDomenico Saccà, Edoardo Serra. 153-164 [doi]
- Optimizing Large-Scale Semi-Naïve Datalog Evaluation in HadoopMarianne Shaw, Paraschos Koutris, Bill Howe, Dan Suciu. 165-176 [doi]
- Logical Foundations of Continuous Query Languages for Data StreamsCarlo Zaniolo. 177-189 [doi]