Semantics and Expressiveness Issues in Active Databases

摘要

A formal framework is introduced for studying the semantics and expressiveness of active databases. The power of various abstract trigger languages is characterized and related to several major active database prototypes: ARDL, HiPAC, Postgres, Starburst, and Sybase. This allows us to formally compare the expressiveness of the prototypes. The results provide insight into the programming paradigm of active databases, the interplay of various features, and their impact on expressiveness and complexity.