Datalog and emerging applications: an interactive tutorial

Authors:
Shan Shan Huang;Todd Jeffrey Green;Boon Thau Loo
Affiliations:
LogicBlox, Inc., Atlanta, GA, USA;University of California, Davis, Davis, CA, USA;University of Pennsylvania, Philadelphia, PA, USA
Venue:
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Year:
2011

Citing 32
Cited 4

A Proof Procedure for Data Dependencies

Journal of the ACM (JACM)
An amateur's introduction to recursive query processing strategies

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A syntactic stratification condition using constraints

ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Readings in database systems (3rd ed.)

Readings in database systems (3rd ed.)
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies

Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Data integration: a theoretical perspective

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
The CORAL deductive system

The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
What You Always Wanted to Know About Datalog (And Never Dared to Ask)

IEEE Transactions on Knowledge and Data Engineering
Reformulation of XML Queries and Constraints

ICDT '03 Proceedings of the 9th International Conference on Database Theory
Nested Transactions in a Logical Language for Active Rules

LID '96 Proceedings of the International Workshop on Logic in Databases
SD3: A Trust Management System with Certified Evaluation

SP '01 Proceedings of the 2001 IEEE Symposium on Security and Privacy
The deductive database system ℒ𝒟ℒ++

Theory and Practice of Logic Programming
The Lixto data extraction project: back and forth between theory and practice

PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Diagnosis of asynchronous discrete event systems: datalog to the rescue!

Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Declarative routing: extensible routing with declarative queries

Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Data exchange: semantics and query answering

Theoretical Computer Science - Database theory
Implementing declarative overlays

Proceedings of the twentieth ACM symposium on Operating systems principles
Declarative networking: language, execution and optimization

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
GPUTeraSort: high performance graphics co-processor sorting for large database management

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Update exchange with mappings and provenance

VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Declarative information extraction using datalog with embedded extraction predicates

VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Type inference for datalog and its application to query optimisation

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Recursive Computation of Regions and Connectivity in Networks

ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
Relational query coprocessing on graphics processors

ACM Transactions on Database Systems (TODS)
Strictly declarative specification of sophisticated points-to analyses

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Data processing on FPGAs

Proceedings of the VLDB Endowment
Boom analytics: exploring data-centric, declarative programming for the cloud

Proceedings of the 5th European conference on Computer systems
SecureBlox: customizable secure distributed data processing

Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Glacier: a query-to-hardware compiler

Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Data Integration: The Relational Logic Approach

Data Integration: The Relational Logic Approach
CodeQuest: scalable source code queries with datalog

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

Business network reconstruction using datalog

Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Kernel Weaver: Automatically Fusing Database Primitives for Efficient GPU Computation

MICRO-45 Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture
Extending the power of datalog recursion

The VLDB Journal — The International Journal on Very Large Data Bases
Red Fox: An Execution Environment for Relational Query Processing on GPUs

Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization

Quantified Score

Hi-index	0.00

Visualization

Abstract

We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, networking, program analysis, security, and cloud computing. This tutorial briefly reviews the Datalog language and recursive query processing and optimization techniques, then discusses applications of Datalog in three application domains: data integration, declarative networking, and program analysis. Throughout the tutorial, we use LogicBlox, a commercial Datalog engine for enterprise software systems, to allow the audience to walk through code examples presented in the tutorial.