Newsgroups: ont.events
Path: utzoo!utgpu!jarvis.csri.toronto.edu!neat.ai.toronto.edu!root
From: diana@csri.toronto.edu (Diana Li)
Subject: Jan Chomicki, Thursday 22 June 1989: SYSTEMS SEMINAR
Message-ID: <8906131318.AA06480@bloor.csri.toronto.edu>
Organization: Department of Computer Science, University of Toronto
Date: Tue, 13 Jun 89 09:18:27 EDT

                            FLASH ANNOUNCEMENT
         (SF = Sandford Fleming Building, 10 King's College Road)

       -------------------------------------------------------------

                              SYSTEMS SEMINAR
               SF 4103, at 11:00 a.m., Thursday 22 June 1989

                               Jan Chomicki
                          University of Maryland

      "Every other day": infinite query answers in logic programming

We present here the case for a new approach to database applications of
logic programming.  Better computational properties of logic programs can
be achieved if the occurrences of function symbols in rules are restricted.

We define the class of FUNCTIONAL logic programs where function symbols can
only appear in one distinguished position in every predicate.
Additionally, the arity and type of function symbols are restricted.  This
class is known to be decidable.  Functional logic programs are capable of
representing infinite phenomena like the flow of time and may be used for
the construction of intelligent office tools (e.g. an event scheduler).

We study the problem of processing queries to functional programs.  In
particular, query answers may be infinite.  We present a method to finitely
represent such answers as relational specifications consisting of a finite
set of tuples and a finitely specified congruence relation. We also discuss
the applications, possible extensions and limitations of our approach, and
relate it to other work on intensional query answers.

(_T_h_i_s _n_o_t_i_c_e _s_u_p_e_r_s_e_d_e_s _a_n _e_a_r_l_i_e_r _a_n_n_o_u_n_c_e_m_e_n_t _i_n _w_h_i_c_h _t_h_e _d_a_t_e _w_a_s
_w_r_o_n_g_l_y _t_y_p_e_d _a_s _F_r_i_d_a_y _2 _J_u_n_e.)


