scientific article; zbMATH DE number 4092827

zbMATH Open0667.68112MaRDI QIDQ3820060FDOQ3820060

Shan Chi, Lawrence Henschen

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3982568
• Implementation of logical query languages for databases
• A time bound on the materialization of some recursively defined views
• Recursive query processing in predicate-goal graph
• On compiling queries in recursive first-order databases

zbMATH Keywords

query answeringhyperresolutionnon-Horn clausesgeneralized closed world assumptionrecursive databasetheorem proven

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Cited In (7)

• Parsing as non-Horn deduction
• Title not available (Why is that?)
• Implementation of logical query languages for databases
• An efficient strategy for non-Horn deductive databases
• Towards an algebraic theory of recursion
• Horn clause queries and generalizations
• On compiling queries in recursive first-order databases

This page was built for publication:

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