31:
433:
initiative of a group of Polish computer scientists active outside of Poland and in Poland. The submissions for the award are limited to applicants with exceptional accomplishments, who are younger than 30, or who are younger than 32, in case that a candidate was on maternity/paternity leave. The award is administrated by the (Polish) Foundation for
Computer Science Research, in cooperation with Polish Chapter of the
322:
Jointly with his doctoral student, Tomasz Imieliński, Lipski investigated foundations of treatment of 'Incomplete
Information in Relational Databases'. The results of these investigations were published in the bibliographical items in the period of 1978 through 1985. This collaboration produced a
432:
is the most prestigious award for young
Computer scientists in Poland. Many are inspired by the brilliant career of Witold Lipski whose life was cut short by a terminal illness. The award recognizes achievements in the field of theoretical and applied computer science. It was created by the
311:. Lipski's dissertation was on the topic of information storage and retrieval systems and titled 'Combinatorial Aspects of Information Retrieval'. His habilitation was granted by the Institute of Computer Science of Polish Academy of Sciences. Lipski spent academic year 1979/1980 at the
441:. Starting in 2024, the Kosciuszko Foundation has handed over the role of organizing the award to the research and development center IDEAS NCBR in Warsaw. The official competition website is now hosted at:
399:, in Polish). This book has had two editions (one of these posthumous) and it was also translated in Russian. Additionally, jointly with Wiktor Marek, Lipski published a monograph on combinatorial analysis.
407:
Witold Lipski Jr. is survived by two children, Dr. Kasia Lipska, endocrinologist, and Dr. Witold Lipski, neuroscientist. The father of Witold Lipski Jr. was an economist and politician
634:
1010:
312:
196:
357:(the ACM Symposium on Principles of Database Systems), in 1982. Their work, "The relational model of data and cylindric algebras" was later published in 1984.
354:
330:
Again, in collaboration with Imieliński, Lipski studied the semantical issues of relational databases. These investigations were based on the theory of
828:
488:
523:
1005:
766:
434:
498:
463:
324:
1015:
900:; Papadimitriou, Ch. (1981). "A fast algorithm for testing for safety and detecting deadlocks in locked transaction systems".
862:
438:
365:
160:
677:
300:
110:
303:. He received a Ph.D. in computer science at the Computational Center (later: Institute for Computer Science) of the
408:
304:
191:
104:
98:
338:. According to Van den Bussche, the first people from the database community to recognize the connection between
388:
381:
377:
175:
429:
421:
934:
902:
1000:
995:
819:
785:
697:
Models for
Incomplete and Probabilistic Information; Chapter 2, in Managing and Mining Uncertain Data
630:
565:
560:
280:
234:
229:
857:
414:
369:
316:
288:
284:
201:
125:
268:) was a Polish computer scientist (habilitation in computer science), and an author of two books:
879:
801:
775:
736:
658:
639:
612:
593:
542:
458:
361:
343:
563:; Lipski Jr., W. (1981). "On Semantic Issues Connected with Incomplete Information Databases".
929:
897:
584:
514:
494:
468:
350:
335:
331:
758:
364:, specifically by discovering a number of efficient algorithms applicable in the analysis of
943:
911:
871:
837:
793:
754:
728:
648:
602:
532:
211:
145:
30:
308:
273:
216:
789:
353:
were Witold Lipski and Tomasz Imieliński, in a talk given at the very first edition of
932:; Preparata, FP. (1980). "Finding the contour of a union of iso-oriented rectangles".
989:
947:
915:
842:
823:
347:
155:
85:
883:
740:
616:
805:
546:
373:
165:
797:
662:
384:(as applied to shape recognition, again, in collaboration with Franco Preparata).
299:
Lipski graduated from the
Program of Fundamental Problems of Technology, at the
711:
453:
339:
875:
732:
150:
413:
Lipski died in Nantes, France, after a battle with cancer. He is buried in
607:
588:
537:
518:
490:
Rough Sets and
Intelligent Systems - Professor Zdzisław Pawlak in Memoriam
442:
653:
719:
265:
261:
257:
253:
73:
69:
51:
47:
519:"On Semantic Issues Connected with Incomplete Information Databases"
780:
170:
493:. Springer Berlin Heidelberg. 16 August 2012. pp. 178, 652.
860:; Lipski Jr., W. (1984). "Optimal three-layer channel routing".
360:
Additionally, Lipski contributed to the research in the area of
975:
961:
824:"The relational model of data and cylindric algebras"
676:
Green, T.J.; Karvounarakis, G.; Tannen, Val (2007).
222:
210:
184:
138:
120:
91:
81:
58:
40:
21:
315:, and the last two years before his death, at the
962:"Polish Foundation for Computer Science Research"
712:"Semiring-Annotated Data: Queries and Provenance"
635:"Incomplete information in relational databases"
376:in database implementations (collaboration with
323:fundamental concept that became later known as
124:combinatorics, incomplete information, VLSI,
8:
417:in Warsaw, Poland, (Location: C/39 (5/7)).
589:"On Databases with Incomplete Information"
313:University of Illinois at Urbana–Champaign
197:University of Illinois at Urbana–Champaign
18:
841:
779:
652:
606:
536:
759:"Tarski's influence on computer science"
279:. Lipski, jointly with his PhD student,
829:Journal of Computer and System Sciences
710:Karvounarakis, G.; Green, T.J. (2012).
480:
443:https://nagrodalipskiego.ideas-ncbr.pl/
424:for Young Computer Scientists in Poland
283:, created foundations of the theory of
1011:Warsaw University of Technology alumni
7:
682:Proc. ACM SIGMOD-SIGACT-SIGART, PODS
524:ACM Transactions on Database Systems
767:Logical Methods in Computer Science
435:Association for Computing Machinery
387:Lipski was an author of a book on
14:
272:(two editions) and (jointly with
29:
439:Polish Computer Science Society
863:IEEE Transactions on Computers
397:Kombinatoryka dla Programistow
1:
393:Combinatorics for Programmers
307:, under supervision of Prof.
270:Combinatorics for Programmers
948:10.1016/0196-6774(80)90011-5
916:10.1016/0196-6774(81)90023-7
843:10.1016/0022-0000(84)90077-1
301:Warsaw Technical University
111:Warsaw Technical University
1032:
1006:Polish computer scientists
464:Imieliński–Lipski algebras
325:Imieliński–Lipski algebras
305:Polish Academy of Sciences
192:Polish Academy of Sciences
105:Polish Academy of Sciences
99:Polish Academy of Sciences
35:Witold Lipski autoportrait
822:; Lipski Jr., W. (1984).
633:; Lipski Jr., W. (1984).
334:, a topic studied within
243:
131:
28:
16:Polish computer scientist
389:combinatorial algorithms
876:10.1109/TC.1984.1676459
798:10.2168/lmcs-2(3:6)2006
733:10.1145/2380776.2380778
1016:Scientists from Warsaw
382:computational geometry
378:Christos Papadimitriou
285:incomplete information
277:Combinatorial analysis
176:Computational Geometry
935:Journal of Algorithms
903:Journal of Algorithms
678:"Provenance Semiring"
608:10.1145/322234.322239
538:10.1145/320083.320088
368:(collaboration with
289:relational databases
235:Zbigniew Michalewicz
790:2006cs........8062F
695:T.J. Green (2009).
430:Witold Lipski Award
422:Witold Lipski Award
370:Franco P. Preparata
317:University of Paris
260:– May 30, 1985, in
252:(July 13, 1949, in
202:University of Paris
126:Witold Lipski Prize
640:Journal of the ACM
594:Journal of the ACM
459:Relational algebra
362:algorithm analysis
351:cylindric algebras
344:relational algebra
332:cylindric algebras
654:10.1145/1634.1886
469:Cylindric algebra
409:Witold Lipski Sr.
336:universal algebra
281:Tomasz Imieliński
250:Witold Lipski Jr.
247:
246:
230:Tomasz Imieliński
223:Doctoral students
133:Scientific career
23:Witold Lipski Jr.
1023:
980:
979:
972:
966:
965:
958:
952:
951:
926:
920:
919:
894:
888:
887:
854:
848:
847:
845:
816:
810:
809:
783:
763:
751:
745:
744:
716:
707:
701:
700:
699:. Springer Link.
692:
686:
685:
673:
667:
666:
656:
627:
621:
620:
610:
581:
575:
574:
566:Proceedings VLDB
557:
551:
550:
540:
511:
505:
504:
485:
415:PowÄ…zki Cemetery
212:Doctoral advisor
146:Computer Science
65:
33:
19:
1031:
1030:
1026:
1025:
1024:
1022:
1021:
1020:
986:
985:
984:
983:
974:
973:
969:
960:
959:
955:
928:
927:
923:
896:
895:
891:
856:
855:
851:
818:
817:
813:
761:
753:
752:
748:
714:
709:
708:
704:
694:
693:
689:
675:
674:
670:
629:
628:
624:
583:
582:
578:
559:
558:
554:
513:
512:
508:
501:
487:
486:
482:
477:
450:
426:
405:
297:
239:
206:
180:
116:
92:Alma mater
77:
67:
63:
54:
45:
36:
24:
17:
12:
11:
5:
1029:
1027:
1019:
1018:
1013:
1008:
1003:
998:
988:
987:
982:
981:
967:
953:
942:(3): 235–246.
921:
910:(3): 211–226.
889:
870:(5): 427–437.
858:Preparata, FP.
849:
820:Imieliński, T.
811:
746:
702:
687:
668:
647:(4): 761–791.
631:Imieliński, T.
622:
585:Lipski Jr., W.
576:
561:Imieliński, T.
552:
531:(3): 262–296.
515:Lipski Jr., W.
506:
499:
479:
478:
476:
473:
472:
471:
466:
461:
456:
449:
446:
425:
419:
404:
401:
296:
293:
245:
244:
241:
240:
238:
237:
232:
226:
224:
220:
219:
214:
208:
207:
205:
204:
199:
194:
188:
186:
182:
181:
179:
178:
173:
168:
163:
158:
153:
148:
142:
140:
136:
135:
129:
128:
122:
121:Known for
118:
117:
115:
114:
108:
102:
101:(Habilitation)
95:
93:
89:
88:
83:
79:
78:
68:
66:(aged 35)
60:
56:
55:
46:
42:
38:
37:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
1028:
1017:
1014:
1012:
1009:
1007:
1004:
1002:
999:
997:
994:
993:
991:
977:
971:
968:
963:
957:
954:
949:
945:
941:
937:
936:
931:
930:Lipski Jr, W.
925:
922:
917:
913:
909:
905:
904:
899:
898:Lipski Jr, W.
893:
890:
885:
881:
877:
873:
869:
865:
864:
859:
853:
850:
844:
839:
836:(1): 80–102.
835:
831:
830:
825:
821:
815:
812:
807:
803:
799:
795:
791:
787:
782:
777:
773:
769:
768:
760:
756:
750:
747:
742:
738:
734:
730:
726:
722:
721:
713:
706:
703:
698:
691:
688:
683:
679:
672:
669:
664:
660:
655:
650:
646:
642:
641:
636:
632:
626:
623:
618:
614:
609:
604:
600:
596:
595:
590:
586:
580:
577:
573:(3): 388–397.
572:
568:
567:
562:
556:
553:
548:
544:
539:
534:
530:
526:
525:
520:
516:
510:
507:
502:
500:9783642303449
496:
492:
491:
484:
481:
474:
470:
467:
465:
462:
460:
457:
455:
452:
451:
447:
445:
444:
440:
436:
431:
423:
420:
418:
416:
411:
410:
402:
400:
398:
394:
390:
385:
383:
379:
375:
371:
367:
363:
358:
356:
352:
349:
345:
341:
337:
333:
328:
326:
320:
318:
314:
310:
306:
302:
294:
292:
290:
286:
282:
278:
275:
271:
267:
263:
259:
255:
251:
242:
236:
233:
231:
228:
227:
225:
221:
218:
215:
213:
209:
203:
200:
198:
195:
193:
190:
189:
187:
183:
177:
174:
172:
169:
167:
164:
162:
159:
157:
156:Combinatorics
154:
152:
149:
147:
144:
143:
141:
137:
134:
130:
127:
123:
119:
112:
109:
106:
103:
100:
97:
96:
94:
90:
87:
84:
80:
75:
71:
61:
57:
53:
49:
44:July 13, 1949
43:
39:
32:
27:
20:
976:"IDEAS NCBR"
970:
956:
939:
933:
924:
907:
901:
892:
867:
861:
852:
833:
827:
814:
771:
765:
755:Feferman, S.
749:
724:
718:
705:
696:
690:
681:
671:
644:
638:
625:
601:(1): 41–70.
598:
592:
579:
570:
564:
555:
528:
522:
509:
489:
483:
427:
412:
406:
396:
392:
386:
374:time-sharing
366:VLSI devices
359:
329:
321:
309:Wiktor Marek
298:
276:
274:Wiktor Marek
269:
249:
248:
217:Wiktor Marek
185:Institutions
166:Graph Theory
132:
64:(1985-05-30)
62:May 30, 1985
1001:1985 deaths
996:1949 births
727:(3): 5–14.
82:Nationality
990:Categories
781:cs/0608062
720:ACM SIGMOD
475:References
454:Null (SQL)
437:, and the
151:Databases
884:33260007
757:(2006).
741:11600847
684:: 31–40.
617:18878482
587:(1981).
517:(1979).
448:See also
403:Personal
348:Tarski's
806:2567206
786:Bibcode
547:8383997
113:(BE/ME)
882:
804:
739:
663:288040
661:
615:
545:
497:
266:France
262:Nantes
258:Poland
254:Warsaw
139:Fields
86:Polish
74:France
70:Nantes
52:Poland
48:Warsaw
880:S2CID
802:S2CID
776:arXiv
774:(3).
762:(PDF)
737:S2CID
715:(PDF)
659:S2CID
613:S2CID
543:S2CID
171:Logic
107:(PhD)
495:ISBN
428:The
355:PODS
346:and
340:Codd
295:Life
161:VLSI
59:Died
41:Born
944:doi
912:doi
872:doi
838:doi
794:doi
729:doi
649:doi
603:doi
533:doi
380:),
372:),
342:'s
287:in
992::
938:.
906:.
878:.
868:33
866:.
834:28
832:.
826:.
800:.
792:.
784:.
770:.
764:.
735:.
725:41
723:.
717:.
680:.
657:.
645:31
643:.
637:.
611:.
599:28
597:.
591:.
569:.
541:.
527:.
521:.
391:,
327:.
319:.
291:.
264:,
256:,
72:,
50:,
978:.
964:.
950:.
946::
940:1
918:.
914::
908:2
886:.
874::
846:.
840::
808:.
796::
788::
778::
772:2
743:.
731::
665:.
651::
619:.
605::
571:4
549:.
535::
529:4
503:.
395:(
76:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.