Transitive closure and recursive Datalog implemented on clusters

No abstract is available for this paper.

• Publication year

  2012

• Venue

  International Conference on Extending Database Technology

• Publication date

  2012-03-27

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2247596.2247613
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Mining of Massive Datasets

  2014cited by this paper
• Hyracks: A flexible and extensible foundation for data-intensive computing

  2011cited by this paper
• Map-reduce extensions and recursive queries

  2011cited by this paper
• Path-tree: An efficient reachability indexing scheme for large directed graphs

  2011cited by this paper
• Analytics: exploring data-centric, declarative programming for the cloud

  2010cited by this paper
• HaLoop

  2010cited by this paper
• GRAIL

  2010cited by this paper
• Nephele/PACTs: a programming model and execution framework for web-scale analytical processing

  2010cited by this paper
• Pregel: a system for large-scale graph processing

  2010cited by this paper
• Evaluating Reachability Queries over Path Collections

  2009cited by this paper
• MapReduce: simplified data processing on large clusters

  2008cited by this paper
• Clustera: an integrated computation and data management system

  2008cited by this paper
• DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language

  2008cited by this paper
• Dryad: distributed data-parallel programs from sequential building blocks

  2007cited by this paper
• Fast Computation of Reachability Labeling for Large Graphs

  2006cited by this paper
• Dual Labeling: Answering Graph Reachability Queries in Constant Time

  2006cited by this paper
• The Google file system

  2003cited by this paper
• Reachability and distance queries via 2-hop labels

  2002cited by this paper
• Community structure in social and biological networks

  2001cited by this paper
• Graph structure in the Web

  2000cited by this paper
• Inherent complexity of recursive queries

  1999cited by this paper
• On Datalog vs. Polynomial Time

  1995cited by this paper
• Bonded arity Datalog (≠) queries on graphs

  1994cited by this paper
• Performance evaluation of algorithms for transitive closure

  1992cited by this paper
• On the equivalence of recursive and nonrecursive datalog programs

  1992cited by this paper
• High-probability parallel transitive closure algorithms

  1990cited by this paper
• Principles of database and knowledge-base systems, Vol. I

  1988influential reference
• Principles of Database and Knowledge-Base Systems, Volume II

  1988cited by this paper
• A study of transitive closure as a recursion mechanism

  1987cited by this paper
• The parallel complexity of simple chain queries

  1987cited by this paper
• Parallel complexity of logical query programs

  1986cited by this paper
• On the Computation of the Transitive Closure of Relational Operators

  1986cited by this paper
• Evaluation of Recursive Queries Using Join Indices

  1986cited by this paper

• The Vadalog Parallel System: Distributed Reasoning with Datalog+/-

  2024cites this paper
• Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup

  2023cites this paper
• Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines

  2022cites this paper
• RECURSIVE JOIN PROCESSING IN BIG DATA ENVIRONMENT

  2021cites this paper
• A Theoretical and Experimental Comparison of Large-Scale Join Algorithms in Spark

  2021cites this paper
• Parallel Logic Programming: A Sequel

  2021cites this paper
• MỘT ĐỀ XUẤT CẢI TIẾN THUẬT TOÁN JOIN ĐỆ QUY TRÊN TẬP DỮ LIỆU LỚN

  2021cites this paper
• An Efficient Approach for Improving Recursive Joins Based on Three-Way Joins in Spark

  2020cites this paper
• Large scale distributed spatio-temporal reasoning using real-world knowledge graphs

  2019cites this paper
• Distribution Policies for Datalog

  2019cites this paper
• Finite-State Map-Reduce Computation and Relational Algebra Queries

  2018cites this paper
• Scaling-Up In-Memory Datalog Processing: Observations and Techniques

  2018cites this paper
• Querying Semantic Knowledge Bases with SQL-on-Hadoop

  2017cites this paper
• Towards Systematic Parallelization of Graph Transformations Over Pregel

  2017cites this paper
• DFA minimization in map-reduce

  2016cites this paper
• Data Exchange with MapReduce: A First Cut

  2016cites this paper
• A Declarative Language for Advanced Analytics and its Scalable Implementation

  2016cites this paper
• Logical Aspects of Massively Parallel and Distributed Systems

  2016cites this paper
• A Systematic Approach to Regular-Expression-Based Queries on Big Graphs

  2016cites this paper
• Research progress in the complexity theory and algorithms of big-data computation

  2016cites this paper
• Big Data Analytics with Datalog Queries on Spark

  2016cites this paper
• Plogs: Materializing Datalog Programs with MapReduce for Scalable Reasoning

  2016cites this paper
• Parallel Materialization of Datalog Programs with Spark for Scalable Reasoning

  2016cites this paper
• Link traversal and reasoning in dynamic linked data knowledge bases

  2016cites this paper
• Weaker Forms of Monotonicity for Declarative Networking

  2015cites this paper
• Pregel meets UnCAL: A systematic framework for transforming big graphs

  2015cites this paper
• Schema.org as a Description Logic

  2015cites this paper
• Yedalog: Exploring Knowledge at Scale

  2015cites this paper
• Distributed Streaming with Finite Memory

  2015cites this paper
• TriAL-QL: Distributed Processing of Navigational Queries

  2015cites this paper
• Query Processing for Massively Parallel Systems

  2015cites this paper
• Finite Automata Algorithms in Map-Reduce

  2015cites this paper
• Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014

  2014cites this paper
• Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture

  2014cites this paper
• GLog: A high level graph analysis system using MapReduce

  2014cites this paper
• Remaining CALM in Declarative Networking

  2014cites this paper
• Mining Social-Network Graphs

  2014cites this paper
• Optimization for big joins and recursive query evaluation using intersection and difference filters in MapReduce. (Utilisation de filtres d'intersection et de différence pour l'optimisation des jointures à grande échelle et l'exécution de requêtes récursives à l'aide MapReduce)

  2014cites this paper
• Using MapReduce to scale event correlation discovery for process mining. (Utilisation de MapReduce pour le passage à l'échelle de la corrélation des événements métiers dans le contexte de fouilles de processus)

  2014cites this paper
• Main memory evaluation of recursive queries on multicore machines

  2014cites this paper
• Tagged Dataflow: a Formal Model for Iterative Map-Reduce

  2014cites this paper
• Distributed Algorithms for the Transitive Closure

  2013influential citation
• On implementing provenance-aware regular path queries with relational query engines

  2013cites this paper
• Extraction and integration of web data by end-users

  2013cites this paper
• Making Queries Tractable on Big Data with Preprocessing

  2013cites this paper
• Designing good algorithms for MapReduce and beyond

  2012cites this paper
• Mining of Massive Datasets

  2011cites this paper