On the complexity of division and set joins in the relational algebra

被引:8
|
作者
Leinders, Dirk [1 ]
Van den Bussche, Jan
机构
[1] Hasselt Univ, B-3590 Diepenbeek, Belgium
[2] Transnatl Univ Limburg, B-3590 Diepenbeek, Belgium
关键词
database; relational algebra; Semijoin algebra; complexity;
D O I
10.1016/j.jcss.2006.10.011
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We show that any expression of the relational division operator in the relational algebra with union, difference, projection, selection, constant-tagging, and joins, must produce intermediate results of quadratic size. To prove this result, we show a dichotomy theorem about intermediate sizes of relational algebra expressions (they are either all linear, or at least one is quadratic), and we link linear relational algebra expressions to expressions using only semijoins instead of joins. (c) 2006 Elsevier Inc. All rights reserved.
引用
收藏
页码:538 / 549
页数:12
相关论文
共 50 条
  • [41] A vague relational model and algebra
    Zhao, Faxin
    Ma, Z. M.
    Yan, Li
    [J]. FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 1, PROCEEDINGS, 2007, : 81 - 85
  • [42] A probabilistic relational model and algebra
    Dey, D
    Sarkar, S
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1996, 21 (03): : 339 - 369
  • [43] Distributed Relational Algebra at Scale
    Kumar, Sidharth
    Gilray, Thomas
    [J]. 2019 IEEE 26TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, DATA, AND ANALYTICS (HIPC), 2019, : 12 - 22
  • [44] Induction of Relational Algebra Expressions
    Gillis, Joris J. M.
    Van den Bussche, Jan
    [J]. INDUCTIVE LOGIC PROGRAMMING, 2010, 5989 : 25 - +
  • [45] An Algebra of Alignment for Relational Verification
    Antonopoulos, Timos
    Koskinen, Eric
    Ton Chanh Le
    Nagasamudram, Ramana
    Naumann, David A.
    Minh Ngo
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 573 - 603
  • [46] Relational Algebra by Way of Adjunctions
    Gibbons, Jeremy
    Henglein, Fritz
    Hinze, Ralf
    Wu, Nicolas
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [47] EXPRESSIVE POWER OF RELATIONAL ALGEBRA
    PAREDAENS, J
    [J]. INFORMATION PROCESSING LETTERS, 1978, 7 (02) : 107 - 111
  • [48] A NEW FORMALISM FOR RELATIONAL ALGEBRA
    LARSEN, KS
    SCHWARTZBACH, MI
    SCHMIDT, EM
    [J]. INFORMATION PROCESSING LETTERS, 1992, 41 (03) : 163 - 168
  • [49] A COMPUTATIONAL MODEL OF RELATIONAL ALGEBRA
    VOLFENGAGEN, VE
    YATSUK, VY
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1985, 11 (05) : 298 - 309
  • [50] On a fuzzy bipolar relational algebra
    Bosc, Patrick
    Pivert, Olivier
    [J]. INFORMATION SCIENCES, 2013, 219 : 1 - 16