Functional Dependencies on Extended Relations Defined by Regular Languages
作者： Gyula I. Szabó , András Benczúr
DOI: 10.1007/978-3-642-28472-4_22
关键词:
摘要: In this paper, we first rephrase the notion of extended tuple as a sentence from regular language generated by grammar G where nonterminal symbols are attribute names tuple. Finite sets tuples play role relation instances. Then introduce dual language, which generates accepted tuple-types relation. We define syntactical form functional dependencies for on graph finite state automaton associated to language. Using model can handle relations recursive expressions too. The implication problem our class is decidable version Chase algorithm specified FSA.
springer.com
sci-hub.st 参考文章(37)
Murali Mani, Dongwon Lee, Makoto Murata, Reasoning about XML Schema Languages using Formal Language Theory ,(2000)
Sven Hartmann, Sebastian Link, More functional dependencies for XML advances in databases and information systems. pp. 355- 369 ,(2003) , 10.1007/978-3-540-39403-7_27
Junhu Wang, A Comparative Study of Functional Dependencies for XML Web Technologies Research and Development - APWeb 2005. pp. 308- 319 ,(2005) , 10.1007/978-3-540-31849-1_31
Sven Hartmann, Sebastian Link, Thu Trinh, Solving the implication problem for XML functional dependencies with properties workshop on logic, language, information and computation. ,vol. 6188, pp. 161- 175 ,(2010) , 10.1007/978-3-642-13824-9_14
Sven Hartmann, Henning Köhler, Thu Trinh, On the existence of armstrong data trees for XML functional dependencies foundations of information and knowledge systems. ,vol. 5956, pp. 94- 113 ,(2010) , 10.1007/978-3-642-11829-6_9
Rodney Topor, Junhu Wang, Removing XML data redundancies using functional and equality-generating dependencies australasian database conference. ,vol. 39, pp. 65- 74 ,(2005)
Victor Vianu, Serge Abiteboul, Richard Hull, Foundations of databases ,(1994)
Rui Zhou, Chengfei Liu, Jianxin Li, Holistic constraint-preserving transformation from relational schema into XML schema database systems for advanced applications. ,vol. 4947, pp. 4- 18 ,(2008) , 10.1007/978-3-540-78568-2_4
Klaus-Dieter Schewe, Attila Sali, Counter-free keys and functional dependencies in higher-order datamodels Fundamenta Informaticae. ,vol. 70, pp. 277- 301 ,(2006)
Sebastian Link, Sven Hartmann, Klaus-Dieter Schewe, Functional dependencies over XML documents with DTDs Acta Cybernetica. ,vol. 17, pp. 153- 171 ,(2005)