The inference problem for template dependencies

DOI10.1016/S0019-9958(82)90420-XMaRDI QIDQ3340200zbMATH OpenWikidataFDO

Authors Harry R. Lewis, Yuri Gurevich

Publication date 1982

Published in Information and Control (Search for Journal in Brave)

zbMATH Keywords

undecidabilityrelational databaseinference problemformalized integrity constrainttemplate dependency

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• The implication and finite implication problems for typed template dependencies
• Generalized template dependencies
• Datalog and constraint satisfaction with infinite templates
• Datalog and Constraint Satisfaction with Infinite Templates
• Semantics of templates in a compositional framework for building logics
• Constraint Satisfaction Problems with Infinite Templates
• Reasoning about embedded dependencies using inclusion dependencies
• The implication problem for functional and inclusion dependencies

Cited in

(3)

• Database Theory, Yuri, and Me
• The implication and finite implication problems for typed template dependencies
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable

This page was built for publication: The inference problem for template dependencies

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