[ Pagewise preview ]
| Category | Value | ||
| Available via | http://dbpubs.stanford.edu/pub/1992-6 | ||
| Submitted on | 26th of February 2000 | ||
| Author | Widom, J. | ||
| Title | A Denotational Semantics for the Starburst Production Rule Language | ||
| Date of publication | 1992 | ||
| Citation | J. Widom: A Denotational Semantics for the Starburst Production Rule Language. Appeared in SIGMOD Record, Sep. 1992; published while at IBM Almaden | ||
| Language | English | ||
| Project | Database Group | ||
| Type | Conference or Journal Paper | ||
| Subject group | Computer Science | ||
| Abstract | 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. | ||
| Keywords | active database, formal semantics | ||
| Fulltext source |
| Management of the document by | siroker@db.stanford.edu
| |
[ Pagewise preview ]