{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:31:38Z","timestamp":1740133898272,"version":"3.37.3"},"reference-count":7,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Coop. Info. Syst."],"published-print":{"date-parts":[[2019,3]]},"abstract":"<jats:p> In this paper, we present two types of XML semantic constraints, namely the XML Template Functional Dependencies (XTFDs) and the XML Template Multivalued Dependencies (XTMVDs), which are both defined over the finite XML files that have no mixed contents. Essentially they specify that if a pattern of nodes appears in a finite XML file that has no mixed contents, then another pattern of nodes must also appear. To implement these semantic constraints, we demonstrate an algorithm that transforms an XTFD or an XTMVD to an XQuery program such that the program returns a non-empty set of counter examples from such an XML file If [Formula: see text] if and only if [Formula: see text] does not satisfy the constraint. <\/jats:p>","DOI":"10.1142\/s0218843019500011","type":"journal-article","created":{"date-parts":[[2019,1,11]],"date-time":"2019-01-11T04:15:52Z","timestamp":1547180152000},"page":"1950001","source":"Crossref","is-referenced-by-count":0,"title":["XML Template Functional and Multivalued Dependencies Validation"],"prefix":"10.1142","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9729-6677","authenticated-orcid":false,"given":"Wai Yin","family":"Mok","sequence":"first","affiliation":[{"name":"College of Business, The University of Alabama in Huntsville, Huntsville AL 35899, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan R.","family":"Mok","sequence":"additional","affiliation":[{"name":"School of Law, The University of Alabama, Tuscaloosa AL 35487, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaotong","family":"Li","sequence":"additional","affiliation":[{"name":"College of Business, The University of Alabama in Huntsville, Huntsville AL 35899, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2019,4,3]]},"reference":[{"key":"S0218843019500011BIB001","doi-asserted-by":"publisher","DOI":"10.1145\/974750.974757"},{"key":"S0218843019500011BIB002","volume-title":"NET Web Services: Architecture and Implementation","author":"Ballinger K.","year":"2003","edition":"1"},{"volume-title":"Logic and Databases: The Roots of Relational Theory","year":"2007","author":"Date C. J.","key":"S0218843019500011BIB003"},{"key":"S0218843019500011BIB012","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2006.03.009"},{"key":"S0218843019500011BIB017","doi-asserted-by":"publisher","DOI":"10.1145\/322307.322312"},{"key":"S0218843019500011BIB021","doi-asserted-by":"publisher","DOI":"10.1145\/1016028.1016029"},{"key":"S0218843019500011BIB026","volume-title":"XQuery","author":"Walmsley P.","year":"2015","edition":"2"}],"container-title":["International Journal of Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218843019500011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T09:35:47Z","timestamp":1565084147000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218843019500011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":7,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2019,4,3]]},"published-print":{"date-parts":[[2019,3]]}},"alternative-id":["10.1142\/S0218843019500011"],"URL":"https:\/\/doi.org\/10.1142\/s0218843019500011","relation":{},"ISSN":["0218-8430","1793-6365"],"issn-type":[{"type":"print","value":"0218-8430"},{"type":"electronic","value":"1793-6365"}],"subject":[],"published":{"date-parts":[[2019,3]]}}}