An amateur's introduction to recursive query processing strategies

Abstract

This paper surveys and compares various strategies for processing logic queries in relational databases. The survey and comparison is limited to the case of Horn Clauses with evaluable predicates but without function symbols. The paper is organized in three parts. In the first part, we introduce the main concepts and definitions. In the second, we describe the various strategies. For each strategy, we give its main characteristics, its application range and a detailed description. We also give an example of a query evaluation. The third part of the paper compares the strategies on performance grounds. We first present a set of sample rules and queries which are used for the performance comparisons, and then we characterize the data. Finally, we give an analytical solution for each query/rule system. Cost curves are plotted for specific configurations of the data.

Tối Ưu Hóa Join Đệ Quy Trên Tập Dữ Liệu Lớn Trong Môi Trường Spark

“…Tuy nhiên, nó không được thiết kế cho các hoạt động với đa đầu vào (multiple inputs). Ngoài ra, nó cũng không hỗ trợ tốt cho nhiều ứng dụng xử lý dữ liệu lớn đòi hỏi sự tính toán lặp lại như PageRank [4], HITS (HypertextInduced Topic Search) [5], các câu truy vấn đệ quy (recursive relational queries) [6], phân cụm dữ liệu (clustering) [7], phân tích mạng neutron (neural network analysis) [8], phân tích mạng xã hội (social network analysis) [9] và phân tích lưu lượng dữ liệu internet (Internet traffic analysis) [10]. Những ứng dụng này liên quan đến các tính toán lặp đi lặp lại liên tục trên các tập dữ liệu lớn cho đến khi chúng đạt đến một điều kiện dừng hay một điểm dừng (a fix point).…”

“…Until ∆F i = ⌽; (6) Giải thuật này sẽ được thực thi bởi một sự lặp lại của 2 công việc MapReduce: công việc Join (Join job) và công việc xác định tập dữ liệu tăng cường (job for computing incremental dataset). …”

Towards intelligent databases

“…Termination (or exhaustivity) is im portant in databases, for database users as opposed to programmers cannot be made responsible of termination of the queries they pose to a database. Finally, the speci fication given above provides with a simple formalization of the Alexander or Magic Set rewriting methods [1,2,57,7,55,4,21,8]: these rewritings are obtainable from the rule-based specification given above by partial evaluation (or partial deduction) [42,35,36,37,41]. These points are discussed in more detail in [13].…”

“…Instead of implementing several rewriting methods for, say, recursive query processing (e.g. [1,57,2,7,4]), for simplifying integrity constraints (e.g. [43,25,15]), for query optimization (e.g.…”

“…[17,18,1,2,4,7,55,57,60,61,67,13]), and how integrity constraints are checked when the database is updated (see e.g. [17,18,15,25,39,43,47,49,53,19]).…”