Stratification and knowledge base management

DOI10.1016/S0747-7171(89)80031-8zbMath0676.68045MaRDI QIDQ1122994

Graeme Port, Catherine Lassez, Kenneth McAloon

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

stratificationcomputational complexityinteractive knowledge base maintainance systemlinear time stratification algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Learning and adaptive systems in artificial intelligence (68T05) Artificial intelligence (68T99) Information storage and retrieval of data (68P20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complete problems for deterministic polynomial time
• Horn clause queries and generalizations
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Integrity constraint checking in stratified databases
• A Computing Procedure for Quantification Theory
• Depth-First Search and Linear Graph Algorithms

This page was built for publication: Stratification and knowledge base management