next up previous contents
Next: About this document Up: Tutorial Guide to Data Previous: BNCF Verification Source Code

References

1
S. Bell and P. Brockhausen. Discovery of data dependencies in relational databases, 1995.

2
E.F. Codd. A relational model of data for large shared data banks. 13:377-387, 1970. Comm. ACM.

3
E.F. Codd. further normalization of data base relational model. In Data Base Systems, volume 6, pages 36-64, American Mathematical Society, 1972. Courant Computer Science Symposia, Prentice Hall.

4
Elmasri and Navathe. Fundamentals of Database Systems. Addison Wesley, MO, USA, third edition, 2000.

5
R. Fagin and M.Y. Vardi. The theory of data dependencies-a survey. In M. Anshel and W. Gewirtz, editors, Mathematics of Information Processing, volume 34, pages 19-71, American Mathematical Society, 1986. In Proc. Symposia in Applied Mathematics, Providence, Rhode Island.

6
H. Manila and K.J. R tex2html_wrap_inline1954 . The Design of Relational Databases. Addison-Wesley, USA, 1991.

7
R. Ramakrishnan. Database Management Systems. Mc-Graw Hill, MD, USA, second edition, 1999.

8
O.R. Z tex2html_wrap_inline1956 aine. Database design theory. Lecture Notes from University of Alberta, CMPUT 391.

http://www.cs.ualberta.ca/zaiane/courses/cmput391/slides/Lect2/sld032.htm.



Khan Samee Ullah
Wed Dec 19 10:27:23 CST 2001