On Databases with Incomplete Information

Journal of the ACM (JACM)

Volumn 28, Issue 1, 1981, Pages 41-70

  Lipski, Witold ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976669069     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/322234.322239     Document Type: Article

References (18)

1. Codd, E.F. A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13, 6 (June 1970), 377-387.
2. Codd, E.F. Understanding relations (Installment #7). FDT Bulletin of ACM-SIGMOD 7, 3-4 (1975), 23-28.
3. Fitting, M.C. Intuitionistic Logic, Model Theory and Forcing. North-Holland, Amsterdam, 1969.
4. Hall, P. On representatives of subsets. J. London Math. Soc. 10 (1935), 26-30.
5. Hopcroft, J.E., and Karp, R.M. An n5/2 algorithm for maximum matchings in bipartite graphs. SIAM J. Comput. 2 (1973), 225-231.
6. Hughes, G.E., and Cresswell, M.J. An Introduction to Modal Logic. Methuen and Company, London, 1972.
7. Jaegermann, M. Information storage and retrieval systems with incomplete information I, II. Fundamenta Inform. 2 (1978), 17-41.
8. Jaegermann, M. Information storage and retrieval systems with incomplete information I, II. Fundamenta Inform. 2 (1979), 141-166.
9. Kripke, S.A. Semantical analysis of modal logic I. Z. Math. Logik Grundlagen Math. 9 (1963), 67-96.
10. Kripke, S.A. Semantical analysis of intuitionistic logic. In Formal Systems and Recursive Functions, J.N. Crossley and M.A.E. Dummett, Eds., North-Holland, Amsterdam, 1965, pp. 92-129.
11. Kuratowski, K., and Mostowski, A. Set Theory. Polish Scientific Publishers, Warsaw 1976.
12. Lipski, W. Informational systems with incomplete information. Proc. 3rd Int. Symp. on Automata, Languages and Programming, Edinburgh, 1976.
13. S. Michaelson and R. Milner, Eds., Edinburgh University Press, Edinburgh, 1976, pp. 120-130.
14. Lipski, W. On the logic of incomplete information. Proc. 6th Int. Symp. on Mathematical Foundations of Computer Science, Tatranska Lomnica, Czechoslovakia, Sept. 5-9, 1977.
15. T. Gruska, Ed., Springer-Verlag, Berlin, 1977, pp. 374-381.
16. Lipski, W. On semantic issues connected with incomplete information databases. ACM Trans. Database Syst. 4, 3 (Sept. 1979), 262-296.
17. Marek, W., and Pawlak, Z. Information storage and retrieval systems: Mathematical foundations. Theoret. Comput. Sci. 1 (1976), 331-354.
18. Rasiowa, H., and Sikorski, R. The Mathematics of Metamathematics. Polish Scientific Publishers, Warsaw, 1963.