dc.contributor.author | Carvalho, Catarina | |
dc.contributor.author | Dalmau, Victor | |
dc.contributor.author | Krokhin, Andrei | |
dc.date.accessioned | 2013-01-14T14:29:03Z | |
dc.date.available | 2013-01-14T14:29:03Z | |
dc.date.issued | 2011 | |
dc.identifier.citation | Carvalho , C , Dalmau , V & Krokhin , A 2011 , ' Two new homomorphism dualities and lattice operations ' , Journal of Logic and Computation , vol. 21 , no. 6 , pp. 1065-1092 . https://doi.org/10.1093/logcom/exq030 | |
dc.identifier.issn | 1465-363X | |
dc.identifier.other | PURE: 774997 | |
dc.identifier.other | PURE UUID: 866bd827-2409-4965-9c96-70e7bbb60dd2 | |
dc.identifier.other | Scopus: 82455219121 | |
dc.identifier.other | ORCID: /0000-0002-4648-7016/work/62748317 | |
dc.identifier.uri | http://hdl.handle.net/2299/9617 | |
dc.description.abstract | The study of constraint satisfaction problems definable in various fragments of Datalog has recently gained considerable importance. We consider constraint satisfaction problems that are definable in the smallest natural recursive fragment of Datalog - monadic linear Datalog with at most one EDB per rule, and also in the smallest non-linear extension of this fragment. We give combinatorial and algebraic characterisations of such problems, in terms of homomorphism dualities and lattice operations, respectively. We then apply our results to study graph H-colouring problems. | en |
dc.language.iso | eng | |
dc.relation.ispartof | Journal of Logic and Computation | |
dc.title | Two new homomorphism dualities and lattice operations | en |
dc.contributor.institution | School of Physics, Astronomy and Mathematics | |
dc.contributor.institution | Science & Technology Research Institute | |
dc.description.status | Peer reviewed | |
rioxxterms.version | AM | |
rioxxterms.versionofrecord | https://doi.org/10.1093/logcom/exq030 | |
rioxxterms.type | Journal Article/Review | |
herts.preservation.rarelyaccessed | true | |