Extending Datalog with arrays
- 1 October 1995
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 17 (1), 31-57
- https://doi.org/10.1016/0169-023x(95)00027-p
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A counting algorithm for a cyclic binary queryJournal of Computer and System Sciences, 1991
- Comparison of methods for logic-query implementationThe Journal of Logic Programming, 1991
- On the power of magicThe Journal of Logic Programming, 1991
- Logic programming with arraysIEEE Transactions on Knowledge and Data Engineering, 1991
- The generalized counting method for recursive logic queriesTheoretical Computer Science, 1986
- Axioms and Theorems for a Theory of ArraysIBM Journal of Research and Development, 1973