首页> 外文OA文献 >Decidability of First-Order Logic Queries over Views

【2h】

Decidability of First-Order Logic Queries over Views

机译：视图上一阶逻辑查询的可判定性

页面导航

著录项
相似文献
相关主题

著录项

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

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

相似文献

外文文献
中文文献
专利

1. Deciding Regular Grammar Logics with Converse Through First-Order Logic [J] . STEPHANE DEMRI, HANS DE NIVELLE Journal of logic, language and information . 2005,第3期

机译：通过一阶逻辑与逆语法确定正则语法逻辑
2. A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic [J] . Quentin Peyras, Julien Brunel, David Chemouil Information and computation . 2021,第Octa期

机译：许多排序的一阶线性时间逻辑的可判定和表达片段
3. Bundled Fragments of First-Order Modal Logic: (Un)Decidability [J] . Anantha Padmanabha, R Ramanujam, Yanjing Wang LIPIcs : Leibniz International Proceedings in Informatics . 2018,第2期

机译：一阶模态逻辑的捆绑片段：（Un）可判定性
4. Decidability of First-Order Logic Queries over Views [C] . International conference on database theory . 1999

机译：一阶逻辑查询的可判定性在视图上
5. RECURSIONS AND RULE SELECTIONS ON A HIGH LEVEL RELATION PROCESSOR FOR KNOWLEDGE-BASE MACHINE (ARTIFICIAL INTELLIGENCE, FIRST-ORDER QUERY, PROLOG, 'CUT' OPERATOR, FIFTH GENERATION COMPUTER) [D] . SHIN, DONGPIL 1986

机译：基于知识库的机器（人工智能，一阶查询，PROLOG，“剪切”运算符，第五代计算机）的高层次关系处理器上的递归和规则选择
6. Expanding a First-Order Logic Mitigation Framework to Handle Multimorbid Patient Preferences [O] . Martin Michalowski, Szymon Wilk, Daniela Rosu, 2015

机译：扩展一阶逻辑缓解框架以处理多种病态的患者偏好
7. Decidability of First-Order Logic Queries over Views [O] . James Bailey, Guozhu Dong 1999

机译：视图上一阶逻辑查询的可判定性
8. An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic [R] . Mattison, R. 1969

机译：一阶谓词逻辑模型理论及相关时态逻辑

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号