Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan. Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs. In Dennis McLeod, Ron Sacks-Davis, Hans-Jörg Schek, editors, 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings. pages 359-371, Morgan Kaufmann, 1990. [doi]

Abstract

Abstract is missing.