{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T01:31:06Z","timestamp":1675215066847},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T00:00:00Z","timestamp":1323820800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2012,6]]},"abstract":"Using the concept of a generalised priority constraint satisfaction problem, we previously found a way to introduce priority queries into fuzzy relational databases. The results were PFSQL (Priority Fuzzy Structured Query Language) together with a database independent interpreter for it. In an effort to improve the performance of the resolution of PFSQL queries, the aim of the current paper is to formalise PFSQL queries by obtaining their interpretation in an existing fuzzy logic. We have found that the \u0141\u03a0<\/jats:private-char> logic provides sufficient elements. The SELECT line of PFSQL queries is semantically a formula of some fuzzy logic, and we show that such formulas can be naturally expressed in a conservative extension of the \u0141\u03a0<\/jats:private-char> logic. Furthermore, we prove a theorem that gives the PSPACE containment for the complexity of finding a model for a given \u0141\u03a0<\/jats:private-char> logic formula.<\/jats:p>","DOI":"10.1017\/s0960129511000673","type":"journal-article","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T09:31:35Z","timestamp":1323855095000},"page":"533-547","source":"Crossref","is-referenced-by-count":4,"title":["Formalising PFSQL queries using \u0141\u03a0 fuzzy logic"],"prefix":"10.1017","volume":"22","author":[{"given":"ALEKSANDAR","family":"PEROVI\u0106","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ALEKSANDAR","family":"TAKA\u010cI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SRDJAN","family":"\u0160KRBI\u0106","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2011,12,14]]},"reference":[{"key":"S0960129511000673_ref27","unstructured":"Zvieli A. and Chen P. (1986) ER modelling and fuzzy databases. Proceedings of the 2nd International Conference Data Engineering 320\u2013327."},{"key":"S0960129511000673_ref24","unstructured":"Taka\u010di A. and \u0160krbi\u0107 S. (2005) How to implement FSQL and priority queries. Proceedings 3rd Serbian\u2013Hungarian Joint Symposium on Intelligent Systems, Subotica, Serbia 261\u2013267."},{"key":"S0960129511000673_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.05.011"},{"key":"S0960129511000673_ref22","unstructured":"Taka\u010di A. , Perovi\u0107 A. and Jovanovi\u0107 A. (2008) Measuring uncertainty with priority based logic. Proceedings 12th IPMU 1490\u20131496."},{"key":"S0960129511000673_ref21","doi-asserted-by":"publisher","DOI":"10.2298\/CSIS100102010S"},{"key":"S0960129511000673_ref20","unstructured":"\u0160krbi\u0107 S. and Rackovi\u0107 M. (2009) PFSQL: a fuzzy SQL language with priorities. Proceedings of PSU-UNS International Conference on Engineering Technologies, Novi Sad, Serbia 58\u201363."},{"key":"S0960129511000673_ref19","unstructured":"\u0160krbi\u0107 S. and Taka\u010di A. (2008) On development of fuzzy relational database applications. Proceedings 12th IPMU 268\u2013273."},{"key":"S0960129511000673_ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(94)90069-8"},{"key":"S0960129511000673_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2007.04.003"},{"key":"S0960129511000673_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(02)00385-8"},{"key":"S0960129511000673_ref15","doi-asserted-by":"publisher","DOI":"10.2298\/CSIS0902127H"},{"key":"S0960129511000673_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01268618"},{"key":"S0960129511000673_ref13","unstructured":"H\u00e1jek P. , Godo L. and Esteva F. (1995) Fuzzy logic and probability. Proceedings 11th UAI 237\u2013244."},{"key":"S0960129511000673_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"key":"S0960129511000673_ref11","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzl019"},{"key":"S0960129511000673_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050006"},{"key":"S0960129511000673_ref5","doi-asserted-by":"publisher","DOI":"10.1002\/int.1032"},{"key":"S0960129511000673_ref4","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1098-111X(199904)14:4<375::AID-INT3>3.0.CO;2-K"},{"key":"S0960129511000673_ref3","unstructured":"Chen G. Q. and Kerre E. E. (1998) Extending ER\/EER concepts towards fuzzy conceptual data modelling. Proceedings IEEE International Conference on Fuzzy Systems 1320\u20131325."},{"key":"S0960129511000673_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(82)90052-5"},{"key":"S0960129511000673_ref26","doi-asserted-by":"crossref","unstructured":"Taka\u010di A. and \u0160krbi\u0107 S. (2008) Data model of FRDB with different data types and PFSQL. In: Galindo J. (ed.) Handbook of Research on Fuzzy Information Processing in Databases, Information Science Reference 407\u2013434.","DOI":"10.4018\/978-1-59904-853-6.ch016"},{"key":"S0960129511000673_ref25","unstructured":"Taka\u010di A. and \u0160krbi\u0107 S. (2007) Measuring the similarity of different types of fuzzy sets in FRDB. Proceedings EUSFLAT-LFA, Ostrava, Czech Republic 247\u2013252."},{"key":"S0960129511000673_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2007.09.002"},{"key":"S0960129511000673_ref6","doi-asserted-by":"crossref","unstructured":"Galindo J. , Urrutia A. and Piattini M. (2006) Fuzzy databases: modelling design and implementation. IDEA Group.","DOI":"10.4018\/978-1-59140-324-1"},{"key":"S0960129511000673_ref10","first-page":"811","article-title":"Reasoning about probability using fuzzy logic.","volume":"10","author":"Godo","year":"2000","journal-title":"Neural Network World"},{"key":"S0960129511000673_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050173"},{"key":"S0960129511000673_ref2","doi-asserted-by":"crossref","unstructured":"Chaudhry N. , Moyne J. and Rundensteiner E. (1994) A design methodology for databases with uncertain data. Proceedings 7th International Conference on Scientific and Statistical Database Management 32\u201341.","DOI":"10.1109\/SSDM.1994.336964"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129511000673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T17:03:51Z","timestamp":1556211831000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129511000673\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,14]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["S0960129511000673"],"URL":"https:\/\/doi.org\/10.1017\/s0960129511000673","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12,14]]}}}