università degli studi di siena facoltà di scienze matematiche, fisiche ...
università degli studi di siena facoltà di scienze matematiche, fisiche ...
università degli studi di siena facoltà di scienze matematiche, fisiche ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Bibliografia<br />
[1] A. Albano, G. Ghelli, R. Orsini. Basi <strong>di</strong> dati relazionali e a oggetti.<br />
Zanichelli, Bologna, 1997.<br />
[2] A. Asperti, A. Ciabattoni. Logica e informatica. McGraw Hill, Milano,<br />
1997.<br />
[3] P. Atzeni, C. Batini, V. De Antonellis. La teoria relazionale dei dati.<br />
Boringhieri, Torino, 1985.<br />
[4] P. Atzeni, S. Ceri, S. Paraboschi, R. Torlone. Basi <strong>di</strong> dati. Concetti,<br />
linguaggi e architetture. McGraw Hill, Milano, 1996.<br />
[5] E. F. Codd. A relational Model for large shared Data Banks.<br />
Communications of the ACM, 1970.<br />
[6] S. Mac Lane. Categorie nella pratica matematica. Boringhieri, Torino,<br />
1977.<br />
[7] G. Panti. Multi-valued Logics. Università <strong>di</strong> U<strong>di</strong>ne, 1999.<br />
[8] J. D. Ullman. Principles of Databases and Knowledge Base Systems.<br />
Computer Science Press, Rockville, Maryland, 1997.<br />
[9] R. Zach. Proof Theory of multivalued Logics. Technische Universität<br />
Wien, 1993.<br />
50