Ordering conjunctive queries

DOI10.1016/0004-3702(85)90028-1MaRDI QIDQ1060862zbMATH OpenOpenAlexFDO

Authors David E. Smith, Michael Genesereth

Publication date 1985

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(85)90028-1

zbMATH Keywords

conjunctive problem

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Dynamic conjunctive queries
• scientific article; zbMATH DE number 1953136
• Query Order
• Quantified conjunctive queries on partially ordered sets
• Quantified conjunctive queries on partially ordered sets
• Conjunctive query containment revisited
• scientific article; zbMATH DE number 1091107
• scientific article; zbMATH DE number 4039354

Cites work

• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 3804893 (Why is no real title available?)
• A logic for default reasoning
• Controlling backward inference
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• Optimal problem-solving search: All-or-none solutions

Cited in

(18)

• Acquiring search-control knowledge via static analysis
• Compiling a default reasoning system into Prolog
• Ordered structures for parallel rule-based computations
• The optimum execution order of queries in linear storage
• Data analysis using a geometrical representation of predicate calculus
• Controlling backward inference
• Finding optimal derivation strategies in redundant knowledge bases
• Bounding the cost of learned rules
• Agenda control for heterogeneous reasoners
• Cofinality relation, pre-orders and orders, semantics of ORDER BY clause of querics in SQL-like language
• scientific article; zbMATH DE number 1091107 (Why is no real title available?)
• A circumscriptive theorem prover
• Investigating production system representations for non-combinatorial match
• A methodology for detecting shared variable dependencies in logic programs
• Approximating the chromatic polynomial of a graph
• Query Order
• Optimization of a subclass of conjunctive queries
• Cathoristic logic. A logic for capturing inferences between atomic sentences

This page was built for publication: Ordering conjunctive queries

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