References
- Buneman , P. , Jung , A. and Ohori , A. 1991 . Using powerdomains to generalize relational databases . Theoretical Computer Science , to appear
- Harary , F. 1969 . Graph Theory , Reading, MA : Addison-Wesley .
- Imielinski , T. and Lipski , W. Jr . 1984 . Incomplete information in relational databases . Journal of the ACM , 31 : 761 – 791 .
- Levene , M. and Loizou , G. . A universal relation model for nested relations . Proceedings of The International Conference on Extending Database Technology . pp. 294 – 308 . Venice .
- Levene , M. and Loizou , G. 1990 . The nested relation type model:An application of domain theory to databases . The Computer Journal , 33 : 19 – 30 .
- Maier , D. , Mendelzon , A.O. and Sagiv , Y. 1979 . Testing implications of data dependencies . ACM Transactions on Database Systems , 4 : 455 – 469 .
- Maier , D. , Ullman , J.D. and Vardi , M.Y. 1984 . On the foundations of the universal relation model . ACM Transactions on Database Systems , 9 : 283 – 308 .
- Mendelzon , A.O. 1984 . Database states and their tableaux . ACM Transactions on Database Systems , 9 : 264 – 282 .
- Paredaens , J. , De Bra , P. , Gyssens , M. and Van Gucht , D. 1989 . The Structure of the Relational Database Model , Berlin : Springer-Verlag .
- Sagiv , Y. 1983 . A characterization of globally consistent databases and their access paths . ACM Transactions on Database Systems , 8 : 266 – 286 .
- Schmidt , D.A. 1986 . Denotational Semantics:A Methodology for Language Development , Newton, Ma : Allyn and bacon .
- Sciore , E. . Inclusion dependencies and the universal instance . Proceedings of 2nd ACM SIGART- SIGMOD Symposium on Principles of Database Systems . pp. 48 – 57 . Atlanta
- Ullman , J.D. 1988 . Principles of Database and Knowledge-Base Systems , Vol. 1 , Rockville, Md : Computer Science Press .