Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics
暂无分享,去创建一个
[1] Wenfei Fan,et al. Keys for XML , 2002, Comput. Networks.
[2] Ronald Fagin,et al. Functional Dependencies in a Relational Data Base and Propositional Logic , 1977, IBM J. Res. Dev..
[3] Sebastian Link,et al. Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies , 2010, Inf. Syst..
[4] E. F. Codd,et al. Recent Investigations in Relational Data Base Systems , 1974, ACM Pacific.
[5] Lucja Kot,et al. Characterization of the Interaction of XML Functional Dependencies with DTDs , 2007, ICDT.
[6] Sven Hartmann,et al. Efficient reasoning about a robust XML key fragment , 2009, TODS.
[7] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..
[8] I. J. Heath. Unacceptable file operations in a relational data base , 1971, SIGFIDET '71.
[9] Gianfranco Lamperti,et al. On Multisets in Database Systems , 2000, WMP.
[10] Joel Berman,et al. Positive Boolean Dependencies , 1988, Inf. Process. Lett..
[11] Millist W. Vincent,et al. Semantic foundations of 4NF in relational database design , 1999, Acta Informatica.
[12] Ernst-Rüdiger Olderog,et al. Transformational design of real-time systems Part I: From requirements to program specifications , 1999, Acta Informatica.
[13] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[14] Ronald Fagin,et al. An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic , 1981, JACM.
[15] Marcelo Arenas,et al. A normal form for XML documents , 2004, TODS.
[16] Sven Hartmann,et al. Numerical constraints on XML data , 2010, Inf. Comput..