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

DOI10.1007/978-3-319-06569-4_21MaRDI QIDQ3192964zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

query processingdeductive databasesHorn knowledge basesQSQQSQNmagic-set transformationQSQR

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3982556 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• A generalized QSQR evaluation method for Horn knowledge bases
• On the power of magic
• Recursive query processing: The power of logic
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases

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)