Constraint Processing Techniques for Improving Join Computation: A Proof of Concept

نویسندگان

  • Anagh Lal
  • Berthe Y. Choueiry
چکیده

Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases. We model the join query computation as a Constraint Satisfaction Problem (CSP) and solve it by search using dynamic bundling. First, we introduce a sort-based technique for computing dynamic bundling. Then, we describe the join algorithm that produces nested tuples. The resulting process yields a compact solution space and savings of memory, disk-space, and/or network bandwidth. We realize further savings by using bundling to reduce the number of join-condition checks. We place our bundling technique in the framework of the Progressive Merge Join (PMJ) [1] and use the XXL library [2] for implementing and testing our algorithm. PMJ assists in effective query-result-size prediction by producing early results. Our algorithm reinforces this feature of PMJ by producing the tuples as multiple solutions and is thus useful for improving size estimation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Generalized-Zero-Preserving Method for Compact Encoding of Concept Lattices

Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unification-based parser must support. We extend the traditional bit vector encoding, which represents join failure using the zero vector, to count any vector with less than a fixed number of one bits as failure. This allows ...

متن کامل

1 The logic programming paradigm in numerical computation

Although CLP(R) is a promising application of the logic programming paradigm to numerical computation, it has not addressed what has long been known as “the pitfalls of [numerical] computation” [12]. These show that rounding errors induce a severe correctness problem wherever floating-point computation is used. Independently of logic programming, constraint processing has been applied to proble...

متن کامل

The Logic Programming Paradigm in Numerical Computation

Although CLP(R) is a promising application of the logic programming paradigm to numerical computation, it has not addressed what has long been known as \the pitfalls of numerical] computation" 12]. These show that rounding errors induce a severe correctness problem wherever oating-point computation is used. Independently of logic programming, constraint processing has been applied to problems i...

متن کامل

Local Computation in Covering Join TreesPart #2 Updating in Local Computation

Local computation on covering join trees provides a solution for query answering in several different fields, such as relational databases, belief functions, constraint satisfaction, Gaussian potentials and many more. The algebraic structure behind is a generic framework for information processing known as valuation algebras (Kohlas, 2003). In this paper we discuss how new information pieces ca...

متن کامل

Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit

Graphical Processing Units (GPUs) consist of hundreds of small cores, collectively operating to provide massive computation capabilities. The aim of this work is to utilize this technology to execute Constraint Handling Rules (CHR) which are inherently parallel. A translation scheme is defined to transform a subset of CHR rules to C/C++, then to use a GPU to fire the rules on all combinations o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004