References

Zanilo93

C. Zaniolo, N. Arni, K. Ong, ``Negation and Aggregates in Recursive Rules: the LDL++ Approach'', Proc. 3rd Int. Conf. on Deductive and OODBs, DOOD-93, Phoenix, AZ, December, 1993.

Greco98

S. Greco, C. Zaniolo, ``Greedy Algorithms in Datalog with Choice and Negation'', 1998.

Zaniolo97

C. Zaniolo, S. Ceri, C. Faloutsos, V.S. Subrahmanian and R. Zicari, Advanced Database Systems, Morgan Kaufmann Publishers, 1997.