View Item 

Show simple item record

Datalog vs first-order logic

dc.contributor.authorAjtai, Miklosen_US
dc.contributor.authorGurevich, Yurien_US
dc.date.accessioned2006-04-10T17:43:56Z
dc.date.available2006-04-10T17:43:56Z
dc.date.issued1994-12en_US
dc.identifier.citationAjtai, Miklos, Gurevich, Yuri (1994/12)."Datalog vs first-order logic." Journal of Computer and System Sciences 49(3): 562-588. <http://hdl.handle.net/2027.42/31164>en_US
dc.identifier.urihttp://www.sciencedirect.com/science/article/B6WJ0-4GX77T3-6/2/80470b72eba573e14bdb3f9c4abe265fen_US
dc.identifier.urihttps://hdl.handle.net/2027.42/31164
dc.description.abstractOur main result is that every datalog query expressible in first-order logic is bounded; in terms of classical model theory it is a kind of compactness theorem for finite structures. In addition, we give some counter-examples delimiting the main result.en_US
dc.format.extent1460372 bytes
dc.format.extent3118 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherElsevieren_US
dc.titleDatalog vs first-order logicen_US
dc.typeArticleen_US
dc.rights.robotsIndexNoFollowen_US
dc.subject.hlbsecondlevelPhilosophyen_US
dc.subject.hlbsecondlevelComputer Scienceen_US
dc.subject.hlbtoplevelHumanitiesen_US
dc.subject.hlbtoplevelEngineeringen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumElectrical Engineering and Computer Science Department, University of Michigan, Ann Arbor, Michigan 48109-2122, USAen_US
dc.contributor.affiliationotherIBM Almaden Research Center, San Jose, California 95120, USAen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/31164/1/0000063.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1016/S0022-0000(05)80071-6en_US
dc.identifier.sourceJournal of Computer and System Sciencesen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
0000063.pdf
Size:
1.392MB
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.