Verifying local stratifiability of logic programs and databases

DOI10.1007/BF03037526zbMath0760.68015MaRDI QIDQ1205177

Yi-Dong Shen

Publication date: 1 April 1993

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

verificationdeductive databaseslocal stratifiability

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verifying local stratifiability of logic programs and databases