One-sided recursions
- 30 April 1991
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 42 (2) , 199-236
- https://doi.org/10.1016/0022-0000(91)90011-s
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Data independent recursion in deductive databasesJournal of Computer and System Sciences, 1989
- Minimizing function-free recursive inference rulesJournal of the ACM, 1989
- On compiling queries in recursive first-order databasesJournal of the ACM, 1984
- On recursive axioms in deductive databasesInformation Systems, 1983
- Equivalences Among Relational Expressions with the Union and Difference OperatorsJournal of the ACM, 1980
- Equivalences among Relational ExpressionsSIAM Journal on Computing, 1979