Relational algebra and equational proofs

被引：0
|
作者：
机构：
来源：
Fundam Inf | / 1卷 / 101期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Formalization of proofs using relational calculus
    Miroguchi, Yoshihiro
    Tanaka, Hisaharu
    Inokuchi, Shuichi
    PROCEEDINGS OF 2016 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA 2016), 2016, : 527 - 531
  • [32] Nominal (Universal) Algebra: Equational Logic with Names and Binding
    Gabbay, Murdoch J.
    Mathijssen, Aad
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1455 - 1508
  • [33] Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions
    Van den Bussche, J
    THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 363 - 377
  • [34] Equational Theories of Abnormal Termination Based on Kleene Algebra
    Mamouras, Konstantinos
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 88 - 105
  • [35] From a computer algebra library to a system with an equational prover
    Mechveliani, S
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 281 - 284
  • [36] Fuzzy relational algebra and fuzzy relational calculus
    Mao, Yuguang
    Zhu, Wujia
    Xiyou Jinshu Cailiao Yu Gongcheng/Rare Metal Materials and Engineering, 27 (01): : 1 - 6
  • [37] VIEW UPDATE EQUATIONAL TRANSLATOR FOR RELATIONAL DATABASE SYSTEMS.
    Brzezinski, Zbigniew
    Getta, Janusz
    Rybnik, Janusz
    Rybnik, Malgorzata
    Bulletin of the Polish Academy of Sciences. Technical Sciences, 1987, 35 (5-6) : 265 - 283
  • [38] OPTIMIZATION IN THE TRANSLATION FROM THE RELATIONAL CALCULUS TO THE RELATIONAL ALGEBRA
    SIEPERMANNPONSDE, CM
    VIDART, J
    ACTA CIENTIFICA VENEZOLANA, 1978, 29 : 31 - 31
  • [39] Complexity of equational theory of relational algebras with standard projection elements
    Szabolcs Mikulás
    Ildikó Sain
    András Simon
    Synthese, 2015, 192 : 2159 - 2182
  • [40] Solving equations in the relational algebra
    Biskup, J
    Paredaens, J
    Schwentick, T
    Van den Bussche, J
    SIAM JOURNAL ON COMPUTING, 2004, 33 (05) : 1052 - 1066
12345