Precise complexity analysis for efficient datalog queries.

Autor: Tekle, K. Tuncay, Liu, Yanhong A.
Zdroj: Proceedings of the 12th International ACM SIGPLAN Symposium: Principles & Practice of Declarative Programming; 7/26/2010, p35-44, 10p
Databáze: Complementary Index