Safe Stratified Datalog with Integer Order Does Not Have Syntax

Alexei P. Stolboushkin, Michael A. Taitslin. Safe Stratified Datalog with Integer Order Does Not Have Syntax. ACM Trans. Database Syst., 23(1):100-109, 1998. [doi]

Abstract

Abstract is missing.