Modular stratification and magic sets for datalog programs with negation

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue 2-4, 1990, Pages 161-171

  Ross, Kenneth A ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS;

DATALOG PROGRAMS; MAGIC SETS; MODULAR STRATIFICATION;

COMPUTER METATHEORY;

EID: 0025405921     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/298514.298558     Document Type: Conference Paper

References (24)