Magic sets and bottom-up evaluation of well-founded models

Volumn , Issue , 1991, Pages 337-351

  Kemp, David B ^a   Stuckey, Peter J ^a   Srivastava, Divesh ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; EQUIVALENCE CLASSES; MANY VALUED LOGICS; MATHEMATICAL MODELS; QUERY LANGUAGES; SET THEORY;

BOTTOM UP EVALUATION; DATALOG PROGRAMS; MAGIC SETS; NEGATION; SIPS; WELL FOUNDED MODELS;

LOGIC PROGRAMMING;

EID: 0026280732     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)