首页> 外文OA文献 >Decidability and Undecidability Results for the Termination Problem of Active Database Rules

【2h】

Decidability and Undecidability Results for the Termination Problem of Active Database Rules

机译：主动数据库规则终止问题的可判定性和不可判定性结果

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
James Bailey; Guozhu Dong; Kotagiri Ramamohanarao;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On the decidability of the termination problem of active database systems [J] . James Bailey, Guozhu Dong, Kotagiri Ramamohanarao Theoretical computer science . 2004,第1a3期

机译：关于活动数据库系统终止问题的可判定性
2. On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases [J] . Geerts F, Kuijpers B Theoretical computer science . 2005,第1期

机译：多项式约束数据库的传递闭合逻辑中查询评估终止的可判定性
3. Decidability of termination of grid string rewriting rules [J] . Geser A. SIAM Journal on Computing . 2002,第4期

机译：终止网格字符串重写规则的可判定性
4. Decidability and undecidability results for the termination problem of active database rules [C] . James Bailey, Guozhu Dong, Kotagiri Ramamohanarao ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems . 1988

机译：活动数据库规则终止问题的可判定性和不可判定性结果
5. An active database system supporting rule analysis through evolving database states [D] . Ben Abdellatif, Taoufik 1999

机译：主动数据库系统通过不断发展的数据库状态支持规则分析
6. Role of Social and Informational Support while Deciding on Pregnancy Termination for Medical Reasons [O] . Kornelia Zaręba, Marta Makara-Studzińska, Michał Ciebiera, 2018

机译：由于医疗原因决定终止妊娠时社会和信息支持的作用
7. On the Decidability of the Termination Problem of Active Database Systems [O] . Bailey, James, Dong, Guozhu, Rammamohanarao, K. 2004

机译：关于活动数据库系统终止问题的可判定性
8. Enhancing Rules in Active Databases via Relaxation Techniques [R] . Chu, W. 1998

机译：通过放松技术增强活动数据库中的规则

Decidability and Undecidability Results for the Termination Problem of Active Database Rules

著录项

引文网络

相似文献

相关主题

期刊订阅