Relational algebra and equational proofs

被引：0
|
作者：
机构：
来源：
Fundam Inf | / 1卷 / 101期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Membership algebra as a logical framework for equational specification
    Meseguer, J
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 18 - 61
  • [22] Decidability of Equational Theories for Subsignatures of Relation Algebra
    Hirsch, Robin
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2018, 11194 : 87 - 96
  • [23] EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM
    McNulty, George F.
    Szekely, Zoltan
    Willard, Ross
    INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2008, 18 (08) : 1283 - 1319
  • [24] On the complexity of the equational theory of relational action algebras
    Buszkowski, Wojciech
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 106 - 119
  • [25] Analytical Algebra: Extension of Relational Algebra
    Peschel, Jakub
    Batko, Michal
    Zezula, Pavel
    DATABASE AND EXPERT SYSTEMS APPLICATIONS, DEXA 2022, PT II, 2022, 13427 : 284 - 290
  • [26] Expansion of the Relational Algebra
    Kis, Piroska B.
    Buza, Antal
    2009 7TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS, 2009, : 111 - +
  • [27] A mobile relational algebra
    Morvan, Franck
    Hameurlain, Abdelkader
    MOBILE INFORMATION SYSTEMS, 2011, 7 (01) : 1 - 20
  • [28] Relational Algebra Interpreter
    Alkhalifah, Tamim
    de Vries, Denise
    PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON ADVANCED ICT, (ICAICTE 2014), 2014, : 4 - 9
  • [29] Relational algebra & Metakit
    Kelley, B
    DR DOBBS JOURNAL, 2004, 29 (12): : 65 - +
  • [30] RELATIONAL ALGEBRA OPERATIONS
    BRATBERGSENGEN, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 503 : 24 - 43
12345