S. Tsur and C. Zaniolo, LDL: A Logic Based Data Language Proc. 12th Conference on Very Large Data Bases, 1986. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Unification of Bounded Simple Set Terms in Deductive Databases - Greco, Mateis (1996) (Correct)
.... have addressed the problem of extending logic programming and deductive database languages with sets in order to handle aggregation of objects [7, 22, 1, 2, 15] In this paper we shall refer to the extensions proposed by [7] that has been adopted in many systems (e.g. the logic language LDL [35, 28] and, in some form, the system Coral [30] In this extension sets are defined either by enumerating their elements (bounded set terms) or by giving conditions for determining them (grouping variables) A grouping variable is of the form hY i and may only occur in the head of the rule. Thus, a ....
S. Tsur and C. Zaniolo, LDL: A Logic Based Data Language Proc. 12th Conference on Very Large Data Bases, 1986.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC