共 50 条
- [23] Datalog plus plus and Datalog- ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 1 - 1
- [24] Maltsev plus Datalog ⇒ symmetric Datalog TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 297 - +
- [25] A RECURSIVE ALGEBRA AND QUERY OPTIMIZATION FOR NESTED RELATIONS PROCEEDINGS OF THE 1989 ACM SIGMOD INTERNATIONAL CONFERENCE ON THE MANAGEMENT OF DATA, 1989, 18 : 273 - 283
- [27] A NEW NORMAL-FORM FOR NESTED RELATIONS ACM TRANSACTIONS ON DATABASE SYSTEMS, 1987, 12 (01): : 111 - 136
- [28] Characteristic Formulae for Relations with Nested Fixed Points ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (77): : 15 - 22