Access the full text.
Sign up today, get DeepDyve free for 14 days.
G Berry, R Sethi (1986)
From regular expressions to deterministic automataTheor. Comput. Sci., 48
C Yu, HV Jagadish (2008)
XML schema refinement through redundancy detection and normalizationVLDB J., 17
VM Glushkov (1961)
The abstract theory of automataRuss. Math. Surv., 16
MW Vincent, J Liu, MK Mohania (2007)
On the equivalence between FDs in XML and FDs in relationsActa Informatica, 44
S Hartmann, S Link (2010)
Numerical constraints on XML dataInf. Comput., 208
A Sali, K-D Schewe (2006)
Counter-free keys and functional dependencies in higher-order datamodelsFundam. Inform., 70
BW Watson (1993)
Computing Science Note, pp. 93–43
P Buneman, SB Davidson, W Fan, CS Hara, WC Tan (2002)
Keys for XMLComput. Netw., 39
S Hartmann, S Link, K-D Schewe (2005)
Functional dependencies over XML documents with DTDsActa Cybern., 17
P Buneman, SB Davidson, W Fan, CS Hara, WC Tan (2003)
Reasoning about keys for XMLInf. Syst., 28
MW Vincent, J Liu, C Liu (2004)
Strong functional dependencies and their application to normal forms in XMLACM Trans. Datab. Syst., 29
M Arenas, L Libkin (2004)
A normal form for XML documentsACM Trans. Datab. Syst., 29
JA Brzozowski (1964)
Derivatives of regular expressionsJ. ACM, 11
PC Fischer, LV Saxton, SJ Thomas, D Gucht (1985)
Interactions between dependencies and nested relational structuresJ. Comput. Syst. Sci., 31
M Murata, D Lee, M Mani, K Kawaguchi (2005)
Taxonomy of XML schema languages using formal language theoryACM Trans. Internet Technol., 5
S Hartmann, S Link (2008)
Characterising nested database dependencies by fragments of propositional logicAnn. Pure Appl. Logic, 152
C Liu, MW Vincent, J Liu (2006)
Constraint preserving transformation from relational schema to XML schemaWWW, 9
S Hartmann, S Link, K-D Schewe (2006)
Axiomatisation of functional dependencies in the presence of records, lists, sets and multisetsTheor. Comput. Sci., 355
P Atzeni, N Morfuni (1986)
Functional dependencies and constraints on null values in database relationsInf. Control, 70
J-M Champarnaud, D Ziadi (2002)
Canonical derivatives, partial derivatives and finite automaton constructionsTheor. Comput. Sci., 289
S Davidson, W Fan, C Hara (2007)
Propagating XML constraints to relationsJ. Comput. Syst. Sci., 73
R Fagin (1977)
Functional dependencies in a relational database and propositional logicIBM J. Res. Develop., 21
S Hartmann, S Link (2009)
Efficient reasoning about a robust XML key fragmentACM Trans. Datab. Syst., 34
Functional dependency (FD) is one of the most analyzed integrity constraints for any data model. In the relational data model, FDs are defined in a natural way: the values of an attribute set Y depend on the values of another attribute set X, that is, “Y is a function of X”. FDs are well studied and are widely used in normalization theory. XML functional dependencies (XFD) can be defined in different ways and no universally best definition has been proposed. They are defined by very intricate concepts, and they are mostly based upon XML elements described by XML schema languages such as a DTD or an XML Schema definition. The instances of these elements are semi-structured tuples. A semi-structured tuple is an ordered list of (attribute: value) pairs. We may think of a tuple as a sentence of a formal language, where the values are the terminal symbols and the attribute names are the nonterminal symbols. In this way, the sequence of the attribute names is the left side of a production rule used to accept the next terminal symbol, that is, the next value of the tuple. So the list of values forms the sentence and the list of attributes forms the dual sentence. In this paper, we introduce the notion of the extended tuple as a sentence from a regular language generated by a grammar where the nonterminal symbols of the grammar are the attribute names of the tuple. Sets of extended tuples are the extended relations (relations are instances). We then introduce the dual language, which generates the tuple types allowed to occur in extended relations. We define functional dependencies over extended relations. The syntax of functional dependencies will be given on the graph of the finite state automaton accepting the regular language. Using this model, we can also handle extended relations generated by recursive regular expressions. The implication problem of our class of dependencies is decidable and finitely axiomatizable by a version of the Chase algorithm performed on the graph of the associated finite state automaton.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: May 5, 2013
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.