Verifying local stratifiability of logic programs and databases

DOI10.1007/BF03037526MaRDI QIDQ1205177zbMATH OpenFDO

Authors 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

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

Recommendations

• Testing logic programs for local stratification
• scientific article; zbMATH DE number 4199653
• Stratified least fixpoint logic
• scientific article; zbMATH DE number 4199656
• The expressive power of stratified logic programs

Cited in

(2)

• Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates
• Testing logic programs for local stratification

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1205177)