Article in Proceedings INPROC-2006-32

BibliographyRantzau, Ralf; Mangold, Christoph: Laws for Rewriting Queries Containing Division Operators.
In: Liu, Ling (ed.); Reuter, Andreas (ed.); Whang, Kyu-Young (ed.); Zhang, Jianjun (ed.): Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 21-21, english.
IEEE Computer Society, April 2006.
Article in Proceedings (Conference Paper).
CR-SchemaF.4.1 (Mathematical Logic)
H.2.3 (Database Management Languages)
Abstract

Relational division, also known as small divide, is a derived operator of the relational algebra that realizes a many-to-one set containment test, where a set is represented as a group of tuples: Small divide discovers which sets in a dividend relation contain all elements of the set stored in a divisor relation. The great divide operator extends small divide by realizing many-to-many set containment tests. It is also similar to the set containment join operator for schemas that are not in first normal form.

Neither small nor great divide has been implemented in commercial relational database systems although the operators solve important problems and many efficient algorithms for them exist. We present algebraic laws that allow rewriting expressions containing small or great divide, illustrate their importance for query optimization, and discuss the use of great divide for frequent itemset discovery, an important data mining primitive.

A recent theoretic result shows that small divide must be implemented by special purpose algorithms and not be simulated by pure relational algebra expressions to achieve efficiency. Consequently, an efficient implementation requires that the optimizer treats small divide as a first-class operator and possesses powerful algebraic laws for query rewriting.

Full text and
other links
PDF (233689 Bytes)
CopyrightIEEE Computer Society
Department(s)University of Stuttgart, Institute of Parallel and Distributed Systems, Applications of Parallel and Distributed Systems
Project(s)ORBIT
Entry dateMay 29, 2006
   Publ. Department   Publ. Institute   Publ. Computer Science