共 50 条
- [21] Distributed Relational Algebra at Scale 2019 IEEE 26TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, DATA, AND ANALYTICS (HIPC), 2019, : 12 - 22
- [22] A probabilistic relational model and algebra ACM TRANSACTIONS ON DATABASE SYSTEMS, 1996, 21 (03): : 339 - 369
- [23] An Algebra of Alignment for Relational Verification PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 573 - 603
- [25] Relational Algebra by Way of Adjunctions PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2