Stanford InfoLab Publication Server

A Denotational Semantics for the Starburst Production Rule Language

Widom, J. (1992) A Denotational Semantics for the Starburst Production Rule Language. In: SIGMOD.




Researchers often complain that the behavior of database production rules is diffcult to reason about and understand, due in part to the lack of formal declarative semantics. It has even been claimed that database production rule languages inherently cannot be given declarative semantics, in contrast to, e.g., deductive database rule languages. In this short paper we dispute this claim by giving a denotational semantics for the Starburst database production rule language.

Item Type:Conference or Workshop Item (UNSPECIFIED)
Uncontrolled Keywords:active database, formal semantics
Subjects:Computer Science
Related URLs:Project Homepage
ID Code:14
Deposited By:Import Account
Deposited On:25 Feb 2000 16:00
Last Modified:02 Dec 2008 13:52

Download statistics

Repository Staff Only: item control page