EQUIVALENCES AMONG RELATIONAL EXPRESSIONS

被引：162
|
作者：
AHO, AV
SAGIV, Y
ULLMAN, JD
机构：
来源：
SIAM JOURNAL ON COMPUTING | 1979年 / 8卷 / 02期
关键词：
D O I：
10.1137/0208017
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
下载
收藏
页码：218 / 246
页数：29
相关论文
共 50 条
  • [1] EQUIVALENCES AMONG RELATIONAL EXPRESSIONS WITH THE UNION AND DIFFERENCE OPERATORS
    SAGIV, Y
    YANNAKAKIS, M
    JOURNAL OF THE ACM, 1980, 27 (04) : 633 - 655
  • [2] Algebraic equivalences of nested relational operators
    Liu, HC
    Yu, JX
    INFORMATION SYSTEMS, 2005, 30 (03) : 167 - 204
  • [3] EQUIVALENCE AMONG RELATIONAL EXPRESSIONS WITH THE UNION AND DIFFERENCE OPERATIONS.
    Sagiv, Y.
    Yannakakis, M.
    1978, : 535 - 548
  • [4] Tabular expressions and their relational semantics
    Janicki, R
    Wassyng, A
    FUNDAMENTA INFORMATICAE, 2005, 67 (04) : 343 - 370
  • [5] MANIPULATION OF EXPRESSIONS IN A RELATIONAL ALGEBRA
    STROET, JWM
    ENGMANN, R
    INFORMATION SYSTEMS, 1979, 4 (03) : 195 - 203
  • [6] Induction of Relational Algebra Expressions
    Gillis, Joris J. M.
    Van den Bussche, Jan
    INDUCTIVE LOGIC PROGRAMMING, 2010, 5989 : 25 - +
  • [7] ARE PREDICATES AND RELATIONAL EXPRESSIONS INCOMPLETE
    LONG, P
    PHILOSOPHICAL REVIEW, 1969, 78 (01): : 90 - 98
  • [8] ON TESTING SOUNDNESS OF RELATIONAL EXPRESSIONS
    CHAN, EPF
    MENDELZON, AO
    INFORMATION SYSTEMS, 1987, 12 (02) : 167 - 170
  • [9] EQUIVALENCES AMONG LOGICS OF PROGRAMS
    MEYER, AR
    TIURYN, J
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1984, 29 (02) : 160 - 170
  • [10] Equivalences Among Polarity Algorithms
    José-de-Jesús Lavalle-Martínez
    Manuel Montes-y-Gómez
    Luis Villaseñor-Pineda
    Héctor Jiménez-Salazar
    Ismael-Everardo Bárcenas-Patiño
    Studia Logica, 2018, 106 : 371 - 395
12345