Sergio Greco Luigi Palopoli Eugenio Spadafora Extending Datalog with Arrays. 31-57 1995 17 Data Knowl. Eng. 1 db/journals/dke/dke17.html#GrecoPS95 http://dx.doi.org/10.1016/0169-023X(95)00027-P