DSMITH@RUTGERS.ARPA (03/27/84)
[Forwarded from the Rutgers bboard by Laws@SRI-AI.] Department of Computer Science COLLOQUIUM SPEAKER: Dr. Witold Lipski, Jr. Polish Academy of Sciences TITLE: LOGICAL PROBLEMS RELATED TO INCOMPLETE INFORMATION IN DATABASES A general methodology for modeling incomplete information in databases is described, and then illustrated in the case of three concrete models of a database. We emphasize the distinction between two different interpretations of a query language -- the external interpretation, which refers queries directly to the real world modeled by the database; and the internal interpretation, which refers queries to the information about this world available in the database. Our methodology stresses the need for a precise definition of the semantics of the query language by means of a non-procedural specification, and for a correct procedural implementation of this specification. Various logical -- and, at times, combinatorial -- problems connected with information incompleteness are discussed. Related work is surveyed and an extensive bibliography is included. DATE: Friday, March 30, 1984 TIME: 2:50 p.m. PLACE: Room 705 - Hill Center Coffee at 2:30