%0 Journal Article
%T Research of Active Database System''''s Behavior Based on Parametrized Petri Net
基于参数比Petri网的主动数据库的行为研究
%A WANG Zi-Qiang FENG Bo-Qin
%A
王自强
%A 冯博琴
%J 计算机科学
%D 2003
%I
%X Although the necessity for ADS's(Active Database System) capabilities has been identified for a wide of applications,questions have been raised on the robustness of these systems . A major concern in ADS research is the issue of ECA rules termination . A multiple abstraction model,namely Parametrized Petri Net(PPN)is introduced as a tool to model and analyze ADS's behavior,modeling flexibility of ADS is enhanced . In addition,procedures to indicate ECA rules termination in an ADS is presented based on examining properties of the corresponding PPN model.
%K Active database system
%K Parametrized petri
%K ECA rules termination
%K Reachability tree
参数化
%K Petri网
%K 主动数据库
%K 行为
%K 数据查询
%K 应用程序
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=20EC872ADB1B4B18&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=0B39A22176CE99FB&sid=5C3443B19473A746&eid=68D88C2FCF9C3098&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=7