An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases

DOI10.1007/978-3-319-06569-4_21zbMATH Open1322.68189OpenAlexW2203421955MaRDI QIDQ3192964FDOQ3192964

Authors: Son Thanh Cao, Linh Anh Nguyen 

Publication date: 14 October 2015

Published in: Advanced Computational Methods for Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06569-4_21

Recommendations

• On the efficiency of query-subquery nets with right/tail-recursion elimination in evaluating queries to Horn knowledge bases
• A generalized QSQR evaluation method for Horn knowledge bases
• Incorporating stratified negation into query-subquery nets for evaluating queries to stratified deductive databases
• Partial evaluation of queries in deductive databases
• Implementation of logical query languages for databases

zbMATH Keywords

query processingdeductive databasesHorn knowledge basesQSQQSQNmagic-set transformationQSQR

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• On the power of magic
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases
• Title not available (Why is that?)
• Recursive query processing: The power of logic
• A generalized QSQR evaluation method for Horn knowledge bases

Cited In (2)

• A generalized QSQR evaluation method for Horn knowledge bases
• On the efficiency of query-subquery nets with right/tail-recursion elimination in evaluating queries to Horn knowledge bases

This page was built for publication: An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192964)