Relational algebra and equational proofs

被引：0
|
作者：
机构：
来源：
Fundam Inf | / 1卷 / 101期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] 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
  • [42] A choice option between proofs in linear algebra
    Rensaa, Ragnhild Johanne
    INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY, 2007, 38 (06) : 729 - 738
  • [43] Distributed Relational Algebra at Scale
    Kumar, Sidharth
    Gilray, Thomas
    2019 IEEE 26TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, DATA, AND ANALYTICS (HIPC), 2019, : 12 - 22
  • [44] A probabilistic relational model and algebra
    Dey, D
    Sarkar, S
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1996, 21 (03): : 339 - 369
  • [45] Complexity of equational theory of relational algebras with standard projection elements
    Mikulas, Szabolcs
    Sain, Ildiko
    Simon, Andras
    SYNTHESE, 2015, 192 (07) : 2159 - 2182
  • [46] CCLEMMA: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
    Kurashige, Cole
    Ji, Ruyi
    Giridharan, Aditya
    Barbone, Mark
    Noor, Daniel
    Itzhaky, Shachar
    Jhala, Ranjit
    Polikarpo, Nadia
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
  • [47] An Algebra of Alignment for Relational Verification
    Antonopoulos, Timos
    Koskinen, Eric
    Ton Chanh Le
    Nagasamudram, Ramana
    Naumann, David A.
    Minh Ngo
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 573 - 603
  • [48] EXPRESSIVE POWER OF RELATIONAL ALGEBRA
    PAREDAENS, J
    INFORMATION PROCESSING LETTERS, 1978, 7 (02) : 107 - 111
  • [49] Relational Algebra by Way of Adjunctions
    Gibbons, Jeremy
    Henglein, Fritz
    Hinze, Ralf
    Wu, Nicolas
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [50] Induction of Relational Algebra Expressions
    Gillis, Joris J. M.
    Van den Bussche, Jan
    INDUCTIVE LOGIC PROGRAMMING, 2010, 5989 : 25 - +
12345