View Item 

Show simple item record

The inference problem for template dependencies

dc.contributor.authorGurevich, Yurien_US
dc.contributor.authorLewis, Harry R.en_US
dc.date.accessioned2006-04-07T17:47:31Z
dc.date.available2006-04-07T17:47:31Z
dc.date.issued1982en_US
dc.identifier.citationGurevich, Yuri, Lewis, Harry R. (1982)."The inference problem for template dependencies." Information and Control 55(1-3): 69-79. <http://hdl.handle.net/2027.42/23841>en_US
dc.identifier.urihttp://www.sciencedirect.com/science/article/B7MFM-4DX44G9-138/2/3c9ad4ad34d32540d4d7daee934d0dc0en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/23841
dc.description.abstractA template dependency is a formalized integrity constraint on a relational database, stating that whenever tuples exist in the database that agree on certain attributes, an additional tuple must also be present that agrees with the others in a specified way. It is shown that the inference problem for template dependencies is undecidable, that is, there can be no algorithm for determining whether a given dependency is a logical consequence of a given finite set of dependencies. The undecidability result holds whether or not databases are considered to be necessarily finite.en_US
dc.format.extent551603 bytes
dc.format.extent3118 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherElsevieren_US
dc.titleThe inference problem for template dependenciesen_US
dc.typeArticleen_US
dc.rights.robotsIndexNoFollowen_US
dc.subject.hlbsecondlevelScience (General)en_US
dc.subject.hlbsecondlevelInformation and Library Scienceen_US
dc.subject.hlbsecondlevelComputer Scienceen_US
dc.subject.hlbtoplevelScienceen_US
dc.subject.hlbtoplevelSocial Sciencesen_US
dc.subject.hlbtoplevelEngineeringen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumUniversity of Michigan, Ann Arbor, Michigan 48109, USAen_US
dc.contributor.affiliationotherAiken Computation Laboratory, Harvard University, 33 Oxford Street Cambridge, Massachusetts 02138, USAen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/23841/1/0000080.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1016/S0019-9958(82)90420-Xen_US
dc.identifier.sourceInformation and Controlen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
0000080.pdf
Size:
538.6KB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.