The inference problem for template dependencies
From MaRDI portal
Publication:3340200
DOI10.1016/S0019-9958(82)90420-XzbMath0548.68095WikidataQ114656783 ScholiaQ114656783MaRDI QIDQ3340200
Publication date: 1982
Published in: Information and Control (Search for Journal in Brave)
undecidability; relational database; inference problem; formalized integrity constraint; template dependency
03D35: Undecidability and degrees of sets of sentences
68P20: Information storage and retrieval of data
Related Items