C. Zaniolo, "The nonmonotonic semantics of active rules in deductive databases, " Deductive and Object Oriented Databases. Montreux, Switzerland, December, 1997, pp. 265-282. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Facilitating Hard Active Database Applications - Warshaw (2001) (Correct)
....of this dissertation are threefold. First, the previous generations of active database languages were designed for Region II applications in which individual rules are executed as independent programs. These languages contain operationally defined semantics with no primitives for rule organization [37,78,100]. As such, these early languages do not scale to hard active database development. This dissertation addresses language semantics by detailing a quantitative evaluation of the semantics of the active database language VenusDB as it relates to code complexity. VenusDB is an active database language ....
....phase ends when the immediate queue becomes empty. The second phase executes the rules in the deferred queue. Other approaches formalize semantics by mapping active rules to deductive logic [81] In this category, Zaniolo identifies a super set of Datalog programs called XY stratified programs [100]. Zaniolo then describes a transformation of an XY stratified program to deductive logic. The transformed program, including extensional facts that represent database histories, executes using the formal models of deductive databases. Flesca and Greco propose semantics in which an active database ....
C. Zaniolo, "The nonmonotonic semantics of active rules in deductive databases, " Deductive and Object Oriented Databases. Montreux, Switzerland, December, 1997, pp. 265-282.
Nonmonotonic Reasoning In LDL++ - Wang, Zaniolo (2000) (2 citations) Self-citation (Zaniolo) (Correct)
.... abstract and operational semantics, rather than the (top down) SLD resolution of Prolog, since the former was considered more conducive to mapping into relational algebra and secondary store implementation techniques of database systems than the stack oriented implementation techniques of Prolog (Zaniolo et al. 1997). Indeed, this line of work led to implementation techniques, such as differential fixpoint and magic sets that are now included in most commercial database systems and SQL3 standards (Filkenstein et al. 1996) also it leads to the ability of the LDL LDL system to compile rules and predicates ....
....leads to the ability of the LDL LDL system to compile rules and predicates into SQL when these are supportable on external databases. These techniques have already been documented extensively (Chimenti et al. 1990, Ramakrishnan et al. 1993, Abiteboul et al. 1995, Ramakrishnan and Ullman 1995, Zaniolo et al. 1997) and will not be further discussed here. In this paper, we will instead discuss the nonmonotonic reasoning techniques that were developed later, largely in response to the experience of deploying these systems in real life applications. Indeed, it was found that the stratification condition ....
[Article contains additional citation context not shown here]
Zaniolo, C. (1997). The Nonmonotonic Semantics of Active Rules in Deductive Databases. DOOD 1997, F. Bry, R. Ramakrishnan, K. Ramamohanarao (Eds.) pp. 265-282, Springer, 1997.
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