{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T02:10:26Z","timestamp":1687745426461},"reference-count":32,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Unc. Fuzz. Knowl. Based Syst."],"published-print":{"date-parts":[[2012,10]]},"abstract":"<jats:p>We consider similarity-based relational databases that allow to retrieve approximate data, find data within a given range of distance or similarity, and support imprecise queries. We focus on the recently introduced relational algebra with similarities on [Formula: see text]-relations, which are annotated with multi-dimensional similarity values with each dimension referring to a single attribute. The codomains of the annotated relations are De Morgan frames, and the annotations express the relevance of the tuples as answers to a similarity-based query. In this paper, we study Datalog programs on [Formula: see text]-relations, with and without negation. We describe the least-fixpoint algorithm for safe and rectified Datalog programs on [Formula: see text]-relations with finite support but without negative literals in the body. We further describe the perfect-minimal-fixpoint algorithm of a Datalog program on [Formula: see text]-relations with finite support and negative literals in the body when rules are safe, rectified and stratified. We introduce the idea of controlling the calculation of the annotations such that the tuples that enter an IDB relation last will be announced less desirable than those that enter first. For this we define a damping function that augments\/diminishes the individual annotations that contribute to the final annotations of tuples. With a damping function, for instance, long chains of inferences may be made significantly less desirable or even totally undesirable.<\/jats:p>","DOI":"10.1142\/s0218488512500316","type":"journal-article","created":{"date-parts":[[2012,10,3]],"date-time":"2012-10-03T06:38:13Z","timestamp":1349246293000},"page":"673-700","source":"Crossref","is-referenced-by-count":0,"title":["SIMILARITY-BASED RELATIONS IN DATALOG PROGRAMS"],"prefix":"10.1142","volume":"20","author":[{"given":"MELITA","family":"HAJDINJAK","sequence":"first","affiliation":[{"name":"Faculty of Electrical Engineering, University of Ljubljana, Tr\u017ea\u0161ka cesta 25, SI-1000 Ljubljana, Slovenia"}]},{"given":"ANDREJ","family":"BAUER","sequence":"additional","affiliation":[{"name":"Faculty of Mathematics and Physics, University of Ljubljana, Jadranska ulica 19, SI-1000 Ljubljana, Slovenia"}]}],"member":"219","published-online":{"date-parts":[[2012,10,2]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1145\/1060710.1060718"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(82)90052-5"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4573(02)00054-7"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5643-5_10"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7908-1880-2"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-33289-8"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1145\/1388240.1388260"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1145\/357775.357777"},{"key":"rf14","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/PL00022469","volume":"46","author":"Montagna F.","journal-title":"Algebra Universalis"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129511000740"},{"key":"rf16","unstructured":"V. N.\u00a0Salii, Lectures in Univ. Algebra, Colloq. Math. Soc. J\u00e1nos Bolyai\u00a043 (North-Holland, Amsterdam, 1983)\u00a0pp. 429\u2013454."},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1162\/coli.2006.32.2.263"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"rf20","volume-title":"Fundamentals of Database Systems","author":"Elmasri R.","year":"2004"},{"key":"rf21","volume-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman J. D.","year":"1988"},{"key":"rf23","doi-asserted-by":"crossref","DOI":"10.1201\/9781482267914","volume-title":"Deductive Databases and their Applications","author":"Colomb R. M.","year":"1998"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90007-P"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00188-8"},{"key":"rf26","first-page":"1087","volume":"12","author":"Achs \u00c1.","journal-title":"J. Universal Computer Science"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1142\/S0218488506003807"},{"key":"rf29","first-page":"554","volume":"3","author":"Lakshmanan L. V. S.","journal-title":"IEEE Trans. Knowledge and Data Engineering"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1098-111X(200005)15:5<389::AID-INT2>3.0.CO;2-8"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-33289-8_1"},{"key":"rf32","volume-title":"Advances in Knowledge Representation","author":"Hajdinjak M.","year":"2012"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"rf34","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1886"},{"key":"rf35","doi-asserted-by":"crossref","unstructured":"K. R.\u00a0Apt, H. A.\u00a0Blair and A.\u00a0Walker, Foundations of Deductive Databases and Logic Programming, ed. J.\u00a0Minker (Morgan Kaufmann, Los Altos, 1988)\u00a0pp. 89\u2013148.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"rf36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511984747"},{"key":"rf37","volume-title":"Logic, Programming and Prolog","author":"Nilsson U.","year":"1995"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"rf39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04031-7"},{"key":"rf41","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2009.09.001"}],"container-title":["International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218488512500316","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T01:46:19Z","timestamp":1687743979000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218488512500316"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":32,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2012,10,2]]},"published-print":{"date-parts":[[2012,10]]}},"alternative-id":["10.1142\/S0218488512500316"],"URL":"https:\/\/doi.org\/10.1142\/s0218488512500316","relation":{},"ISSN":["0218-4885","1793-6411"],"issn-type":[{"value":"0218-4885","type":"print"},{"value":"1793-6411","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10]]}}}