OLDTNF-based evaluation method for handling recursive queries in deductive databases

DOI10.1007/BF02917039zbMath0916.68033OpenAlexW2039354580MaRDI QIDQ1286645

Yangjun Chen

Publication date: 28 July 1999

Published in: Science in China. Series E (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02917039

zbMATH Keywords

deductive databasesProlog interpreter

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

OLDTNF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parallel complexity of logical query programs
• Undecidable optimization problems for database logic programs
• Efficient bottom-up computation of queries on stratified databases
• Abstract interpretation based on oldt resolution
• Abstract Interpretation Frameworks
• Depth-First Search and Linear Graph Algorithms

This page was built for publication: OLDTNF-based evaluation method for handling recursive queries in deductive databases