%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