Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Cooperative Information Systems
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
