Static filtering on stratified programs

DOI10.1016/0020-0190(93)90133-TzbMath0782.68035MaRDI QIDQ688228

Kwang-Moo Choe, Byeong-Mo Chang, Taisook Han

Publication date: 13 March 1994

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

query optimizationapplicative logic programmingstatic filteringstratified programssystem graphs

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption

This page was built for publication: Static filtering on stratified programs